| 1 |
Enhancing a Web Crawler with Arabic Search Capability
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Blog Fingerprinting: Identifying Anonymous Posts Written by an Author of Interest Using Word and Character Frequency Analysis
|
|
|
|
In: DTIC (2009)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Speeding Up a Path-Based Policy Language Compiler
|
|
|
|
In: DTIC AND NTIS (2003)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
An Architecture for the Semantic Processing of Natural Language Input to a Policy Workbench
|
|
|
|
In: DTIC AND NTIS (2003)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Automatic Verification of Multiagent Conversations
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Generalized Aliasing as a Basis for Program Analysis Tools
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Turtle Graphics Implementation Using a Graphical Dataflow Programming Approach
|
|
|
|
In: DTIC AND NTIS (1992)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Global Optimization of Digital Circuits.
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A Non-Cognitive Formal Approach to Knowledge Representation in Artificial Intelligence.
|
|
|
|
In: DTIC AND NTIS (1986)
|
|
BASE
|
|
Show details
|
|
|
|
|
