Sciweavers

925 search results - page 2 / 185
» A Linguistic Theory of Robustness
Sort
View
ACL2
2006
ACM
15 years 6 months ago
A robust machine code proof framework for highly secure applications
David S. Hardin, Eric W. Smith, William D. Young
ATAL
2005
Springer
15 years 5 months 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
15 years 1 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...