Computer Science

This book constitutes the proceedings of the 7th InternationalConference on Modeling Decisions for Artificial Intelligence, MDAI 2010,held in Perpi...

Thepresentvolumewasdevotedto thethirdeditionofthe InternationalSym- sium on Algorithmic Game Theory (SAGT), an interdisciplinary scienti?c event in...

It is with great pleasure that we present the proceedings of the 6th Inter- tional, Symposium on Visual Computing (ISVC 2010), which was held in La...

Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that h...

This book constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in M...

With the ever-growing power of generating, transmitting, and collecting huge amounts of data, information overloadis nowan imminent problemto manki...

Pattern recognition is a central topic in contemporary computer sciences, with continuously evolving topics, challenges, and methods, including mac...

This volume contains the papers presented at the 21st International Conf- ence on Algorithmic Learning Theory (ALT 2010), which was held in Canberr...

This book constitutes the proceedings of the 9th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2010, held in ...

The 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI 2010) was held October 2324, 2010 in Sanya, China...

LNCS 6382 is the ?rst volume of the proceedings of the Fifth International Symposium on Intelligence Computation and Applications (ISICA 2010)held ...

This volume constitutes the refereed proceedings of the 7th International Symposium on Bioinformatics Research and Applications, ISBRA 2011, held i...

This book constitutes the proceedings of the 4th provable security conference held in Malacca, Malaysia in October 2010.The 17 papers presented wer...

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by ...

This volume contains the selected peer-reviewed revised articles that were p- st sented at the 21 International Symposium on Implementation and App...

It is our great pleasure to welcome you to the 2nd International Workshop on Spoken Dialogue Systems Technology (IWSDS), which was held, as a satel...

This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti?cial Intelligence, and Reaso...

The Human-Computer Interaction & Usability Engineering Workgroup (Ar- .. beitskreis HCI&UE) of the Austrian Computer Society (Osterreichisc...

This volume contains the proceedings of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010) that was held in Paph...

The complexity of genome evolution has given birth to exciting challenges for computational biologists. A various range of algorithmic, statistical...

The 2010 International Conference on Artificial Intelligence and Computational Intelligence (AICI 2010) was held October 2324, 2010 in Sanya, China...

Many papers in this volume re?ect, to some degree, the active, rapid economic developmentincertaingeographicareasintheworldsuchasChina,Japan,South ...

This book constitutes the refereed proceedings of the workshops of the 11th International Conference on Web-Age Information Management, held in Jiu...

The development and increasingly widespread deployment of high-throughput experimental methods in the life sciences is giving rise to numerous larg...