Sciweavers

925 search results - page 2 / 185
» A Linguistic Theory of Robustness
Sort
View
ACL2
2006
ACM
14 years 1 months ago
A robust machine code proof framework for highly secure applications
David S. Hardin, Eric W. Smith, William D. Young
ATAL
2005
Springer
14 years 29 days ago
Protocol synthesis with dialogue structure theory
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
Jarred McGinnis, David Robertson, Christopher Walt...
COLING
1996
13 years 8 months ago
Lean Formalisms, Linguistic Theory and Applications. Grammar Development in ALEP
This paper describes results achieved in a project which addresses the issue of how the gap between uni cation-based grammars as a scienti c concept and real world applications ca...
Paul Schmidt, Axel Theofilidis, Sibylle Rieder, Th...