This book constitutes the thoroughly refereed post-conference proceedings of the First International ICST Conference on Auctions, Market Mechanisms and Their Applications, AMMA 2009, held in Boston, M
First published in 1990, this book discusses the application of formal methods to the human-computer interface. Formal methods - the attempt to provide methods that rigourously and unambiguously describe the behaviour of a computer program or system - is receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest. The contributors to the work are well-known in the field of HCI and their articles cover much of the work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Forensics in Telecommunications, Information and Multimendia, e-Forensics 2009, held
This book constitutes the proceedings of the 3rd International Conference on Intelligent Technologies for Interactive Entertainment (INTETAIN 09).The papers focus on topics such as emergent games, exe
This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Complex Sciences, Complex 2009, held in Shanghai, China, in February 2009.The 227 rev
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Networks for Grid Applications, GridNets 2008, held in Beijing, China in October 200
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Trust in Agent Societies, TRUST 2008, held in Estoril, Portugal, in the context of AAMAS 2
This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Electronic Healthcare for the 21st century, eHealth 2008, held in London, UK, in Sept
This book constitutes the thoroughly refereed?proceedings of the Second International Conference on MOBILe Wireless MiddleWARE, Mobilware 2009, held in Berlin, Germany, in April 2009.The 29 revised fu
An ideal first text on communication systems in electrical engineering, Modern Digital and Analog Communication Systems is now in its fourth edition. Retaining the superb pedagogical style of the firs
These two volumes constitute the refereed proceedings of the First International Conference on Intelligent Robotics and Applications, ICIRA 2008, held in Wuhan, China, in October 2008.The 265 revised
This book constitutes the refereed proceedings of the 6th International Workshop, IWDW 2007, held in Guangzhou, China, in December 2007.The 24 revised full papers together with 3 invited papers were c
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 20
This book constitutes the refereed proceedings of the 19th International Conference on Algorithmic Learning Theory, ALT 2008, held in Budapest, Hungary, in October?2008, co-located with the 11th Inter
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Data Mining and Applications, ADMA 2008, held in Chengdu, China, in October 2008.The 35 revised full pape
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008. The 19 regular papers and 22 short pap
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008.The 27 revised full papers together with 17 r
The three volume set LNAI 5177, LNAI 5178, and LNAI 5179, constitutes the refereed proceedings of the 12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems,
This state-of-the-art survey comprises a selection of the material presented at the International Dagstuhl Seminar on Annotating, Extracting and Reasoning about Time and Events, held in Dagstuhl Castl
This book constitutes the refereed proceedings of the International Workshop on Pattern Recognition in Bioinformatics, PRIB 2007, held in Singapore in October 2007. The 38 revised full papers presente
Cientos de frases utiles al alcance de su mano !Hable ingles de inmediato! Si necesita hablar ingles como parte de su rutina diaria en el trabajo o en su casa, esta guia le dara las bases para
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly so
The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, eng
This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It presents detailed proof
Presents the background and context of all ideas, concepts, algorithms, analyses and arguments before discussing details.Accessible to both beginners as well as specialists.
Personal motivation. The dream of creating artificial devices that reach or outperform human inteUigence is an old one. It is also one of the dreams of my youth, which have never left me. What makes t
This book contains a selection of papers submitted to the Workshop on Coding, Cryptography and Combinatorics (CCC 2003). An important feature of the book are invited surveys on key topics such as Bool
Incorporating new problems and examples, the second edition of Linear Systems and Signals features MATLABR material in each chapter and at the back of the book. It gives clear descriptions of linear s
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of
Fully Tuned Radial Basis Function Neural Networks for Flight Control presents the use of the Radial Basis Function (RBF) neural networks for adaptive control of nonlinear systems with emphasis on flig
Ideal for undergraduate and beginning graduate students in electrical engineering, Understanding Semiconductor Devices provides a solid grounding in both fundamental principles and practical skills. T
In 1994 Peter Shor [65] published a factoring algorithm for a quantum computer that finds the prime factors of a composite integer N more efficiently than is possible with the known algorithms for a c
Working from the fundamentals of transistor-level design and building up to system-level considerations, Digital Integrated Circuit Design shows students with minimal background in electronics how to
Semiotics is the science of signs: graphical, such as pictures; verbal (writing or sounds); or others such as body gestures and clothes. Computer semiotics studies the special nature of computer-based signs and how they function in use. This 1991 book is based on ten years of empirical research on computer usage in work situations and contains material from a course taught by the author. It introduces basic traditional semiotic concepts and adapts them so that they become useful for analysing and designing computer systems in their symbolic context of work. It presents a novel approach to the subject, rich in examples, in that it is both theoretically systematic and practical. The author refers to and reinterprets techniques already used so that readers can deepen their understanding. In addition, it offers new techniques and a consistent perspective on computer systems that is particularly appropriate for new hardware and software (e.g. hypermedia) whose main functions are presentatio
