Sciweavers

848 search results - page 112 / 170
» Randomness and the linear degrees of computability
Sort
View
IPPS
2003
IEEE
15 years 5 months ago
On Self-Similarity and Hamiltonicity of Dual-Cubes
The dual-cube is a newly proposed topology for interconnection networks, which uses low dimensional hypercubes as building blocks. The primary advantages of the dual-cube over the...
Changfu Wu, Jie Wu
WACV
2002
IEEE
15 years 4 months ago
Appearance-based Eye Gaze Estimation
We present a method for estimating eye gaze direction, which represents a departure from conventional eye gaze estimation methods, the majority of which are based on tracking spec...
Kar-Han Tan, David J. Kriegman, Narendra Ahuja
FOCS
1999
IEEE
15 years 4 months ago
A Study of Proof Search Algorithms for Resolution and Polynomial Calculus
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
Maria Luisa Bonet, Nicola Galesi
DAC
1996
ACM
15 years 4 months ago
A Sparse Image Method for BEM Capacitance Extraction
Boundary element methods (BEM) are often used for complex 3-D capacitance extraction because of their efficiency, ease of data preparation, and automatic handling of open regions. ...
Byron Krauter, Yu Xia, E. Aykut Dengi, Lawrence T....
BMVC
2002
15 years 2 months ago
Integrated Shape and Pose Modelling
Flexible Shape Models (FSMs), have been widely used for modelling shape variations of deformable objects [4]. A major limitation of this approach is that it assumes a near fronto-...
M. Benjamin Dias, Bernard F. Buxton