5216 search results - page 857 / 1044 » Planning as Model Checking |
161
click to vote
WSC
1997
15 years 7 months ago
1997
The paper describes a simulation substrate that allows thinking agents to interact with a world. The world is simulated by standard discrete event simulation, but the timing of an...
185
click to vote
AAAI
1994
15 years 7 months ago
1994
We present new algorithms for local planning over Markov decision processes. The base-level algorithm possesses several interesting features for control of computation, based on s...
163
click to vote
NAACL
1994
15 years 7 months ago
1994
As multilingual products and technology grow in importance, the Linguistic Data Consortium (LDC) intends to provide the resources needed for research and development activities, e...
174
click to vote
NAACL
1994
15 years 7 months ago
1994
This research characterizes the spontaneous spoken disfluencies typical of human-computer interaction, and presents a predictive model accounting for their occurrence. Data were c...
166
click to vote
ATMOS
2009
15 years 7 months ago
2009
In this paper we combine an integer programming approach and a computer simulation tool to successfully develop and verify an improved classification schedule for a real-world trai...