2357 search results - page 292 / 472 » Computing Refactorings of Behavior Models |
114
Voted
WSCG
2004
15 years 4 months ago
2004
This paper presents an algorithm to track an industrial robot hand during its movement. Based on acquired image and knowing the robot hand model, the pose is obtained. This inform...
132
Voted
CIIA
2009
15 years 4 months ago
2009
Petroleum industry production systems are highly automatized. In this industry, all functions (e.g., planning, scheduling and maintenance) are automated and in order to remain comp...
139
Voted
AI
2008
Springer
15 years 3 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
119
click to vote
ENTCS
2007
15 years 3 months ago
2007
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...
113
Voted
PR
2000
15 years 3 months ago
2000
This paper describes an active-camera real-time system for tracking, shape description, and classi"cation of the human face and mouth expressions using only a PC or equivalen...