Sciweavers

6409 search results - page 705 / 1282
» A Computational Algorithm for Origami Design
Sort
View
135
Voted
CHI
2005
ACM
16 years 6 months ago
Automatic generation of high coverage usability tests
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
Renée C. Bryce
CHI
2003
ACM
16 years 6 months ago
PhotoPhone entertainment
We demonstrate two complementary interaction techniques for electronic large displays that are designed for cameraequipped mobile phones. The first one enables the direct selectio...
Johan Thoresson
ICCAD
2007
IEEE
148views Hardware» more  ICCAD 2007»
16 years 3 months ago
Fast exact Toffoli network synthesis of reversible logic
— The research in the field of reversible logic is motivated by its application in low-power design, optical computing and quantum computing. Hence synthesis of reversible logic...
Robert Wille, Daniel Große
ICCAD
2005
IEEE
160views Hardware» more  ICCAD 2005»
16 years 3 months ago
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
Namrata Shekhar, Priyank Kalla, Florian Enescu, Si...
CVPR
2010
IEEE
16 years 1 months ago
Towards Internet-scale Multi-view Stereo
This paper introduces an approach for enabling existing multi-view stereo methods to operate on extremely large unstructured photo collections. The main idea is to decompose the c...
Yasutaka Furukawa, Steve Seitz, Richard Szeliski