DE eng

Search in the Catalogues and Directories

Page: 1...3 4 5 6 7 8 9 10 11...37
Hits 121 – 140 of 723

121
A Case Study of International ESL Learners' Perceptions of Technology Use in English Language Learning ...
Rashed, Doaa. - : Maryland Shared Open Access Repository, 2008
BASE
Show details
122
Automated Speech Intelligibility System for Head-Borne Personal Protective Equipment: Proof of Concept
In: DTIC (2008)
BASE
Show details
123
Laboratory for Computational Cultural Dynamics
In: DTIC (2008)
BASE
Show details
124
Annotating texts for language documentation with Discourse Profiler's metatagging system
Quick, Philip A.. - : University of Hawaiˁi Press, 2008
BASE
Show details
125
WeSay, a tool for engaging native speakers in dictionary building
Albright, Eric Scott; Hatton, John. - : University of Hawaiˁi Press, 2008
BASE
Show details
126
Review of: Coherence in natural language: data structures and applications, by Florian Wolf and Edward Gibson
Weber, David J.. - : SIL International, 2008
BASE
Show details
127
FieldWorks Language Explorer 1.0
Moe, Ronald. - 2008
BASE
Show details
128
A comparison of phonology tools
BASE
Show details
129
FieldWorks data notebook: software for writing digital fieldnotes
BASE
Show details
130
A Case Study of International ESL Learners' Perceptions of Technology Use in English Language Learning
Rashed, Doaa. - : University of Maryland, Baltimore County (UMBC), 2008
In: umi-umbc-1225.pdf (2008)
BASE
Show details
131
Special edition using Microsoft Office Outlook 2007
DiGiacomo, Patricia. - Indianapolis, Ind. : Que, 2007
MPI für Psycholinguistik
Show details
132
Growing a Domain Specific Language with Split Extensions
In: https://hal.inria.fr/inria-00175805 ; [Research Report] RR-6314, INRIA. 2007 (2007)
BASE
Show details
133
Automatic text summarization in digital libraries
Mlynarski, Angela; University of Lethbridge. Faculty of Arts and Science. - : Lethbridge, Alta. : University of Lethbridge, Faculty of Arts and Science, 2006, 2007. : Arts and Science, 2007. : Department of Mathematics and Computer Science, 2007
BASE
Show details
134
Automatic text summarization using lexical chains : algorithms and experiments
University of Lethbridge. Faculty of Arts and Science; Kolla, Maheedhar. - : Lethbridge, Alta. : University of Lethbridge, Faculty of Arts and Science, 2004, 2007. : Arts and Science, 2007. : Department of Mathematics and Computer Science, 2007
BASE
Show details
135
A Proof-Theoretic Foundation of Abortive Continuations
In: ISSN: 1388-3690 ; EISSN: 1573-0557 ; Higher-Order and Symbolic Computation ; https://hal.inria.fr/hal-00697242 ; Higher-Order and Symbolic Computation, Springer Verlag, 2007, 20 (4), ⟨10.1007/s10990-007-9007-z⟩ (2007)
Abstract: International audience ; We give an analysis of various classical axioms and characterize a notion of minimal classical logic that enforces Peirce's law without enforcing Ex Falso Quodlibet. We show that a "natural" implementation of this logic is Parigot's classical natural deduction. We then move on to the computational side and emphasize that Parigot's lambda-mu corresponds to minimal classical logic. A continuation constant must be added to lambda-mu to get full classical logic. The extended calculus is isomorphic to a syntactical restriction of Felleisen's theory of control that offers a more expressive reduction semantics. This isomorphic calculus is in correspondence with a refined version of Prawitz's natural deduction.
Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.0: Control primitives; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems; callcc; classical logic; intuitionistic logic; minimal logic
URL: https://doi.org/10.1007/s10990-007-9007-z
https://hal.inria.fr/hal-00697242
https://hal.inria.fr/hal-00697242/file/final-for-pdf.pdf
https://hal.inria.fr/hal-00697242/document
BASE
Hide details
136
Peter, the Language that does not Exist. ; Peter, le langage qui n’existe pas.
Liquori, Luigi. - : HAL CCSD, 2007
In: https://hal.inria.fr/tel-01148503 ; Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007 (2007)
BASE
Show details
137
Detecting Deception in the Military Infosphere: Improving and Integrating Human Detection Capabilities with Automated Tools
In: DTIC (2007)
BASE
Show details
138
The Knowledge Matrix Approach to Intelligence Fusion
In: DTIC (2007)
BASE
Show details
139
Intelligence Dissemination to the Warfighter
In: DTIC (2007)
BASE
Show details
140
Real Time News Analysis for Improved Social Relationship Discovery
In: DTIC (2007)
BASE
Show details

Page: 1...3 4 5 6 7 8 9 10 11...37

Catalogues
0
0
0
0
0
0
2
Bibliographies
0
0
0
0
0
0
0
0
19
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
702
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern