Sciweavers

7264 search results - page 1154 / 1453
» A multiplicative up-propagation algorithm
Sort
View
CAV
2010
Springer
282views Hardware» more  CAV 2010»
15 years 10 months ago
A NuSMV Extension for Graded-CTL Model Checking
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
Alessandro Ferrante, Maurizio Memoli, Margherita N...
SIGCOMM
2010
ACM
15 years 6 months ago
EffiCuts: optimizing packet classification for memory and throughput
Packet Classification is a key functionality provided by modern routers. Previous decision-tree algorithms, HiCuts and HyperCuts, cut the multi-dimensional rule space to separate ...
Balajee Vamanan, Gwendolyn Voskuilen, T. N. Vijayk...
CVPR
2009
IEEE
17 years 1 months ago
Nonparametric Scene Parsing: Label Transfer via Dense Scene Alignment
In this paper we propose a novel nonparametric approach for object recognition and scene parsing using dense scene alignment. Given an input image, we retrieve its best matches ...
Antonio B. Torralba, Ce Liu, Jenny Yuen
CVPR
2009
IEEE
17 years 1 months ago
Recognising Action as Clouds of Space-Time Interest Points
Much of recent action recognition research is based on space-time interest points extracted from video using a Bag of Words (BOW) representation. It mainly relies on the discrimi...
Matteo Bregonzio (Queen Mary, University of London...
410
Voted
CVPR
2009
IEEE
1133views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Hierarchical Spatio-Temporal Context Modeling for Action Recognition
The problem of recognizing actions in realistic videos is challenging yet absorbing owing to its great potentials in many practical applications. Most previous research is limit...
Jintao Li, Ju Sun, Loong Fah Cheong, Shuicheng Yan...
« Prev « First page 1154 / 1453 Last » Next »