6201 search results - page 256 / 1241 » Implementation of Axiomatic Language |
137
click to vote
SOSP
1993
ACM
15 years 6 months ago
1993
ACM
Many operating systems allow user programs to specify the protectionlevel (inaccessible, read-only, read-write) of pages in their virtual memory address space, and to handle any p...
132
click to vote
COLING
2002
15 years 5 months ago
2002
With the rapid growth of real application domains for NLP systems, there is a genuine demand for a general toolkit from which programmers with no linguistic knowledge can build sp...
125
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into pa...
153
Voted
COLING
1996
15 years 6 months ago
1996
The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse ...
119
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...