Sciweavers

6358 search results - page 984 / 1272
» Computing spectral sequences
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 25 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
CIVR
2007
Springer
227views Image Analysis» more  CIVR 2007»
16 years 25 days ago
Video parsing based on head tracking and face recognition
In this paper, we describe a fully automatic video retrieval prototype system that uses an image or a video sequence of an interested identity as probe. The system is based on fac...
Pengxu Li, Haizhou Ai, Yuan Li, Chang Huang
HUMO
2007
Springer
16 years 25 days ago
Multi Person Tracking Within Crowded Scenes
This paper presents a solution to the problem of tracking people within crowded scenes. The aim is to maintain individual object identity through a crowded scene which contains com...
Andrew Gilbert, Richard Bowden
HUMO
2007
Springer
16 years 25 days ago
Human Action Recognition Using Distribution of Oriented Rectangular Patches
We describe a “bag-of-rectangles” method for representing and recognizing human actions in videos. In this method, each human pose in an action sequence is represented by orien...
Nazli Ikizler, Pinar Duygulu
PREMI
2007
Springer
16 years 24 days ago
An Adaptive Bayesian Technique for Tracking Multiple Objects
Abstract. Robust tracking of objects in video is a key challenge in computer vision with applications in automated surveillance, video indexing, human-computer-interaction, gesture...
Pankaj Kumar, Michael J. Brooks, Anton van den Hen...