Sciweavers

3381 search results - page 160 / 677
» Extending Dependencies with Conditions
Sort
View
ICIP
2003
IEEE
16 years 8 months ago
Multiple description coding for Internet video streaming
We present a system for video streaming well adapted to the unpredictable and varying nature of Internet. The proposed system uses a superposition of several Multiple Description ...
Manuela Pereira, Marc Antonini, Michel Barlaud
ICIP
2000
IEEE
16 years 8 months ago
Hierarchical Image Probability (HIP) Models
We formulate a model for probability distributions on image spaces. We show that any distribution of images can be factored exactly into conditional distributions of feature vecto...
Clay Spence, Lucas C. Parra, Paul Sajda
ALT
2009
Springer
16 years 3 months ago
Uncountable Automatic Classes and Learning
In this paper we consider uncountable classes recognizable by ω-automata and investigate suitable learning paradigms for them. In particular, the counterparts of explanatory, vac...
Sanjay Jain, Qinglong Luo, Pavel Semukhin, Frank S...
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
16 years 23 days ago
Distributed Watchpoints: Debugging Large Multi-Robot Systems
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
Michael DeRosa, Jason Campbell, Padmanabhan Pillai...
BIRTHDAY
2003
Springer
15 years 11 months ago
Fair Equivalence Relations
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi