6201 search results - page 165 / 1241 » Implementation of Axiomatic Language |
154
click to vote
FSTTCS
1999
Springer
15 years 8 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
123
click to vote
ACL
2006
15 years 6 months ago
2006
This paper presents a method for building genetic language taxonomies based on a new approach to comparing lexical forms. Instead of comparing forms cross-linguistically, a matrix...
117
click to vote
EACL
2003
ACL Anthology
15 years 6 months ago
2003
ACL Anthology
This paper describes the NECA MNLG; a fully implemented Multimodal Natural Language Generation module. The MNLG is deployed as part of the NECA system which generates dialogues be...
186
Voted
POPL
2009
ACM
15 years 11 months ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
148
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...