3856 search results - page 218 / 772 » Models for Automated Earthmoving |
163
click to vote
ECSQARU
2003
Springer
15 years 12 months ago
2003
Springer
An overview is provided of recent developments in the use of latent class (LC) models in social science research. Special attention is paid to the application of LC analysis as a f...
179
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. We propose a highly automated approach to the point correspondence problem for anatomical shapes in medical images. Manual landmarking is performed on a small subset of t...
200
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
190
click to vote
ICIP
2007
IEEE
16 years 28 days ago
2007
IEEE
Motion detection and estimation are known to be important in many automated surveillance systems. It has drawn significant research interest in the field of computer vision. This ...
158
click to vote
LICS
2006
IEEE
16 years 19 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...