5964 search results - page 248 / 1193 » A theory of speculative computation |
160
click to vote
IJCAI
1989
15 years 8 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
232
click to vote
CONTENT
2001
Springer
15 years 11 months ago
2001
Springer
This paper looks at existing computer games and virtual environments from the perspective of film theory and practice. From this, we will draw conclusions about the ways in which ...
149
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
There has been an increasing interest in developing computational theories of autonomous robots. However the previous work has focused on intelligent modifications to internal com...
194
click to vote
JAIR
2010
15 years 5 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
220
click to vote
SIAMCOMP
2008
15 years 7 months ago
2008
Leslie Valiant recently proposed a theory of holographic algorithms. These novel algorithms achieve exponential speed-ups for certain computational problems compared to naive algo...