Sciweavers

5964 search results - page 408 / 1193
» A theory of speculative computation
Sort
View
LICS
1999
IEEE
15 years 12 months ago
Some Decision Problems of Enormous Complexity
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
Harvey Friedman
ISTCS
1993
Springer
15 years 11 months ago
Subpixel Image Registration Using Circular Fiducials
The design of fiducials for precise image registration is of major practical importance in computer vision, especially in automatic inspection applications. We analyze the subpix...
Alon Efrat, Craig Gotsman
FCT
2007
Springer
15 years 11 months ago
Product Rules in Semidefinite Programming
Abstract. In recent years we have witnessed the proliferation of semidefinite programming bounds in combinatorial optimization [1,5,8], quantum computing [9,2,3,6,4,16] and even in...
Rajat Mittal, Mario Szegedy
PG
1997
IEEE
15 years 11 months ago
A practitioners' assessment of light reflection models
We discuss the theory and practical issues behind creating reflection models to show the difficulty of the problem. We survey the current approaches towards reflection models for ...
Peter Shirley, Brian E. Smits, Helen H. Hu, Eric P...
BMVC
2001
15 years 10 months ago
MDL based Structural Interpretation of Images under Partial Occlusion
In this paper an information theoretic approach is provided for resolving border ambiguity under partial occlusion. The proposed framework allows structural interpretation of imag...
Sowmya Ramakrishnan, Peter Forte