Page: 1 2 3 4 5 6 7 8 9... 37
81 |
Expanding the Toolkit and Resource Environment to Assist Translation (TREAT) and Its User Base
|
|
|
|
In: DTIC (2011)
|
|
BASE
|
|
Show details
|
|
82 |
Synthesis of Systemic Functional Theory & Dynamical Systems Theory for Socio-Cultural Modeling
|
|
|
|
In: DTIC (2011)
|
|
BASE
|
|
Show details
|
|
83 |
Emergent Intelligent Behavior through Integrated Investigation of Embodied Natural Language, Reasoning, Learning, Computer Vision, and Robotic Manipulation
|
|
|
|
In: DTIC (2011)
|
|
BASE
|
|
Show details
|
|
85 |
Software forensics: extending authorship analysis techniques to computer programs
|
|
|
|
BASE
|
|
Show details
|
|
86 |
Transfer Learning in Integrated Cognitive Systems
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
87 |
Specification and Validation of Space System Behaviors
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
88 |
Entity Profiling for Intelligence Using the Graphical Overview of Social and Semantic Interactions of People (GOSSIP) Software Tool
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
89 |
Teaching Intelligence Analysis with TIACRITIS
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
90 |
TIACRITIS System and Textbook: Learning Intelligence Analysis through Practice
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
92 |
Automated Translation of Chinese-to-English Creative Literature
|
|
|
|
BASE
|
|
Show details
|
|
93 |
Plastic Machines: Behavioural Diversity and the Turing Test
|
|
|
|
BASE
|
|
Show details
|
|
96 |
Compulsory laptop programs: Teachers' responses to the adoption and implementation process
|
|
|
|
BASE
|
|
Show details
|
|
97 |
Digital students in the democratic classroom : using technology to enhance critical pedagogy in first-year composition
|
|
|
|
In: CardinalScholar 1.0 (2009)
|
|
BASE
|
|
Show details
|
|
98 |
λμ-calculus and Λμ-calculus: a Capital Difference
|
|
|
|
In: https://hal.inria.fr/inria-00524942 ; 2009 (2009)
|
|
BASE
|
|
Show details
|
|
99 |
Systematic development and safety of execution in structured parallel programming ; Développement systématique et sûreté d’exécution en programmation parallèle structurée
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00481376 ; Autre [cs.OH]. Université Paris-Est, 2009. Français. ⟨NNT : 2009PEST0004⟩ (2009)
|
|
BASE
|
|
Show details
|
|
100 |
Algebraic types and pattern matching in the logical language of the Why verification platform
|
|
|
|
In: https://hal.inria.fr/inria-00439232 ; [Research Report] RR-7128, INRIA. 2009 (2009)
|
|
BASE
|
|
Show details
|
|
Page: 1 2 3 4 5 6 7 8 9... 37
|
|