34 search results - page 6 / 7 » Automatic Symmetry Detection for Promela |
PTS
2000
13 years 7 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
CP
2004
Springer
13 years 9 months ago
2004
Springer
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeab...
ICIP
2003
IEEE
14 years 7 months ago
2003
IEEE
In this paper, we propose a set of human perceptual cues used jointly to automatically detect image orientation. The cues used are: orientation of faces, position of the sky, brig...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
Image-analysis methods play an important role in helping detect brain changes in and diagnosis of Alzheimer's Disease (AD). In this paper, we propose an automatic unsupervised...
ICRA
2009
IEEE
14 years 13 days ago
2009
IEEE
Abstract— This paper considers the problem of sensor selfcalibration in mobile robotics by only using a single point feature (e.g. a source of light). In particular, the problem ...