Sciweavers

1156 search results - page 189 / 232
» Compositional Methods for Information-Hiding
Sort
View
MM
2006
ACM
166views Multimedia» more  MM 2006»
14 years 1 months ago
Video retargeting: automating pan and scan
When a video is displayed on a smaller display than originally intended, some of the information in the video is necessarily lost. In this paper, we introduce Video Retargeting th...
Feng Liu, Michael Gleicher
ICCV
2005
IEEE
14 years 1 months ago
Uncalibrated Perspective Reconstruction of Deformable Structures
Reconstruction of 3D structures from uncalibrated image sequences has a wealthy history. Most work has been focused on rigid objects or static scenes. This paper studies the probl...
Jing Xiao, Takeo Kanade
ISORC
2005
IEEE
14 years 1 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
GRID
2005
Springer
14 years 1 months ago
ASKALON: a Grid application development and computing environment
— We present the ASKALON environment whose goal is to simplify the development and execution of workflow applications on the Grid. ASKALON is centered around a set of high-level...
Thomas Fahringer, Radu Prodan, Rubing Duan, France...
NIME
2005
Springer
132views Music» more  NIME 2005»
14 years 1 months ago
"iltur" - Connecting Novices and Experts Through Collaborative Improvisation
The iltur system features a novel method of interaction between expert and novice musicians through a set of musical controllers called Beatbugs. Beatbug players can record live m...
Gil Weinberg, Scott Driscoll