Artificial intelligence publications
-
Human Directability of Agents
This paper presents a framework for the directability of agents, in which a human supervisor can define policies to influence agent activities at execution time.
-
Integrating Planning and Scheduling through Adaptation of Resource Intensity Estimates
We describe an incremental and adaptive approach to integrating hierarchical task network planning and constraint-based scheduling.
-
Integrating Planning and Scheduling through Intensity Adaptation
We describe an incremental and adaptive approach to integrating hierarchical task network planning and constraint-based scheduling.
-
Representational Issues for Real-world Planning Systems
This workshop brought together researchers and practitioners interested in representational issues for this broader model of planning systems.
-
CODA: Coordinating Human Planners
The CODA system provides targeted information dissemination among distributed human planners as a way of improving coordination.
-
Behavioral Contracts and Behavioral Subtyping
In this paper, we show how to enforce contracts if components are manufactured from class and interface hierarchies.
-
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.
-
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:…
-
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…
-
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…