3827 search results - page 628 / 766 » The Epsilon Generation Language |
109
click to vote
LICS
2009
IEEE
15 years 11 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...
135
click to vote
ATAL
2009
Springer
15 years 11 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...
116
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Stigmergy is usually associated with semantically simple problems such as routing. It can be applied to more complex problems by encoding them in the environment through which sti...
130
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
137
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...