Sciweavers

2032 search results - page 139 / 407
» Encodings of the Sequence Constraint
Sort
View
ICIP
2005
IEEE
16 years 1 days ago
Sequence-level models for distortion-rate behaviour of compressed video
In this paper, two empirical models for the sequence-level distortion-rate performance of predictive video source encoding are proposed. They require very limited amount of empiri...
Ruly Lai-U Choi, Michel T. Ivrlac, Eckehard G. Ste...
IFIP
2004
Springer
15 years 11 months ago
Ensuring Termination by Typability
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
Yuxin Deng, Davide Sangiorgi
BMVC
2000
15 years 7 months ago
A Hierarchical Model of Dynamics for Tracking People with a Single Video Camera
We propose a novel hierarchical model of human dynamics for view independent tracking of the human body in monocular video sequences. The model is trained using real data from a c...
I. A. Karaulova, Peter M. Hall, A. David Marshall
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 6 months ago
Reducing Tile Complexity for Self-Assembly Through Temperature Programming
We consider the tile self-assembly model and how tile complexity can be eliminated by permitting the temperature of the self-assembly system to be adjusted throughout the assembly...
Ming-Yang Kao, Robert T. Schweller
ICIP
2005
IEEE
16 years 8 months ago
Video summarization for multiple path communication
For video communications over wireless ad hoc networks, multiple paths with limited bandwidth are common. It therefore presents new challenges to the video encoding. In this paper...
Zhu Li, Guido M. Schuster, Aggelos K. Katsaggelos