Sciweavers

10916 search results - page 256 / 2184
» On Constructive Connectives and Systems
Sort
View
ICMCS
2010
IEEE
186views Multimedia» more  ICMCS 2010»
15 years 7 months ago
Worthy visual content on mobile through interactive video streaming
This paper builds on an interactive streaming architecture that supports both user feedback interpretation, and temporal juxtaposition of multiple video bitstreams in a single str...
Ivan Alen Fernandez, Christophe De Vleeschouwer, F...
JFR
2007
131views more  JFR 2007»
15 years 6 months ago
Adaptive teams of autonomous aerial and ground robots for situational awareness
In this paper, we report on the integration challenges of the various component technologies developed towards the establishment of a framework for deploying an adaptive system of...
M. Ani Hsieh, Anthony Cowley, James F. Keller, Lui...
VLSISP
1998
161views more  VLSISP 1998»
15 years 6 months ago
Automatic Recognition of Human Walking in Monocular Image Sequences
Abstract. In numerous content-based video applications, it is important to extract from a video sequence a representation for humans in motion. This task is di cult, because humans...
Jia-Ching Cheng, José M. F. Moura
TASLP
2010
99views more  TASLP 2010»
15 years 5 months ago
A Virtual Model of Spring Reverberation
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
Stefan Bilbao, Julian Parker
CPAIOR
2010
Springer
15 years 4 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey