Journal Article
Online First™Introduction to Information Extraction: Basic Notions and Current Trends
Wolf-Tilo Balke
Datenbank-Spektrum, Online First™, 19 May 2012
Journal Article
Online First™First-order logics: some characterizations and closure properties
Christian Choffrut, Andreas Malcher, Carlo Mereghetti and Beatrice Palano
Acta Informatica, Online First™, 19 May 2012
Journal Article
Online First™Die Freiburger „Stanford AI Class“ Erfahrung
Wolfram Burgard
KI - Künstliche Intelligenz, Online First™, 17 May 2012
Journal Article
Online First™Learning ∈ Artificial Intelligence ∩ Cognitive Technologies ∩ Neural Computation ∩ …
Christian Igel
KI - Künstliche Intelligenz, Online First™, 17 May 2012
Journal Article
Online First™Anonymous asynchronous systems: the case of failure detectors
François Bonnet and Michel Raynal
Distributed Computing, Online First™, 17 May 2012
Journal Article
Online First™Deadlock-freedom in component systems with architectural constraints
Moritz Martens and Mila Majster-Cederbaum
Formal Methods in System Design, Online First™, 16 May 2012
Journal Article
Online First™Symbolic backward reachability with effectively propositional logic
Applications to security policy analysis
Silvio Ranise
Formal Methods in System Design, Online First™, 16 May 2012
Journal Article
Online First™SMT-based scenario verification for hybrid systems
Alessandro Cimatti, Sergio Mover and Stefano Tonetta
Formal Methods in System Design, Online First™, 16 May 2012
Journal Article
Online First™Evolving team behaviors with specialization
G. S. Nitschke, A. E. Eiben and M. C. Schut
Genetic Programming and Evolvable Machines, Online First™, 16 May 2012
Journal Article
Online First™Aspects of Universitarian Distance Teaching and Online Learning
Christoph Beierle and Gabriele Kern-Isberner
KI - Künstliche Intelligenz, Online First™, 16 May 2012