Sciweavers

6575 search results - page 986 / 1315
» Specializing visualization algorithms
Sort
View
122
Voted
ICRA
1999
IEEE
97views Robotics» more  ICRA 1999»
15 years 7 months ago
Clustering of Qualitative Contact States for a Transmission Assembly
Current manufacturing methods for robotic-controlled assembly rely on accurate positioning to ensure task completion, often through the use of special xtures and precise calibrati...
Marjorie Skubic, Benjamin Forrester, Brent Nowak
COMPULOG
1999
Springer
15 years 7 months ago
Decomposable Constraints
Many constraint satisfaction problems can be naturally and efficiently modelled using non-binary constraints like the “all-different” and “global cardinality” constraints...
Ian P. Gent, Kostas Stergiou, Toby Walsh
124
Voted
KBSE
1999
IEEE
15 years 7 months ago
An Integration of Deductive Retrieval into Deductive Synthesis
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
Bernd Fischer 0002, Jon Whittle
FPL
1999
Springer
95views Hardware» more  FPL 1999»
15 years 7 months ago
FPGA Viruses
Programmable logic is widely used, for applications ranging from eld-upgradable subsystems to advanced uses such as recon gurable computing platforms which are modi able at run-tim...
Ilija Hadzic, Sanjay Udani, Jonathan M. Smith
142
Voted
VR
1999
IEEE
151views Virtual Reality» more  VR 1999»
15 years 7 months ago
A Framework for Fast and Accurate Collision Detection for Haptic Interaction
We present a framework for fast and accurate collision detection for haptic interaction with polygonal models. Given a model, we pre-compute a hybrid hierarchical representation, ...
Arthur D. Gregory, Ming C. Lin, Stefan Gottschalk,...