4745 search results - page 206 / 949 » Discretization: An Enabling Technique |
193
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
We present an image guided pen-based suggestive interface for sketching 3D wireframe models. Rather than starting from a blank canvas, existing 2D images of similar objects serve ...
162
click to vote
SAT
2005
Springer
16 years 4 hour ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
151
click to vote
INFOVIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Graph and tree visualization techniques enable interactive exploration of complex relations while communicating topology. However, most existing techniques have not been designed ...
152
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...
163
click to vote
ICRA
2008
IEEE
16 years 29 days ago
2008
IEEE
—The aim of this paper is to enable a programmer to easily employ external sensors for flexible robot manipulation. We describe a general approach to determine the relation betwe...