1078 search results - page 74 / 216 » Local and Global Relational Consistency |
CP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
When a purely rotating camera observes a general scene, overlapping views are related by a parallax-free warp which can be estimated by direct image alignment methods that iterate ...
73
Voted
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
LREC
2008
14 years 11 months ago
2008
The NIST Automatic Content Extraction (ACE) Evaluation expands its focus in 2008 to encompass the challenge of cross-document and cross-language global integration and reconciliat...
VMV
2007
14 years 11 months ago
2007
The core of most registration algorithms aligns scan data by pairs, minimizing their relative distance. This local optimization must generally pass through a validation procedure t...