Artificial intelligence publications
-
Nutrient-related Analysis of Pathway/Genome Databases
We present an algorithm that solves two related problems in the analysis of metabolic networks stored within a pathway/genome database.
-
Directing Agent Communities: An Initial Framework
This paper presents a framework for directability of a community of agents by a human supervisor that focuses on three dimensions: adjustable agent autonomy, strategy preference, and community-level constraints.
-
The .geo-web: A Scalable Index for the Digital Earth
-
Structured Argumentation for Analysis
We are developing a new methodology that retains the ease-of-use, familiarity, and (some of) the free-form nature of informal methods, while benefiting from the rigor, structure, and potential for automation…
-
Reusing Prior Knowledge: Problems and Solutions
In this paper, we focus on the process of reuse and report a case study on constructing a KB by reusing existing knowledge. The reuse process involved the following steps:…
-
Measuring the Self-Consistency of Stereo Algorithms
A new approach to characterizing the performance of point-correspondence algorithms is presented. Instead of relying on any "ground truth", it uses the self-consistency of the outputs of an algorithm independently…
-
Multiple-Target Tracking and Data Fusion via Probabilistic Mapping
A new approach is taken to address the various aspects of the multi-sensor, multi-target tracking (MTT) problem in dense and noisy environments. Instead of fixing the trackers on the potential…
-
A Guide to SNARK
Snark, SRI's New Automated Reasoning Kit, is a theorem prover intended for applications in artificial intelligence and software engineering. This document is an example-driven tutorial introduction to snark that will…
-
Multiple-Target Tracking in Dense, Noisy Environments: A Probabilistic Mapping Perspective
A new approach is taken to address the various aspects of the multiple-target tracking (MTT) problem in dense and noisy environments.
-
MAESTRO: Conductor of Multimedia Analysis Technologies
MAESTRO is a research and demonstration system developed at SRI International for exploring the contribution of a variety of analysis technologies
-
XOL: An XML-Based Ontology Exchange Language
This document describes a language called XOL, is designed to provide a format for exchanging ontology definitions among a set of interested parties.
-
Information extraction with HMM structures learned by stochastic optimization
This paper demonstrates that extraction accuracy strongly depends on the selection of structure, and presents an algorithm for automatically finding good structures by stochastic optimization.