Sciweavers

343 search results - page 49 / 69
» Multiobjective Optimization of Temporal Processes
Sort
View
CVPR
2009
IEEE
16 years 9 months ago
Recognition of Repetitive Sequential Human Activity
We present a novel framework for recognizing repetitive sequential events performed by human actors with strong temporal dependencies and potential parallel overlap. Our solutio...
Akira Yanagawa, Arun Hampapur, Quanfu Fan, Russell...
ICCD
2006
IEEE
118views Hardware» more  ICCD 2006»
15 years 11 months ago
A System-level Network-on-Chip Simulation Framework Integrated with Low-level Analytical Models
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
Jinwen Xi, Peixin Zhong
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 9 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
125
Voted

Publication
468views
14 years 10 months ago
Visual object tracking via sample-based Adaptive Sparse Representation (AdaSR)
When appearance variation of object and its background, partial occlusion or deterioration in object images occurs, most existing visual tracking methods tend to fail in tracking ...
Zhenjun Han, Jianbin Jiao, Baochang Zhang, Qixiang...
WAA
2001
Springer
15 years 6 months ago
Wavelet-Based Video Compression Using Long-Term Memory Motion-Compensated Prediction and Context-Based Adaptive Arithmetic Codin
In this paper, we present a novel design of a wavelet-based video coding algorithm within a conventional hybrid framework of temporal motion-compensated prediction and transform co...
Detlev Marpe, Thomas Wiegand, Hans L. Cycon