Issue 10 Volume 41 May 16, 2003

form of a graphical animation, in accordance with the matching ratio, that will determine the progression on speech training.
DTIC
Signal Processing; Computer Systems Programs; Children; Telephony; Auditory Defects; Articulation (Speech)
20030033935 NeoCore, Inc., Colorado Springs, CO, USA
Knowledge Management through a Fully Extensible, Schema Independent, XML Database
Direen, H.; Brandin, C.; Jones, M.; Hedgepeth, C.; Shin, D.; October 25, 2001; 5 pp.; In English
Report No.(s): AD-A410659; No Copyright; Avail: CASI; A01, Hardcopy
Information in any field, including bioinformatics, is a combination of data and the data’s context. A system that manages
information must be able to handle both aspects of information: context and data. The problem with most systems (databases
in particular) is that the context must be predefined. In a field that is developing as fast as bioinformatics, it is as impossible
to predefine all of the context as it is to predefine all of the data that is being generated. A knowledge management system
must handle context or metadata as freely and flexibly as it handles data. NeoCore has developed a fully extensible, schema
independent, XML-based information management system that meets this requirement.
DTIC
Information Management; Data Bases; Systems Engineering; Document Markup Languages
20030033956 Fluor Hanford, Richland, WA
Automated Mapping/Facilities Management (AM/FM) Version 8.4 Acceptance Test Plan
2002; 24 pp.; In English
Report No.(s): DE2002-801120; HNF-5321; No Copyright; Avail: Department of Energy Information Bridge
The purpose of this document is to describe the tests that will be performed to the Automated Mapping/Facilities
Management (AMIFM software), Revision 8.4, for the purpose of verifying and validating that the software functions as
intended and in agreement with the design.
NTIS
Computer Aided Mapping; Program Verification (Computers)
20030033965 Fluor Hanford, Richland, WA
Automated Mapping/Facilities Management (AM/FM) Version 8.4 Acceptance Test Report
2002; 18 pp.; In English
Report No.(s): DE2002-801121; HNF-5322; No Copyright; Avail: Department of Energy Information Bridge
This document provides the results of testing activities performed in order to verify that version 8.4 of the AM/FM
software meets the user’s requirements.
NTIS
Computer Aided Mapping; Program Verification (Computers); Logistics Management
20030033966 Kestrel Technology, LLC, Palo Alto, CA, USA
DANDE: Deductive Anomaly Detection With Program Synthesis
Westfold, Stephen; Waldinger, Richard; January 14, 2003; 16 pp.; In English
Contract(s)/Grant(s): DAAH01-02-C-R; ARPA ORDER-K475
Report No.(s): AD-A410674; No Copyright; Avail: CASI; A03, Hardcopy
The core problem we are facing in this project is detecting qualitative anomalies. Qualitative anomalies are combinations
of conditions or events that violate some standards of safety or normalcy. The essence of the current project is to coordinate
multiple online data sources, including public records and Web-sites, using a theory of the relevant world knowledge, and
deductive inference methods. The theory and methods are incorporated into Specware, the Kestrel software-development
environment, Data sources include employment histories and qualifications, educational histories, Visa trails, organizations
and affiliations, residence addresses, immigration records, radar tracks, security cameras, and flight-departure information.
These sources, which are continually being updated, are linked to the Specware theory via a procedural attachment
mechanism; this means that the inference mechanism can draw conclusions from the data sources just as if they were
incorporated into the Specware theory.
DTIC
Computer Programs; Information Retrieval; Logic
161