1 |
Methods for Evaluating Text Extraction Toolkits: An Exploratory Investigation
|
|
|
|
In: DTIC (2015)
|
|
BASE
|
|
Show details
|
|
2 |
Relevance Feedback based on Constrained Clustering: FDU at TREC 09
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
3 |
A Journey in Entity Related Retrieval for TREC 2009
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
4 |
Lucene for n-grams using the ClueWeb Collection
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
5 |
BIT at TREC 2009 Faceted Blog Distillation Task
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
6 |
IRRA at TREC 2009: Index Term Weighting based on Divergence From Independence Model
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
7 |
POSTECH at TREC 2009 Blog Track: Top Stories Identification
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
8 |
PRIS at 2009 Relevance Feedback track: Experiments in Language Model for Relevance Feedback
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
9 |
Novel Topic Impact on Authorship Attribution
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
10 |
Experiments on Related Entity Finding Track at TREC 2009
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
11 |
Facet Classification of Blogs: Know-Center at the TREC 2009 Blog Distillation Task
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
12 |
Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System
|
|
|
|
In: DTIC (2007)
|
|
BASE
|
|
Show details
|
|
13 |
An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems
|
|
|
|
In: DTIC (2006)
|
|
Abstract:
Formal verification is required for systems that require high assurance. Formal verification can require large and complex proofs that can drastically affect the development life cycle. Through the use of a verification system, such proofs can be managed and completed in an efficient manner. A verification system consists of a specification language that can express formal logic and an automated theorem tool that can be used to verify theorems and conjectures within the specifications. One example of a verification system is Specware. This thesis presents an analysis of Specware against a set of evaluation criteria in order to determine the level of usefulness Specware can have in the verification of high assurance systems. This analysis revealed that Specware contains a powerful specification language capable of representing higher order logic in a simple and expressive manner. Specware is able to represent multiple levels of abstraction and generate proof obligations regarding specification correctness and interlevel mapping. The theorem prover associated with Specware was found to be lacking in capability. Through this analysis we found that Specware has great potential to be an excellent verification system given improvement upon the theorem prover and strengthening of weaknesses regarding linguistic components.
|
|
Keyword:
*INFORMATION ASSURANCE; *PROGRAMMING LANGUAGES; *VERIFICATION; AUTOMATION; Computer Programming and Software; LANGUAGE; LIFE CYCLES; LOGIC; SOFTWARE TOOLS; SPECIFICATIONS; SPECWARE; TEST AND EVALUATION; THEOREMS; THESES
|
|
URL: http://www.dtic.mil/docs/citations/ADA451439 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA451439
|
|
BASE
|
|
Hide details
|
|
14 |
A Methodology for End-to-End Evaluation of Arabic Document Image Processing Software
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
15 |
Criteria for Appraising Computer-Based Simulations for Teaching Arabic as a Foreign Language
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
16 |
Consolidating the Results of the CIRCSIM-Tutor Project and Further Consolidation of the Results of the CIRCSIM-Tutor Project
|
|
|
|
In: DTIC AND NTIS (2003)
|
|
BASE
|
|
Show details
|
|
17 |
A Survey of Current Paradigms in Machine Translation
|
|
|
|
In: DTIC (1998)
|
|
BASE
|
|
Show details
|
|
18 |
Creation of Efficient and Portable Parallel Programs.
|
|
|
|
In: DTIC AND NTIS (1997)
|
|
BASE
|
|
Show details
|
|
20 |
TMSS Parsing Test, MIL-M-9977J, Appendix G, Loading Procedures Checklists.
|
|
In: DTIC AND NTIS (1994)
|
|
BASE
|
|
Show details
|
|
|
|