6607 search results - page 303 / 1322 » Making TeX Work |
123
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
155
Voted
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Unbiased and consistent estimates of structure and motion can be obtained by least squares minimization of the differential epipolar constraint. Previous work on this subject does...
149
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present a system for topologically localizing a mobile robot using color histogram matching of omnidirectional images. The system is intended for use as a navigat...
127
click to vote
IEEEPACT
2002
IEEE
15 years 9 months ago
2002
IEEE
Researchers have studied hybrid branch predictors that leverage the strengths of multiple stand-alone predictors. The common theme among the proposed techniques is a selection mec...
124
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...