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
|
|
84 |
Composite Artistry Meets Facial Recognition Technology: Exploring the Use of Facial Recognition Technology to Identify Composite Images
|
|
|
|
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)
|
|
Abstract:
This paper 1) discusses the astonishing complexity of intelligence analysis by using the popular metaphor of "connecting the dots," 2) outlines a systematic computational approach, grounded in the Science of Evidence, that allows coping with this complexity, and 3) introduces an innovative intelligent software agent, called TIACRITIS, for teaching intelligence analysts how to perform evidence-based reasoning. TIACRITIS is a web-based system with case studies and knowledge bases incorporating a significant amount of knowledge about evidence, its properties, uses, and discovery. It is a personalizable agent that helps analysts acquire the knowledge, skills, and abilities involved in discovering and processing of evidence and in drawing defensible and persuasive conclusions from it, by employing an effective learning-by-doing approach. It allows analysts to practice and learn how to link evidence to hypotheses through abductive, deductive, and inductive reasoning that establish the basic credentials of evidence: its relevance, believability, and inferential force or weight. Analysts can also experiment with what-if scenarios and study the influence of various assumptions on the final result of analysis. ; Published in the American Intelligence Journal, v28 n2, Dec 2010. Sponsored in part by NSF.
|
|
Keyword:
*COMPUTER PROGRAMS; *INTELLIGENCE; *REASONING; *TEACHING METHODS; ABDUCTIVE REASONING; ANALYSTS; BELIEVABILITY; CASE STUDIES; COGNITION; COMPUTATIONAL APPROACHES; COMPUTATIONS; Computer Programming and Software; CREDIBILITY; DEDUCTIVE REASONING; DIRECTION OF ARGUMENTS; EVIDENCE; EVIDENCE BASED REASONING; FORCE OF ARGUMENTS; Humanities and History; HYPOTHESES; INDUCTIVE REASONING; INTELLIGENCE ANALYSIS; INTERNET; LEARN BY DOING; Military Intelligence; RELEVANCE; SOURCES; TIACRITIS COMPUTER PROGRAM; TRAINING; UNCERTAINTY; WIGMOREAN NETWORKS
|
|
URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA533920 http://www.dtic.mil/docs/citations/ADA533920
|
|
BASE
|
|
Hide 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
|
|