1455 search results - page 51 / 291 » Programming in Logic with Constraints for Natural Language P... |
111
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
179
click to vote
ICSE
2012
IEEE-ACM
13 years 5 months ago
2012
IEEE-ACM
—Natural languages like English are rich, complex, and powerful. The highly creative and graceful use of languages like English and Tamil, by masters like Shakespeare and Avvaiya...
259
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
126
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
105
Voted
EACL
1993
ACL Anthology
15 years 4 months ago
1993
ACL Anthology
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...