5216 search results - page 249 / 1044 » Planning as Model Checking |
129
click to vote
PAMI
2000
15 years 4 months ago
2000
We describe an automated scene modeling system that consists of two components operating in an interleaved fashion: an incremental modeler that builds solid models from range imag...
146
click to vote
IS4TH
2003
Springer
15 years 9 months ago
2003
Springer
When maxillofacial surgery is proposed as a treatment for a patient, the type of osteotomy and its influence on the facial contour is of major interest. To design the optimal surg...
152
click to vote
NETWORKING
2007
15 years 5 months ago
2007
In this paper we propose novel optimization models for the planning of Wireless Mesh Networks whose objective is to minimize the network installation cost, while providing full cov...
140
click to vote
AEI
2005
15 years 4 months ago
2005
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
122
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— Robotic manipulators on ships and platforms suffer from large inertial forces due to the non-inertial motion of the ship or platform. When operating in high sea state, operatio...