Sciweavers

1287 search results - page 114 / 258
» Unnatural language detection
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Politeness and alignment in dialogues with a virtual guide
Language alignment is something that happens automatically in dialogues between human speakers. The ability to align is expected to increase the believability of virtual dialogue ...
Markus de Jong, Mariët Theune, Dennis Hofs
ICLP
2009
Springer
16 years 7 months ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...
ICFP
2004
ACM
16 years 6 months ago
Searching for deadlocks while debugging concurrent haskell programs
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
Jan Christiansen, Frank Huch
SCAM
2006
IEEE
16 years 11 days ago
SMART C: A Semantic Macro Replacement Translator for C
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
Matthew Jacobs, E. Christopher Lewis
ESEM
2010
ACM
15 years 6 months ago
A comprehensive characterization of NLP techniques for identifying equivalent requirements
Though very important in software engineering, linking artifacts of the same type (clone detection) or of different types (traceability recovery) is extremely tedious, error-prone...
Davide Falessi, Giovanni Cantone, Gerardo Canfora