Computer Science

This volume contains the papers selected for presentation at the 12th European Conference on Logics in Arti?cial Intelligence, JELIA 2010, which wa...

It givesus greatpleasureto presentthe proceedings of the 9th Asian Conference on Computer Vision (ACCV 2009), held in Xian, China, in September 200...

These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during S...

We are very pleased to present to you this LNCS volume, the proceedings of the 11th International Conference on Parallel Problem Solving from Natur...

Social computing is concerned with the study of social behavior and social context based on computational systems. Behavioral modeling provides a r...

These multiple volumes (LNCS volumes 6016, 6017, 6018 and 6019) consist of the peer-reviewed papers from the 2010 International Conference on Compu...

These multiple volumes (LNCS volumes 6016, 6017, 6018 and 6019) consist of the peer-reviewed papers from the 2010 International Conference on Compu...

We are pleased to present the proceedings of the 10th Workshop on Algorithms in Bioinformatics (WABI 2010) which took place in Liverpool, UK, Sept-...

Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various appl...

In front of you are the proceedings of the First International Conference on Electronic Government and Information Systems Perspective, EGOVIS. Thi...

The International Conference on eParticipation is supported by IFIP WG 8. 5 (Inter- tional Federation for Information Processing Working Group 8. 5...

This volume in the Springer Lecture Notes in Computer Science (LNCS) series contains the papers presented at the S+SSPR 2010 Workshops, which was t...

WAIM is a leading international conference on research, development, and appli- tions of Web technologies, database systems, and information manage...

This volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (...

The AMDO 2010 conference took place at the Hotel Mon Port, Port d'Andratx (Mallorca),during July 7-9,2010,institutionally sponsoredby MICINN (Min- ...

ANTS-IX was the ninth edition of the biennial International Symposium on Algorithmic Number Theory. The ?rst edition of this symposium was held at ...

The earliest work on agents may be traced at least to the ?rst conceptualization of the actor model by Carl Hewitt. In a paper in an AI conference ...

CiE 2010: Programs, Proofs, Processes Ponta Delgada, Azores, Portugal, June 30-July 4 2010 The last few years, starting in 2005 with out inaugural ...

ThisvolumecontainsthepaperspresentedatThe11thPaci?cRimInternational Conference on Arti?cial Intelligence (PRICAI 2010) held during August 30- Septe...

It was a great pleasure to organize the First International Workshop on Human Behavior Understanding (HBU), which took place as a satellite worksho...

This volume contains the accepted full papers and extended abstracts of the 5th Brazilian Symposium on Bioinformatics held in Bu 'zios, Rio de Jane...

Biology has inspired electronics from the very beginning: the machines that we now call computers are deeply rooted in biological metaphors. Pionee...

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics...

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 12 in M´ alaga, Spain as pa...