Artificial intelligence publications
-
EcoCyc: a Comprehensive View of Escherichia Coli Biology
Recent EcoCyc developments include a new initiative to represent and curate all types of E. coli regulatory processes such as attenuation and regulation by small RNAs.
-
Emma: An Event Management Assistant
In this extended abstract we describe the motivation, design, deployment and evaluation of the Emma system.
-
Logical Hierarchical Hidden Markov Models for Modeling User Activities
In this work we develop a representation that naturally combines the power of both relational and hierarchical models in the form of Logical Hierarchical Hidden Markov Models (LoHiHMMs).
-
MUESLI: Multiple utterance error correction for a spoken language interface
We propose a method for using all available information to help correct recognition errors in tasks that use constrained grammars of the kind used in the domain of Command and…
-
Efficient Message Passing and Propagation of Simple Temporal Constraints: Results on Semi-Structured Networks
We first show that for an STN, these messages can be represented compactly as sub-STNs. We then present an efficient message passing scheme for computing the minimal constraints of an…
-
CALO Workflow Recognition and Proactive Assistance
This short video offers glimpses of how SRI's CALO agent helps users manage their tasks and time using advanced activity recognition algorithms based on logical probabilistic models.
-
Annotation-Based Inference of Transporter Function
We present a method for inferring and constructing transport reactions for transporter proteins based primarily on the analysis of the names of individual proteins in the genome annotation of an…
-
Message from the Chairs
Presents the introductory welcome message from the conference proceedings of the 2008 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications.
-
Question Asking to Inform Procedure Learning
We propose a framework that augments learning by demonstration through a facility for asking questions of the demonstrator. We define a catalog of questions designed to inform learning by demonstration…
-
Sequential Monte Carlo in Reachability Heuristics for Probabilistic Planning
In this work, we apply heuristic search to conformant probabilistic planning by adapting planning graph heuristics developed for non-deterministic planning. We evaluate a straight-forward application of these planning graph techniques,…
-
Dynamic Intention Structures I: a Theory of Intention Representation
The paper builds on ideas from dynamic logic to present a solution to the representation and evolution of agent intentions involving reference to incompletely specified and, possibly, mutually dependent intentions,…
-
A Framework for Evidential-Reasoning Systems
Both the formal basis and a framework for the implementation of automated reasoning systems based upon these techniques are presented. The formal and practical approaches are divided into four parts.