6201 search results - page 280 / 1241 » Implementation of Axiomatic Language |
171
click to vote
ML
2007
ACM
15 years 6 months ago
2007
ACM
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
169
click to vote
IALP
2010
15 years 4 months ago
2010
This paper describes an attempt to build a lexical database for the Yami language, an Austronesian endangered language. As the Yami language documentation and conservation project...
158
click to vote
COLING
2010
15 years 1 months ago
2010
We present a framework where auxiliary MT systems are used to provide lexical predictions to a main SMT system. In this work, predictions are obtained by means of pivoting via aux...
185
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
As the data and ontology layers of the Semantic Web stack have achieved a certain level of maturity in standard recommendations such as RDF and OWL, the current focus lies on two ...
257
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...