10935 search results - page 1994 / 2187 » Neural Programming Language |
LICS
2009
IEEE
15 years 8 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...
102
click to vote
UIC
2009
Springer
15 years 8 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...
110
click to vote
ATAL
2009
Springer
15 years 8 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...
97
Voted
ER
2009
Springer
15 years 8 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 ...
103
click to vote
ER
2009
Springer
15 years 8 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...