Informatik (15 755 Artikel)

Soft Tissue Properties.- LASTIC: A Light Aspiration Device for in vivo Soft TIssue Characterization.- Characterization of Suction and CUSA Interaction with Brain Tissue.- Evaluation of a Technique ...

MMCS 2008.- Partial Differential Equations for Interpolation and Compression of Surfaces.- Construction of Rational Curves with Rational Rotation-Minimizing Frames via Möbius Transformations.- Fat ...

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 advances in the generation and processing of multimedia data (e. g. documents, images, video, audio, animations, etc. ) have had an immense impact on multimedia applications and, as a result, m...

This book constitutes the refereed proceedings of the Seventh Theory of Cryptography Conference, TCC 2010, held in Zurich, Switzerland, February 9-11, 2010. The 33 revised full papers presented tog...

This book constitutes the thoroughly refereed post-conference proceedings of 19th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2009, featuring Integrated...

Invited Talks.- Why Are String Graphs So Beautiful?.- The Art of Cheating When Drawing a Graph.- Papers.- Drawing Hamiltonian Cycles with No Large Angles.- Area, Curve Complexity, and Crossing Reso...

Invited Talks.- A Structure for Dependability Arguments.- Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.- ASM Papers.- Synchronous Message Passing and Semaphores: An Equivalenc...

ThisbookpresentsselectedandrevisedpapersoftheSecondWorkshoponAd- tive and Learning Agents 2009 (ALA-09), held at the AAMAS 2009 conference in Budapest, Hungary, May 12. The goalof ALA is to provide...

The present book includes a set of selected papers from the First International Conf- ence on Agents and Artificial Intelligence (ICAART 2009), held in Porto, Portugal, during January 19-21, 2009. ...

Invited Talks.- Tools and Techniques in Qualitative Reasoning about Space.- A Simple but Formal Semantics for XML Manipulation Languages.- Algorithmic Definability and Completeness in Modal Logic.-...

This book includes extended versions of the selected papers from VISIGRAPP 2009, the International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, which ...

The Second International Conference on High-Performance Computing and Appli- tions (HPCA 2009) was a follow-up event of the successful HPCA 2004. It was held in Shanghai, a beautiful, active, and m...

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the wi...

Invited Talk.- The First 30 Years of Cryptographic Hash Functions and the NIST SHA-3 Competition.- Public-Key Cryptography.- Errors Matter: Breaking RSA-Based PIN Encryption with Thirty Ciphertext ...