Sciweavers

1411 search results - page 131 / 283
» Interactive Coding for Interactive Proofs
Sort
View
ICIP
2007
IEEE
15 years 11 months ago
Analysis of the Decoding-Complexity of Compressed Image-Based Scene Representations
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
Ingo Bauermann, Eckehard G. Steinbach
ICIP
2003
IEEE
15 years 11 months ago
Object-based video compression scheme with optimal bit allocation among shape, motion and texture
In object-based video, the encoding of the video data is decoupled into the encoding of shape, motion and texture information, which enables certain functionalities like content-b...
Haohong Wang, Guido M. Schuster, Aggelos K. Katsag...
CHI
2007
ACM
15 years 10 months ago
Computer aided observations of complex mobile situations
Designing mobile and wearable applications is a challenge. The context of use is more important than ever and traditional methodologies for elicitation and specification reach the...
Tobias Klug
CHI
2003
ACM
15 years 10 months ago
Where do helpers look?: gaze targets during collaborative physical tasks
This study used eye-tracking technology to assess where helpers look as they are providing assistance to a worker during collaborative physical tasks. Gaze direction was coded int...
Susan R. Fussell, Leslie D. Setlock, Elizabeth M. ...
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 4 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...