5216 search results - page 518 / 1044 » Planning as Model Checking |
186
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A Robotic System is being developed to automate the crucible packing process in the CZ semiconductor wafer production. It requires the delicate manipulation and packing of highly ...
213
click to vote
BPM
2000
Springer
15 years 11 months ago
2000
Springer
In this article a general business process architecture is presented, which is based on the Architecture of Integrated Information Systems (ARIS) and which is composed of the four ...
181
click to vote
BILDMED
2007
15 years 8 months ago
2007
In some registration applications additional user knowledge is available, which can improve and accelerate the registration process, especially for non-rigid registration. This is ...
138
click to vote
ICONIP
2007
15 years 8 months ago
2007
Abstract. The present paper addresses a general diagram to investigate the real-time parallel computation mechanism in the brain, using an idea of “Gantt chart.” This diagram e...
176
click to vote
PTS
2008
15 years 8 months ago
2008
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...