DARPA Information Sciences Budget Code: CCS-02
The HPCC Information Sciences activity leverages basic software technology research supporting military, mission-oriented needs. This software technology research develops advanced concepts for methods and tools to produce high assurance software, language concepts that facilitate the rapid specification and evolution of software intensive defense systems, and techniques to manage shared complex-structured data objects in larger heterogeneous, distributed information systems.

Intelligent systems technology focuses on advanced techniques for knowledge representation, reasoning, and machine learning to enable computer understanding of spoken and written language and to advance methods for planning, scheduling, and resource allocation.

Human-computer interaction technology focuses on design methods and enabling technology for more natural interaction between people and computers.

Microelectronic science calibrates fundamental concepts to produce reliable, testable, and high performance design.

High Performance Computing (HPC) science generates concepts and methods for validating and verifying design components, and unique approaches to rapidly develop high performance libraries across multiple HPC architectures.
Budget ($ M)
FY 95 Act 20.56
FY 96 Pres 23.72
FY 96 Est 23.10
FY 97 Rqst 23.35
Program Component Areas
  FY 96 FY 97
HECC 2.60 4.09
LSN    
HCS    
HuCS 20.50 19.26
ETHR    
Agency Ties
DARPA  
NSF Partner
DOE  
NASA  
NIH  
NSA  
NIST  
NOAA  
EPA  
ED  
AHCPR  
VA  
Milestone Changes  
FY 1995 Actual Milestones FY 1996 Estimated Milestones FY 1997 Agency Requested Milestones
Experimentally evaluated advanced information processing methods in spoken language understanding, written language understanding, and automated planning systems.

Developed initial tool kits for interactive, dialogue-based human computer interaction and demonstrate them in a clinical environment.

Developed initial language-based methods for image understanding, high assurance, software engineering system composition and experimentally evaluated process model approaches for prototyping large-scale software environments.

Experimentally evaluated library research that supports multiple parallel architectures.

Demonstrated health information network using South Florida Clinic.

Developed initial planning and decision aids prototypes for heterogeneous, distributed software system architectures and tools to support construction and maintenance of advanced intelligent systems.
Enhance benchmark problems, metrics, and test data sets and conduct experimental evaluations involving multiple intelligent systems and software engineering foundations technologies, utilizing knowledge acquisition.

Enhance advanced information processing methods in spoken & written language understanding and automated planning systems.

Evaluate tool kits for interactive, dialogue-based human computer interaction.

Evaluate language-based methods for image understanding, high assurance, and software environments system composition.

Begin experimental evaluation of design technology to include high performance computational prototyping of systems.

Evaluate planning and decision aids prototypes for heterogeneous, distributed software system architectures and tools to support construction and maintenance of advanced intelligent systems.
Develop initial tools and tool kits for development and evaluation of highly interactive, agent and dialogue-based human computer interactions.

Experimentally support software evolution by integrating numerous formal and informal information sources in a "hyperweb"; enhance formal notations for software design to include both syntactic and semantic information; and demonstrate multi-language architecture definition and analysis tools.

Advance the capabilities of spoken and written language understanding to solve real-world problems and provide widely usable human-computer interface functionality.

Extend and evaluate large-scale statistical modeling, machine learning, and knowledge representation methods for spoken and written language understanding and develop hub formalization that will infuse existing programming languages with new advances in formal methods.

Continue the experimental evaluation of design technology for high performance computational prototyping of systems.