Search results

Proceedings of SPIE present the original research papers presented at SPIE conferences and other high-quality conferences in the broad-ranging fields of optics and photonics. These books provide prompt access to the latest innovations in research and technology in their respective fields. Proceedings of SPIE are among the most cited references in patent literature.

This book describes concepts and tools needed for water resources management, including methods for modeling, simulation, optimization, big data analysis, data mining, remote sensing, geographical information system, game theory, conflict resolution, System dynamics, agent-based models, multiobjective, multicriteria, and multiattribute decision making and risk and uncertainty analysis, for better and sustainable management of water resources and consumption, thus mitigating the present and futur...

This book constitutes the refereed proceedings of the 1st International Workshop on Medical Optical Imaging and Virtual Microscopy Image Analysis, MOVI 2022, held in conjunction with the 25th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2022, in Singapore, Singapore, in September 2022. The 18 papers presented at OMIA 2022 were carefully reviewed and selected from 25 submissions. The objective of the MOVI workshop is to promote novel scalable and resou...

The papers contained in this volume were presented at the third international Workshop on Implementing Automata, held September 17{19,1998, at the U- versity of Rouen, France. Automata theory is the cornerstone of computer science theory. While there is much practical experience with using automata, this work covers diverse - eas,includingparsing,computationallinguistics,speechrecognition,textsear- ing,device controllers,distributed systems, andprotocolanalysis.Consequently, techniques that have...

This book constitutes of the major results of the EU COST (European Cooperation in the field of Scientific and Technical Research) Action 277: NSP, Nonlinear Speech Processing, running from April 2001 to June 2005. Coverage includes such areas as speech analysis for speech synthesis, speech recognition, speech-non speech discrimination and voice quality assessment, speech enhancement, and emotional state detection.

The collected papers presented at the Thirtieth International Matador Conference, held at UMIST, Manchester on 31 March-1 April 1993. This year, in addition to the latest developments in traditional areas of machine tool technology, sessions on expert systems and neural networks have been included for the first time, reflecting the growing importance of artificial intelligence applications in manufacturing. Contains contributions from the following countries: Japan, USA, Hungary, Italy, Poland,...

Deep learning networks are getting smaller. Much smaller. The Google Assistant team can detect words with a model just 14 kilobytes in size--small enough to run on a microcontroller. With this practical book you'll enter the field of TinyML, where deep learning and embedded systems combine to make astounding things possible with tiny devices.Pete Warden and Daniel Situnayake explain how you can train models small enough to fit into any environment. Ideal for software and hardware developers who...

Research in the telecommunications ?eld suggests that future network infrastructures will be composed of sensors, wireless devices, personal digital assistants, networked appliances and numerous types of services. This brings up key issues such as unfamiliar users and service interfaces, discovering services that match user's needs, ?nding and tracking people and resources, establishing useful contacts and appropriate associations between resources and users, and managing a large number of dynam...

This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996.The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel appli...

This Brief is an essay at the interface of philosophy and complexity research, trying to inspire the reader with new ideas and new conceptual developments of cellular automata. Going beyond the numerical experiments of Steven Wolfram, it is argued that cellular automata must be considered complex dynamical systems in their own right, requiring appropriate analytical models in order to find precise answers and predictions in the universe of cellular automata.Indeed, eventually we have to ask whet...

This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996. The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems...

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, a...

This two-volume set constitutes the refereed proceedings of the 5th European Conference on Computer Vision, ECCV'98, held in Freiburg, Germany, in June 1998. The 42 revised full papers and 70 revised posters presented were carefully selected from a total of 223 papers submitted. The papers are organized in sections on multiple-view geometry, stereo vision and calibration, geometry and invariances, structure from motion, colour and indexing, grouping and segmentation, tracking, condensation, matc...

The Mohammed Dahleh symposium brought together leading researchers in several areas of engineering and science. Many of the presentations focused on new emerging research areas of key significance. These new areas have in common that the dynamics and control theory and methods provide the appropriate framework for the understanding of the corresponding phenomena, while at the same time providing many of the tools necessary for their application to relevant technologies. Examples of these opportu...

With their introduction in 1995, Support Vector Machines (SVMs) marked the beginningofanewerainthelearningfromexamplesparadigm.Rootedinthe Statistical Learning Theory developed by Vladimir Vapnik at AT&T, SVMs quickly gained attention from the pattern recognition community due to a n- beroftheoreticalandcomputationalmerits.Theseinclude,forexample,the simple geometrical interpretation of the margin, uniqueness of the solution, s- tistical robustness of the loss function, modularity of the kernel...

This book constitutes the refereed proceedings of the 8th International Conference on Inductive Logic Programming, ILP-98, held in Madison, Wisconsin, USA, in July 1998. The 27 revised full papers presented together with the abstracts of three invited talks were carefully reviewed and selected for inclusion in the book. All relevant aspects of inductive logic programming are covered ranging from theory to implementations and applications.

Providing a unified coverage of the latest research and applications methods and techniques, this book is devoted to two interrelated techniques for solving some important problems in machine intelligence and pattern recognition, namely probabilistic reasoning and computational learning. The contributions in this volume describe and explore the current developments in computer science and theoretical statistics which provide computational probabilistic models for manipulating knowledge found in...

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Complex Motion, IWCM 2004, held in Schloss Reisensburg, Gunzburg, Germany, in October 2004. The 17 full papers presented are fully revised to incorporate reviewers' comments and discussions at the workshop.

Making a robot that looks and behaves like a human being has been the subject of many popular science fiction movies and books. Although the development of such a robot facesmanychallenges,themakingofavirtualhumanhaslongbeenpotentiallypossible. With recent advances in various key technologies related to hardware and software, the making of humanlike robots is increasingly becoming an engineering reality. Development of the required hardware that can perform humanlike functions in a lifelike mann...