7991 search results - page 1273 / 1599 » Using More Reasoning to Improve |
160
click to vote
DIGRA
2003
Springer
16 years 18 hour ago
2003
Springer
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
174
Voted
ESOP
2003
Springer
16 years 14 hour ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
205
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We say that a polynomial f(x1, . . . , xn) is indecomposable if it cannot be written as a product of two polynomials that are defined over disjoint sets of variables. The polynom...
189
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
In order to detect violations of end-to-end service level agreements (SLA) and to isolate trouble links and nodes based on a unified framework, managers of a service provider net...
213
click to vote
EH
1999
IEEE
15 years 11 months ago
1999
IEEE
We address the fundamental issue of fully automated design (FAD) and construction of inexpensive robots and their controllers. Rather than seek an intelligent general purpose robo...