921 search results - page 35 / 185 » Expressing Computational Complexity in Constructive Type The... |
ICCV
1998
IEEE
14 years 1 days ago
1998
IEEE
Conventional video cameras have limited elds of view which make them restrictive for certain applications in computational vision. A catadioptric sensor uses a combination of lens...
COMPSAC
2002
IEEE
14 years 23 days ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
LICS
2000
IEEE
14 years 5 days ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
EATCS
2000
13 years 7 months ago
2000
A sub-area of discrepancy theory that has received much attention in computer science recently, is that of explicit constructions of low-discrepancy point sets for various types o...
ITP
2010
13 years 9 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...