1915 search results - page 169 / 383 » A language for functional interpretation of model based simu... |
147
click to vote
AIIDE
2008
15 years 6 months ago
2008
Culture and emotions have a profound impact on human behavior. Consequently, high-fidelity simulated interactive environments (e.g., trainers and computer games) that involve virt...
152
click to vote
LICS
1997
IEEE
15 years 8 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
132
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
160
click to vote
ACL
2012
13 years 7 months ago
2012
Many semantic parsing models use tree transformations to map between natural language and meaning representation. However, while tree transformations are central to several state-...
111
click to vote
ICDAR
1997
IEEE
15 years 8 months ago
1997
IEEE
The performance of document analysis systems significantly depends on knowledge about the application domain that can be exploited in the analysis process. Typically, one has to d...