84 search results - page 9 / 17 » A Tactic Language for the System Coq |
149
Voted
NAACL
2007
15 years 7 months ago
2007
This paper explores the use of statistical machine translation (SMT) methods for tactical natural language generation. We present results on using phrase-based SMT for learning to...
169
click to vote
TPHOL
2007
IEEE
16 years 1 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
173
click to vote
ADS
2004
Springer
15 years 9 months ago
2004
Springer
We discuss the affective aspects of tutoring dialogues in an ITS -called INES- that helps students to practice nursing tasks using a haptic device and a virtual environment. Specia...
147
click to vote
CC
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
263
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...