6201 search results - page 208 / 1241 » Implementation of Axiomatic Language |
112
click to vote
LISP
2007
15 years 4 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
130
click to vote
AGP
1997
IEEE
15 years 9 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
128
click to vote
HICSS
1997
IEEE
1997
IEEE
Retaining Body Language in Subjective Virtual Environments Using Artifact-Centred Coordinate Systems
15 years 9 months ago
Embodiment and subjectivity are important research issues for collaborative virtual environments. We claim that the direction and distance of an embodiment are the most important ...
107
click to vote
LREC
2010
15 years 6 months ago
2010
In this work we investigate the effects of rephrasing the user's input on two mobile spoken dialogue systems. We argue that for specific kinds of applications it's impor...
135
click to vote
LREC
2008
15 years 6 months ago
2008
Morphological query expansion and language-filtering words have proved to be valid methods when searching the web for content in Basque via APIs of commercial search engines, as t...