41 |
Adaptive ontology re-use: Finding and re-using sub-ontologies ...
|
|
|
|
BASE
|
|
Show details
|
|
42 |
Real World Cognitive Multi-Tasking and Problem Solving: A Large Scale Cognitive Architecture Simulation Through High Performance Computing-Project Casie
|
|
|
|
In: DTIC (2008)
|
|
BASE
|
|
Show details
|
|
43 |
Evaluation of a new assesment scheme for a third-year concurrency course
|
|
|
|
BASE
|
|
Show details
|
|
45 |
Application of the Semantics Enrichment Concept in the Information Fusion for Command Support
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
47 |
IBM MASTOR SYSTEM: Multilingual Automatic Speech-to-speech Translator
|
|
|
|
In: DTIC (2006)
|
|
BASE
|
|
Show details
|
|
48 |
Proceedings of the 13th International Conference on Real-Time Systems (RTS'2005)
|
|
|
|
In: https://hal.inria.fr/inria-00000559 ; Nicolas Navet. BIRP, pp.515, 2005 (2005)
|
|
BASE
|
|
Show details
|
|
49 |
Initial Kernel Timing Using a Simple PIM Performance Model
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
50 |
Semantic Web in a Pervasive Context-Aware Architecture
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
51 |
Using Wearable Computers to Construct Semantic Representations of Physical Spaces
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
52 |
Semantic Web in the Context Broker Architecture
|
|
|
|
In: DTIC AND NTIS (2005)
|
|
BASE
|
|
Show details
|
|
54 |
Formal Verification in the Polyhedral Model ; Vérification Formelle dans le Modèle Polyédrique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011522 ; Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français (2004)
|
|
BASE
|
|
Show details
|
|
55 |
Representational and Inferential Requirements for Diagrammatic Reasoning in the Entity Re-Identification Task
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
BASE
|
|
Show details
|
|
56 |
A Comparison of the Effects of Two Schema Theory-Based Pre-Reading Activities in Spanish: Key Word Discussion and Vocabulary Review
|
|
|
|
In: DTIC AND NTIS (2002)
|
|
BASE
|
|
Show details
|
|
57 |
A Type-Preserving Compiler Infrastructure
|
|
|
|
In: DTIC AND NTIS (2002)
|
|
BASE
|
|
Show details
|
|
58 |
An instruction-set process calculus for synchronous hardware composition
|
|
|
|
In: Electrical Engineering and Computer Science - Dissertations (2002)
|
|
BASE
|
|
Show details
|
|
59 |
The Architecture of TrueViz: A Groundtruth/Metadata Editing and Visualizing Toolkit
|
|
|
|
In: DTIC (2001)
|
|
BASE
|
|
Show details
|
|
60 |
Generalized Aliasing as a Basis for Program Analysis Tools
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
|