20066 search results - page 3762 / 4014 » T Spaces |
205
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
153
Voted
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper considers the problem of self-calibration of a camera from an image sequence in the case where the camera's internal parameters (most notably focal length) may cha...
126
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. This paper describes a method for correction of optically read Devanagari character strings using a Hindi word dictionary. The word dictionary is partitioned in order to ...
153
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
171
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
On-line analytical processing (OLAP) requires e cient processing of complex decision support queries over very large databases. It is well accepted that pre-computed data cubes ca...