6409 search results - page 424 / 1282 » A Computational Algorithm for Origami Design |
185
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
185
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We designed and implemented a vision-based projected tabletop interface for finger interaction. The system offers a simple and quick setup and economic design. The proj...
169
Voted
CONEXT
2006
ACM
16 years 23 days ago
2006
ACM
The deployment of sensor networks in security- and safety-critical environments requires secure communication primitives. In this paper, we design, implement, and evaluate a new s...
167
click to vote
SIGECOM
2005
ACM
16 years 11 days ago
2005
ACM
We study a multi-unit auction with multiple bidders, each of whom has a private valuation and a budget. The truthful mechanisms of such an auction are characterized, in the sense ...
172
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
: Synchronous finite state machines are very important for digital sequential designs. Among other important aspects, they represent a powerful way for synchronizing hardware comp...