Fifth Generation Computer Systems 1988
Author :
Publisher :
Page : 522 pages
File Size : 11,35 MB
Release : 1988
Category : Computer architecture
ISBN :
FGCS '92
Author :
Publisher : IOS Press
Page : 788 pages
File Size : 19,19 MB
Release : 1992
Category : Computer architecture
ISBN : 9784274077241
Book Description
Scientific Information Bulletin
Author :
Publisher :
Page : 704 pages
File Size : 21,44 MB
Release : 1989
Category : Research
ISBN :
Book Description
Quantifier Elimination and Cylindrical Algebraic Decomposition
Author : Bob F. Caviness
Publisher : Springer Science & Business Media
Page : 455 pages
File Size : 42,49 MB
Release : 2012-12-06
Category : Computers
ISBN : 3709194598
Book Description
George Collins’ discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research in computer algebra over the past three decades. This volume is a state-of-the-art collection of important papers on CAD and QE and on the related area of algorithmic aspects of real geometry. It contains papers from a symposium held in Linz in 1993, reprints of seminal papers from the area including Tarski’s landmark paper as well as a survey outlining the developments in CAD based QE that have taken place in the last twenty years.
Logic Programming and Automated Reasoning
Author : Frank Pfenning
Publisher : Springer Science & Business Media
Page : 364 pages
File Size : 22,52 MB
Release : 1994-06-22
Category : Computers
ISBN : 9783540582168
Book Description
This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR. This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.
Autonomous Dynamic Reconfiguration in Multi-Agent Systems
Author : Markus Hannebauer
Publisher : Springer
Page : 282 pages
File Size : 38,76 MB
Release : 2003-08-02
Category : Computers
ISBN : 3540458344
Book Description
High communication efforts and poor problem solving results due to restricted overview are two central issues in collaborative problem solving. This work addresses these issues by introducing the processes of agent melting and agent splitting that enable individual problem solving agents to continually and autonomously reconfigure and adapt themselves to the particular problem to be solved. The author provides a sound theoretical foundation of collaborative problem solving itself and introduces various new design concepts and techniques to improve its quality and efficiency, such as the multi-phase agreement finding protocol for external problem solving, the composable belief-desire-intention agent architecture, and the distribution-aware constraint specification architecture for internal problem solving. The practical relevance and applicability of the concepts and techniques provided are demonstrated by using medical appointment scheduling as a case study.
Practice and Theory of Automated Timetabling
Author : Edmund Burke
Publisher : Springer Science & Business Media
Page : 408 pages
File Size : 23,19 MB
Release : 1996-10-02
Category : Business & Economics
ISBN : 9783540617945
Book Description
Provides detailed information about the signal transduction pathways used by interferons to activate gene transcription. In addition, this book discusses how the same pathways are used by many other cytokines and thus provide a forum for cross-talk among these important biological response modifiers. Additionally, the book introduces the interferon system and describes the interferon-inducible genes whose products are responsible for the cellular actions of interferons. The nature of the interferon receptors and how the transcriptional signals are transmitted from the receptors on the cell surface to the genes in the nucleus are discussed in detail. Finally, the use of similar pathways of signal transduction by other cytokines is highlighted.
Computational Linguistics and Formal Semantics
Author : Michael Rosner
Publisher : Cambridge University Press
Page : 346 pages
File Size : 25,77 MB
Release : 1992-10-30
Category : Computers
ISBN : 9780521429887
Book Description
This 1992 collection explores the syntax/semantics interface, introducing the disciplines of computational linguistics and formal semantics.
Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009
Author : Ulrich Geske
Publisher : Universitätsverlag Potsdam
Page : 200 pages
File Size : 41,23 MB
Release : 2010
Category : Computers
ISBN : 3869560266
Book Description
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules.
Progress in Artificial Intelligence — IBERAMIA 98
Author : Helder Coelho
Publisher : Springer
Page : 440 pages
File Size : 20,79 MB
Release : 2003-07-31
Category : Computers
ISBN : 3540497951
Book Description
When in October 1996 in Cholula (Puebla, Mexico), I took charge of organizing the scienti?c program of the next Ibero-American Congress on Arti?cial Intel- gence (IBERAMIA 98) I bet on a couple of ideas. First, I adopted the spirit of the Portuguese adventurers to get the Sixth Congress on a truly international track. In order to attain this aim I needed to convince everybody that the Ibero- American AI community had improved over the years and attained a very good level in what concerns individuals. Second, I brought my colleagues beside me so that we were able to collect su?cient excellent papers without destroying the pioneering spirit of those who ?rst inaugurated the Congress. Getting together to ?nd out what is in progress in the vast region in which Latin languages (P- tuguese and Spanish) are spoken, attracting others to exchange ideas with us, and by doing this advancing AI in general, is a risky untertaking. This book is the result, and it sets a new standard to be discussed by all of us. IBERAMIA was established in 1988 (Barcelona) by three Ibero-American AI Associations (AEPIA from Spain, SMIA from Mexico, and APPIA from Por- gal), after a ?rst meeting in Morelia (Mexico) in 1986 of SMIA and AEPIA.
