Sciweavers

3856 search results - page 247 / 772
» Models for Automated Earthmoving
Sort
View
ICML
2000
IEEE
16 years 7 months ago
Learning Probabilistic Models for Decision-Theoretic Navigation of Mobile Robots
Decision-theoretic reasoning and planning algorithms are increasingly being used for mobile robot navigation, due to the signi cant uncertainty accompanying the robots' perce...
Daniel Nikovski, Illah R. Nourbakhsh
KBSE
2006
IEEE
16 years 20 days ago
Modularity Analysis of Logical Design Models
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
Yuanfang Cai, Kevin J. Sullivan
ISSADS
2005
Springer
16 years 4 days ago
Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
Wei Tan, Yushun Fan
KBSE
2003
IEEE
15 years 12 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
ICRA
2000
IEEE
124views Robotics» more  ICRA 2000»
15 years 11 months ago
The Augmented Object Model: Cooperative Manipulation and Parallel Mechanism Dynamics
in Proceedings of the 2000 IEEE International Conference on Robotics and Automation, San Francisco, April 2000 The augmented object model provided the basis for effective coopera...
Kyong-Sok Chang, Robert Holmberg, Oussama Khatib