4600 search results - page 616 / 920 » Presenting the cyclotactor project |
160
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
User-driven innovation regards users as a resource in the innovation process. Taking prototypes of novel technology as a starting point, a dialogue with users becomes a springboar...
162
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We present the IP Network Design Workbench which supports collaborative network design and simulation by a group of experts and customers. This system is based on a tangible user ...
148
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
167
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
An eddy [2] is a highly adaptive query processing operator that continuously reoptimizes a query in response to changing runtime conditions. It does this by treating query process...
148
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...