Informatik (15 757 Artikel)

Humans and machines are very di?erent in their approaches to game pl- ing. Humans use intuition, perception mechanisms, selective search, creat- ity, abstraction, heuristic abilities and other cogn...

The mathematical theory of computation has given rise to two important ap proaches to the informal notion of "complexity": Kolmogorov complexity, usu ally a complexity measure for a single object s...

This book constitutes the refereed proceedings of the 5th International Symposium, Latin American Theoretical Informatics, LATIN 2002, held in Cancun, Mexico, in April 2002.The 44 revised full pape...

This volume contains the proceedings of the Latin American Theoretical Inf- matics (LATIN) conference that was held in Buenos Aires, Argentina, April 5-8, 2004. The LATIN series of symposia was lau...

Profile of Tries.- Random 2-XORSAT at the Satisfiability Threshold.- On Dissemination Thresholds in Regular and Irregular Graph Classes.- How to Complete a Doubling Metric.- Sorting and Selection w...

Continuous and Discrete Methods in Computer Science.- Colorful Strips.- The Mono- and Bichromatic Empty Rectangle and Square Problems in All Dimensions.- Connectivity Is Not a Limit for Kernelizati...

14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings

This book covers the latest research on landmarks in GIS, including practical applications. It addresses perceptual and cognitive aspects of natural and artificial cognitive systems, computational ...

Selected Papers from the LaTeCH Workshop Series

Selected Papers from the LaTeCH Workshop Series

This book constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009. The 58 rev...

Invited Talks.- Complexity in Convex Languages.- Three Learnable Models for the Description of Language.- Arbology: Trees and Pushdown Automata.- Analysis of Communicating Automata.- Regular Papers...

This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in A...

Plenary and Invited Papers.- Robust Multilevel and Hierarchical Preconditioning Methods.- Monte Carlo: Tools, Applications, Distributed Computing.- Operator Splittings, Their Application and Realiz...

Plenary and Invited Papers.- Advances in Computational Mechanics and Multi Physics.- Robust Algebraic Multigrid and Hierarchical Preconditioning Methods.- Monte Carlo: Tools, Applications, Distribu...