Sciweavers

3130 search results - page 348 / 626
» Design Correctness of Digital Systems
Sort
View
MM
2010
ACM
221views Multimedia» more  MM 2010»
15 years 6 months ago
Building book inventories using smartphones
Manual generation of a book inventory is time-consuming and tedious, while deployment of barcode and radio-frequency identification (RFID) management systems is costly and afforda...
David M. Chen, Sam S. Tsai, Bernd Girod, Cheng-Hsi...
3DPVT
2006
IEEE
192views Visualization» more  3DPVT 2006»
16 years 23 days ago
Spherical Catadioptric Arrays: Construction, Multi-View Geometry, and Calibration
This paper introduces a novel imaging system composed of an array of spherical mirrors and a single highresolution digital camera. We describe the mechanical design and constructi...
Douglas Lanman, Daniel E. Crispell, Megan Wachs, G...
DAC
2002
ACM
16 years 7 months ago
Watermarking integer linear programming solutions
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
Seapahn Megerian, Milenko Drinic, Miodrag Potkonja...
WWW
2004
ACM
16 years 7 months ago
Event synchronization for interactive cyberdrama generation on the web: a distributed approach
The digital generation of a story in which users have influence over the narrative is emerging as an exciting example of computer-based interactive entertainment. Interactive stor...
Stefano Ferretti, Marco Roccetti
CHI
2004
ACM
16 years 7 months ago
Improving speech playback using time-compression and speech recognition
Despite the ready availability of digital recording technology and the continually decreasing cost of digital storage, browsing audio recordings remains a tedious task. This paper...
Sunil Vemuri, Philip DeCamp, Walter Bender, Chris ...