Learn IT - Springer

Data Warehousing and Knowledge Discovery: 10th International Conference, DaWak 2008 Turin, Italy, September 1-5, 2008, Proceedings

Springer, 2008

Data Warehousing and Knowledge Discovery have been widely accepted as key technologies for enterprises and organizations as a means of improving their abilities in data analysis, decision support, and the automatic extraction of knowledge from data. With the exponentially growing amount of information to be included in the decision making process,...

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Springer, 2008

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully...

Reconfigurable Computing: Architecture, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings

Springer, 2008

This book constitutes the refereed proceedings of the 4th International Workshop on Applied Reconfigurable Computing, ARC 2008, held in London, UK, in March 2008.

The 21 full papers and 14 short papers presented together with the abstracts of 3 keynote lectures were carefully reviewed and selected from 56 submissions. The papers are organized...

Affect and Emotion in Human-Computer Interaction: From Theory to Applications (Lecture Notes in Computer Science)

Springer, 2008

Affect and emotion play an important role in our everyday lives: They are present whatever we do, wherever we are, and wherever we go, without us being aware of them for much of the time. When it comes to interaction, be it with humans, technology, or humans via technology, we suddenly become more aware of emotion, either by seeing the...

Advances in Digital Forensics IV (IFIP International Federation for Information Processing)

Springer, 2008

ADVANCES IN DIGITAL FORENSICS IV

Edited by: Indrajit Ray and Sujeet Shenoi

Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices have expanded the role of...

Scalable Hardware Verification with Symbolic Simulation

Springer, 2005

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner workings of symbolic simulation. The...

Computational Linguistics and Intelligent Text Processing: 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007

Springer, 2007

This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2007, held in Mexico City, Mexico in February 2007.

The 53 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 179 submissions. The papers...

Numerical Geometry of Non-Rigid Shapes (Monographs in Computer Science)

Springer, 2008

Deformable objects are ubiquitous in the world surrounding us, on all levels from micro to macro. The need to study such shapes and model their behavior arises in a wide spectrum of applications, ranging from medicine to security. In recent years, non-rigid shapes have attracted growing interest, which has led to rapid development of the field,...

Fuzzy Reasoning in Information, Decision and Control Systems (Intelligent Systems, Control and Automation: Science and Engineering)

Springer, 1994

This book is devoted to the study of fuzzy reasoning as applied to decision making and control processes. It contains a collection of important contributions covering a wide well-selected range of topics within the field.
The book contains twenty-one papers, written by thirty-four distinguished contributors and is divided into five...

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Springer, 1996

This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...

Data and Applications Security: Developments and Directions (IFIP International Federation for Information Processing)

Springer, 2001

New technology is always evolving and companies must have appropriate security for their businesses to be able to keep up to date with the changes. With the rapid growth of the internet and the world wide web, data and applications security will always be a key topic in industry as well as in the public sector, and has implications for the...

Intelligent Multimedia Data Hiding: New Directions (Studies in Computational Intelligence)

Springer, 2007

This book presents the latest research in the area of multimedia data hiding paradigms. The book is divided into four parts and an appendix. The first part introduces multimedia signal processing and information hiding techniques. It includes multimedia representation, need for multimedia, digital watermarking fundamentals and requirements of...

Result Page: 391 390 389 388 387 386 385 384 383 382 381 380 379 378 377 376 375 374 373