5216 search results - page 487 / 1044 » Planning as Model Checking |
143
click to vote
WSC
2000
15 years 8 months ago
2000
Business processes are increasingly key to the success of companies in the service industry. It is important that these processes are designed and maintained to deliver the most c...
147
click to vote
WSC
2000
15 years 8 months ago
2000
The paper deals with a simulation study on a planned production plant in the brick industry. We implemented this plant in TAYLOR II. Although the boundary conditions seemed relati...
193
click to vote
COLING
1990
15 years 8 months ago
1990
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
206
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Spoken dialogue systems are gaining popularity with improvements in speech recognition technologies. Dialogue systems can be modeled effectively using POMDPs, achieving improvemen...
213
Voted
CHARME
2005
Springer
16 years 11 days ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...