Sciweavers

6608 search results - page 946 / 1322
» On the Completeness of Model Checking
Sort
View
ICPR
2006
IEEE
16 years 8 months ago
Pose Correction and Subject-Specific Features for Face Authentication
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...
Daniel González-Jiménez, José...
ICPR
2006
IEEE
16 years 8 months ago
Removing Temporal Stationary Blur in Route Panoramas
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...
Jiang Yu Zheng, Min Shi
ICPR
2004
IEEE
16 years 8 months ago
Integration of Range Images in a Multi-View Stereo System
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...
J. Paul Siebert, Jiahua Wu, Nigel J. B. McFarlane,...
DAC
2005
ACM
16 years 7 months ago
Exploiting suspected redundancy without proving it
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robe...
CADE
2007
Springer
16 years 7 months ago
Hyper Tableaux with Equality
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...
Björn Pelzer, Peter Baumgartner, Ulrich Furba...