Informatik (15 757 Artikel)

Intelligent Processing.- Intelligent Systems.

Invited Lecture.- Trustworthy Services and the Biological Analogy.- Security Architecture and Secure Components I.- Security of Multithreaded Programs by Compilation.- Efficient Proving for Practic...

We are proud to present the proceedings of the 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2007) which, following Pisa (1997), Heraklion (1998), Paris (...

Invited Papers.- On Computation and Communication with Small Bias.- Design Strategies for Minimal Perfect Hash Functions.- Hamming, Permutations and Automata.- Probabilistic Techniques in Algorithm...

Affective Facial Expression and Recognition.- Affective Body Expression and Recognition.- Affective Speech Processing.- Affective Text and Dialogue Processing.- Recognising Affect Using Physiologic...

Invited Lectures.- Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract).- The Symbolic Approach to Repeated Games (Abstract).- Proofs, Programs and Abstr...

Calibration, Pose Estimation and Depth.- Self-calibration with Partially Known Rotations.- A Combined Approach for Estimating Patchlets from PMD Depth Images and Stereo Intensity Images.- View-Base...

The World Wide Web is a rich source of information about human behavior. It containslarge amount of data organizedvia interconnected Web pages,traces of information search, user feedback on items o...

The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since the ?rst joint conference in Freiburg, 2001. The European Conference on ...

Multi-break Rearrangements: From Circular to Linear Genomes.- A Pseudo-boolean Programming Approach for Computing the Breakpoint Distance Between Two Genomes with Duplicate Genes.- Improving Invers...

o Data warehousing and semantic data mining o Spatial, temporal, multimedia and multimodal semantics o Semantics in data visualization o Semantic services for mobile users o Supporting tools o Appl...

th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled "Design for Dependable Systems" and re?ects the intent to have a b- ance between experience reports and research paper...

I: Multilingual Textual Document Retrieval (Ad Hoc).- II: Domain-Specific Information Retrieval (Domain-Specific).- III: Interactive Cross-Langauge Information Retrieval (i-CLEF).- IV: Multiple Lan...

Since 1979, when it was ?rst established by the Technical Committee on Re- ability, Safety and Security of the European Workshop on Industrial Computer Systems (EWICS TC7), the SAFECOMP Conference ...

These are the proceedings of the 11th International Workshop on Cooperative Information Agents (CIA 2007), held at the Delft University of Technology, The Netherlands, September 19-21, 2007. Intoda...