8555 search results - page 363 / 1711 » Property Based Coordination |
195
click to vote
ISER
1999
Springer
15 years 12 months ago
1999
Springer
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
212
click to vote
FASE
1998
Springer
15 years 11 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
237
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Many previous works on photometric stereo have shown how to recover the shape and reflectance properties of an object using multiple images taken under a fixed viewpoint and variab...
187
click to vote
ICVGIP
2004
15 years 9 months ago
2004
This article aims to propose a method to use the idea of Hough Transform (HT) implemented in grey scale images to color images for region extraction. A region in an image is seen ...
172
click to vote
IJSN
2006
15 years 7 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...