A novel algorithmic approach to mechanism design based on a geometric representation of kinematic function called configuration space partitions.;"This book presents the configuration space method for computer-aided design of mechanisms with changing part contacts. Configuration space is a complete and compact geometric representation of part motions and part interactions that supports the core…
Although William James declared in 1890, "Everyone knows what attention is," today there are many different and sometimes opposing views on the subject. This fragmented theoretical landscape may be because most of the theories and models of attention offer explanations in natural language or in a pictorial manner rather than providing a quantitative and unambiguous statement of the theory. They…
The last decade has seen computational implementations of large hand-crafted natural language grammars in formal frameworks such as Tree-Adjoining Grammar (TAG), Combinatory Categorical Grammar (CCG), Head-driven Phrase Structure Grammar (HPSG), and Lexical Functional Grammar (LFG). Grammars in these frameworks typically associate linguistically motivated rich descriptions (Supertags) with word…
The story of a pioneering microcomputer: its beginnings as part of a national Computer Literary Project, its innovative hardware, and its creative uses.OCLC-licensed vendor bibliographic record.
"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.
"Historians of philosophy, science, and mathematics explore the influence of Kant's philosophy on the evolution of modern scientific thought."--Jacket.
Looking at ways to encode prior knowledge and to extract, refine, and revise knowledge within a neurocomputing system.Neurocomputing methods are loosely based on a model of the brain as a network of simple interconnected processing elements corresponding to neurons. These methods derive their power from the collective processing of artificial neurons, the chief advantage being that such systems…
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment …
"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The …
A Bradford book.""Industry veteran Raymond Nickerson provides an extensive introduction to the information technology revolution that is transforming industrial society. He focuses particularly on the study of person-computer interaction, noting how computers are affecting their users and society as a whole, and describes a variety of ways in which information technology is expected to develop …