15614 search results - page 2889 / 3123 » The State of State |
199
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
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...
164
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
186
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
The mobile robot localization problem is decomposed into two stages attitude estimation followed by position estimation. The innovation of our method is the use of a smoother, in ...
164
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
In general topology networks, routing from one node to another over a tree embedded in the network is intuitively a good strategy, since it typically results in a route length of O...