Informatik (15 757 Artikel)

Invited Talks.- Encapsulating Reaction-Diffusion Computers.- On the Computational Capabilities of Several Models.- Universality, Reducibility, and Completeness.- Using Approximation to Relate Compu...

Computer Vision.- Fusion, Detection and Classification.- Image Processing and Filtering.- Biometrics and Security.- Image Processing and Restoration.- Medical Image Processing.- Video Coding and Pr...

Invited Talks.- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.- Preferences, Contexts and Answer Sets.- Invited Tutori...

Hash Function Cryptanalysis and Design (I).- Producing Collisions for Panama, Instantaneously.- Cryptanalysis of FORK-256.- The Grindahl Hash Functions.- Stream Ciphers Cryptanalysis (I).- Overtaki...

Section 1. Invited Contributions.- Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.- From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain.- Hierarchi...

Digital Hardware Evolution.- An Online EHW Pattern Recognition System Applied to Sonar Spectrum Classification.- Design of Electronic Circuits Using a Divide-and-Conquer Approach.- Implementing Mul...

Computational Neuroscience, Neurocognitive Studies.- Applications in Biomedicine and Bioinformatics.- Pattern Recognition.- Data Clustering.- Self-organization.- Text Mining and Internet Applicatio...

Physics.- The SuperN-Project: Current Progress in Modelling Core Collapse Supernovae.- Toward Conquering the Parameter Space of Gravitational Wave Signals from Black Hole Coalescence.- Massless Fou...

Workshop on Security and Survivability in Distributed Sensor Networks.- To Increase Survivability with Software Rejuvenation by Having Dual Base Station in WSN Environment.- DoS Attack Mining in Se...

The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers and practitioners in the field of life system modeling and simulati...

Invited Talks.- Learning to Select Team Strategies in Finite-Timed Zero-Sum Games.- Expressive Intelligence: Artificial Intelligence, Games and New Media.- Artificial Ontologies and Real Thoughts: ...

Cultural Studies.- Progress on Yindjibarndi Ethnophysiography.- Study of Cultural Impacts on Location Judgments in Eastern China.- Cross-Cultural Similarities in Topological Reasoning.- Thalassogra...

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

This volume constitutes the proceedings of the 13th International Workshop on Groupware (CRIWG 2007). The conference was held in Spain (Medina del Campo) in 2006, Brazil (Porto de Galinhas) in 2005...

Intelligence Everywhere.- Intelligent Knowledge.