Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Past Projects

View:  Current Projects | All Projects
Sort by:  Title A-Z | Oldest
Displaying 31 to 40 (out of 69)
Start |  Prev  |  Next  |  End
Deductive Composition

Deductive Composition of Multiple Data Sources

A framework is being developed for composing answers to queries, using automated deduction and multi-agent information brokering, based on multiple information sources. The technology is being applied to answering geographical queries for ecological modeling, based on NASA EOSDIS satellite imagery, map data, and gazetteer information.

Cyberhabitats

Cyberhabitats

Cyberhabitats is an SRI IR&D project to develop the next generation of secure, web-enabled collaborative environment that adapts to user work patterns.

DCOPE

Distributed Continual Planning and Execution for Autonomous Air Vehicles

This goal of this project is to develop a new software capability for the reprogrammable, coordinated command and control of teams of autonomous unmanned combat air vehicles (UCAVs) and unmanned ground vehicles (UGVs).

ENDSTATE

ENDSTATE

The objectives of the ENDSTATE initiative aim to provide new and innovative tools to aid in understanding and exploiting the vulnerabilities created by increasingly interconnected and interdependent physical network infrastructures. The vision was to bring together different but consistent model structures and analysis technologies so as to provide an insight into the vulnerabilities of the infrastructure. The insight could be used to derive the appropriate course of action, given desired effect

DAML

Knowledge Creation Tools for DAML

This project is building ontologies and tools in support of the Semantic Web, as part of the DARPA Agent Markup Language program.

ANTS

The Autonomous Negotiating Teams Project

The Incremental Negotiation and Coalition Formation for Resource-bounded Reasoners project will develop new incremental negotiation and coalition formation strategies over abstraction spaces, emphasizing focused and time-sensitive interactions between ANT members in which planning and execution activities are interleaved. Negotiation and coalition strategies will be structured around the stages through which group plans evolve, as represented within the SharedPlans (SP) theory of collaboration.

SHAKEN

A Knowledge Entry System for Subject Matter Experts

The goal of SHAKEN project is to enable subject matter experts , without any assistance from AI technologists, to assemble the models of processes and mechanisms so that questions about them can be answered by declarative inference and simulation.

CODA

Coordination of Distributed Activities (CODA)

The CODA system provides targeted information dissemination among distributed planners as a way of improving team coordination. In CODA, an individual planner declares interest in different types of plan changes that could impact his local plan development. As a team of distributed users develop plans with a plan authoring tool, their activities are monitored; changes that match declared interests are forwarded automatically to the person who declared interest in them.

PASSAT

Plan Authoring System based on Sketches, Advice, and Templates (PASSAT)

PASSAT is a user-centric plan-authoring system grounded in the concepts of plan sketches, advice, and templates. PASSAT enables users to quickly develop plans that draw upon past experience encoded in templates, but that are customized to their individual preferences of a given user. The PASSAT core consists of an interactive plan authoring capability; tools for task management, constraint reasoning, plan sketching and causal reasoning provide provide complementary automated capabilities.

HARP

HARP: Human Augmented Reasoning through Patterning

This project developed: 1) cognitive aids that allow humans and machines to "think together" in real-time about complicated problems; 2) techniques to overcome the biases and limitations of the human cognitive system; 3) "cognitive amplifiers" that help teams of people rapidly and fully comprehend complicated and uncertain situations; and, 4) the means to rapidly and seamlessly cut across and complement existing hierarchical organizational structures.

This website does not contain information on all of our past or present projects.
For further information please contact us.

Start |  Prev  |  Next  |  End
SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy