This volume consists ofsurvey articles on current topics in computational wave prop agation and inverse problems, written by leading experts in their respective fields. The idea to compile such a volume arose in conjunction with the LMS Durham Symposium on Computational Methods for Wave Propagation in Direct Scattering held at the University of Durham from 15th-25th July 2002, which we jointly or ganised. The meeting, attended by 70 participants from the UK and overseas, was structured around a number of short, three lecture, survey courses on a range of top ics on computational wave...

This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cation. The con- rence covers the spectrum from theoretical foundations to concrete applications, with an emphasis on veri?cation algorithms, methods, and tools together with techniques for their implementation. The conference has traditionally drawn contributions from both researchers and...

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science.

The two-volume set LNCS 1842/1843 constitutes the refereed proceedings of the 6th European Conference on Computer Vision, ECCV 2000, held in Dublin, Ireland in June/July 2000. The 116 revised full papers presented were carefully selected from a total of 266 submissions. The two volumes offer topical sections on recognitions and modelling; stereoscopic vision; texture and shading; shape; structure from motion; image features; active, real-time, and robot vision; segmentation and grouping; vision systems engineering and evaluation; calibration; medical image understanding; and visual motion.

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.
The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving,...

The Text, Speech and Dialogue (TSD) Conference 2002, it should be noticed, is now being held for the ?fth time and we are pleased to observe that in its short history it has turned out to be an international forum successfully intertwining the basic ?elds of NLP. It is our strong hope that the conference contributes to a better understanding between researchers from the various areas and promotes more intensive mutual cooperation. So far the communication between man and computers has displayed a one-way nature, humans have to know how the - chines work and only then can they "understand"...

This volume constitutes, together with volume 2093 in the Lecture Notes on Computer Science series, the refereed proceedings of the First International Conference on Networking, ICN 2001, held in Colmar, France in June 2001. The 168 papers presented were carefully reviewed and selected from around 300 submissions. The book offers topical sections on the Internet; traffic control; mobile and wireless IP; differentiated services; GPRS and cellular networks; WDM and optical networks; differentiated and integrated services; wireless ATM multicast; real-time traffic; wireless; routing; traffic...

Grid and cooperative computing has emerged as a new frontier of information tech- logy. It aims to share and coordinate distributed and heterogeneous network resources forbetterperformanceandfunctionalitythatcanotherwisenotbeachieved.Thisvolume contains the papers presented at the 2nd International Workshop on Grid and Coope- tive Computing, GCC 2003, which was held in Shanghai, P.R. China, during December 7 10, 2003. GCC is designed to serve as a forum to present current and future work as well as to exchange research ideas among researchers, developers, practitioners, and...

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. For this reason ComputationalScience, thoughoriginatingfromtheneedtosolvethemostch- lenging problems in science and engineering (computational science is the key player in the ?ght to gain fundamental advances in astronomy, biology, che- stry, environmental science, physics and several other scienti?c and engineering disciplines) is increasingly turning its attention to all ?elds...