6608 search results - page 946 / 1322 » On the Completeness of Model Checking |
161
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper, we present a face authentication system that can be broken down in three stages. Prior to feature extraction, a pose correction step is applied, so that frontal fac...
194
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
The Route Panorama is a continuous, compact and complete image representation of scenes along a route. It is generated continuously from reading a preset line in a camera frame th...
178
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
A novel method for integrating multiple range images in a multi-view stereo imaging system is presented here. Due to self-occlusion an individual range image provides only a parti...
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
192
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...