10575 search results - page 1916 / 2115 » T2Script Programming Language |
100
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
119
click to vote
UIC
2009
Springer
15 years 10 months ago
2009
Springer
Document printing has long been considered an indispensable part of the workspace. While this process is considered trivial and simple for environments where resources are ample (e...
129
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...
119
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Creating an ontology and populating it with data are both labor-intensive tasks requiring a high degree of expertise. Thus, scaling ontology creation and population to the size of ...
115
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The development of index structures that allow e cient retrieval of spatial objects has been a topic of interest in the last decades. Most of these structures have been d...