5216 search results - page 314 / 1044 » Planning as Model Checking |
123
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
185
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
119
click to vote
CHI
1996
ACM
15 years 9 months ago
1996
ACM
There is a need to understand the impact of technology failures on work. In the studies reported here, subjects' plans at the start of each day were compared with their event...
160
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
159
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...