This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9-11, 2008 in Prato, Italy.
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia Retrieval, AMR 2007, held in Paris, France, in July 2007.
This book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, held in Yokohama, Japan, in September 2008.
This volume contains the set of revised selected papers presented at the 21st International Conference on Information Networking (ICOIN 2007), which was held in Estoril, Portugal, January 23-25, 2007.
This book constitutes the refereed proceedings of the Second International Workshop on Algorithms and Computation, WALCOM 2008, held in Dhaka, Bangladesh, in February 2008.
PRIMA 2008 was the 11th in a series of conferences gathering researchers - voted to developing intelligent agents and multi-agent technologies from Asia and the Paci?
This book constitutes the refereed proceedings of the 11th International C- ference on Asian Digital Libraries (ICADL 2008) held in Bali, Indonesia, in December 2008.
Design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple sophisticated commercial and non-commercial engine- ing tools such as CAD tools, modeling, simulation and optimization software, en- neering databases, and knowledge-based systems.
This volume contains scientific papers and case studies presented at Interactive Sto- telling '08: The First Joint International Conference on Interactive Digital Storytelling (ICIDS), held November 26-29, 2008, in Erfurt, Germany.
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.
This book contains the postworkshop proceedings with selected revised papers from the 8th international workshop on knowledge discovery from the Web, WEBKDD 2006.
This book constitutes the refereed proceedings of the 9th International Conference on Distributed Computing and Networking, ICDCN 2008 - formerly known as IWDC (International Workshop on Distributed Computing) - held in Kolkata, India, in January 2008.
Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers and practitioners interested in strengthening the scientific foun- tions of user interface design, examining the relationship between software engine- ing (SE) and human-computer interaction (HCI) and on how user-centerd design (UCD) could be strengthened as an essential part of the software engineering process.
people volunteer their time and energy and work in a dedicated fashion to pull everything together each year, including our very supportive Steering Comm- tee members led by Sukumar Ghosh.
As information technologies (IT) become specialized and fragmented, it is easy to lose sight that many topics in IT have common threads and because of this, advances in one sub-discipline may transmit to another.
The 8th edition of the International Symposium on Web and Wireless Geograp- cal Information Systems (W2GIS 2008) was held in December 2008, in the vibrant city of Shanghai, China.