19936 search results - page 3815 / 3988 » Inductive process modeling |
154
click to vote
SOSP
1997
ACM
15 years 4 months ago
1997
ACM
Despite a large research effort, software distributed shared memory systems have not been widely used to run parallel applications across clusters of computers. The higher perform...
108
click to vote
AAAI
1994
15 years 4 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
168
click to vote
FORTE
1994
15 years 4 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
314
click to vote
GRAPHICSINTERFACE
1996
15 years 4 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
141
click to vote
NIPS
1996
15 years 4 months ago
1996
Dynamic Programming, Q-learning and other discrete Markov Decision Process solvers can be applied to continuous d-dimensional state-spaces by quantizing the state space into an arr...