6906 search results - page 1043 / 1382 » An algorithm for modelling key terms |
173
click to vote
ATAL
2003
Springer
16 years 2 hour ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
187
click to vote
PODS
2010
ACM
15 years 12 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
176
click to vote
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
215
Voted
INTERACTION
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
167
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...