3446 search results - page 620 / 690 » A Reasoning Algorithm for pD* |
142
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
104
click to vote
ICRA
1999
IEEE
15 years 5 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&...
121
click to vote
VISUALIZATION
1999
IEEE
15 years 5 months ago
1999
IEEE
In recent years, substantial progress has been achieved in the area of volume visualization on irregular grids, which is mainly based on tetrahedral meshes. Even moderately fine t...
114
click to vote
IEEEPACT
1998
IEEE
15 years 5 months ago
1998
IEEE
Compile-time scheduling is one approach to extract parallelism which has proved effective when the execution behavior is predictable. Unfortunately, the performance of most priori...
104
click to vote
STOC
1998
ACM
15 years 5 months ago
1998
ACM
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...