Sciweavers

1390 search results - page 165 / 278
» Computing the depth of a flat
Sort
View
ICPR
2008
IEEE
15 years 4 months ago
Ear recognition using LLE and IDLLE algorithm
Although ear recognition has been researched widely, there still exist some problems to be resolved in depth such as multi-pose ear recognition which is rarely focused on. In this...
Zhaoxia Xie, Zhichun Mu
IEEEPACT
2007
IEEE
15 years 4 months ago
Verification-Aware Microprocessor Design
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
Anita Lungu, Daniel J. Sorin
ACCV
2006
Springer
15 years 4 months ago
Augmented Stereo Panoramas
Panoramas and object movies are popular image-based techniques for modeling and rendering 3D scenes and objects. In this paper, we present a method which allows the authors of virt...
Chien-Wei Chen, Li-Wei Chan, Yu-Pao Tsai, Yi-Ping ...
SPIN
2005
Springer
15 years 3 months ago
Improving Spin's Partial-Order Reduction for Breadth-First Search
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
Dragan Bosnacki, Gerard J. Holzmann
ISAAC
2004
Springer
87views Algorithms» more  ISAAC 2004»
15 years 3 months ago
Random Access to Advice Strings and Collapsing Results
We propose a model of computation where a Turing machine is given random access to an advice string. With random access, an advice string of exponential length becomes meaningful ...
Jin-yi Cai, Osamu Watanabe