The 6th International Conference on Medical Imaging and Computer-Assisted Intervention,MICCAI2003,washeldinMontr' eal,Qu' ebec,CanadaattheF- rmont Queen Elizabeth Hotel during November 15-18, 2003.
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.
The workshop on an Infrastructure for Mobile and Wireless Systems was held in Scottsdale, Arizona on October 15, 2001 and was funded by the National Science Foundation (NSF) and sponsored by the Telecommunications and Information Technology Institute of the College of Engineering at Florida International U- versity (FIU), to establish a common infrastructure for the discipline of mobile and wireless networking, and to serve its rapidly emerging mobile and wireless community of researchers and practitioners.
This book constitutes the thoroughly refereed post-proceedings of the Web- and Database-Related Workshops held during the NetObjectDays international conference NODe 2002, in Erfurt, Germany, in October 2002.
On behalf of the organizing committee I would like to welcome you all to the second Asian Symposium on Programming Languages and Systems (APLAS 2004) held in Taipei on November 4-6, 2004.
Crypto 2004, the 24th Annual Crypto Conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara.
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland.
As the business environment has become more and more turbulent over the past decade, information technology has begun to run into the danger of becoming an impediment rather than a motor of progress.
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications.
The 3rd Eastern European Conference on Advances in Databases and Information Systems (ADBIS'99) took place on 13-16- September 1999, in Maribor, Slovenia.
The purpose of this book is to develop a generative theory of shape that has two properties we regard as fundamental to intelligence -(1) maximization of transfer: whenever possible, new structure should be described as the transfer of existing structure; and (2) maximization of recoverability: the generative operations in the theory must allow maximal inferentiability from data sets.
The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applications, and experiences in the design, development, and use of object oriented infor- tionsystems,fromboththeacademicandindustrialenvironments,arepresented.
The theme of the 4th International Workshop on Learning Software Organizations (LSO 2002) was "e;BalancingAgile Processes and Long-Term Learning in Software - ganizations.
FIDJI 2002 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted application development.
The 2nd International Workshop on Statistical Methods in Video Processing, SMVP 2004, was held in Prague, Czech Republic, as an associated workshop of ECCV 2004, the 8th European Conference on Computer Vision.
Middleware systems compriseprogrammingmodels, abstractions,protocols,and services to facilitate the design, the development, the integration, and the - ployment of distributed applications in heterogeneous computing environments.
The natural mission of Computational Science is to tackle all sorts of human problems and to work out intelligent automata aimed at alleviating the b- den of working out suitable tools for solving complex problems.
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence.
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004.
As information handling systems get more and more complex, it becomes increasingly difficult to manage them using traditional approaches based on centralized and pre-defined control mechanisms.
This book constitutes the thoroughly refereed postproceedings of the 10th Annual International Workshop on Selected Areas in Cryptography, SAC 2003, held in Ottawa, Canada, in August 2003.