Sciweavers

2869 search results - page 196 / 574
» Metropolis-Hastings algorithms with adaptive proposals
Sort
View
ATVA
2011
Springer
295views Hardware» more  ATVA 2011»
14 years 6 months ago
Parallel Nested Depth-First Searches for LTL Model Checking
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
Sami Evangelista, Laure Petrucci, Samir Youcef
ACCV
2010
Springer
15 years 1 months ago
A Heuristic Deformable Pedestrian Detection Method
Pedestrian detection is an important application in computer vision. Currently, most pedestrian detection methods focus on learning one or multiple fixed models. These algorithms r...
Yongzhen Huang, Kaiqi Huang, Tieniu Tan
148
Voted
ISCAS
2003
IEEE
103views Hardware» more  ISCAS 2003»
15 years 12 months ago
Low delay rate-control in video transcoding
In order to obtain optimal visual quality while meeting the bit rate requirements, a video transcoder needs efficient rate-control with fine and dynamic adjustments. This paper pr...
Yu Sun, Xiaohui Wei, Ishfaq Ahmad
GECCO
2006
Springer
156views Optimization» more  GECCO 2006»
15 years 10 months ago
A computational efficient covariance matrix update and a (1+1)-CMA for evolution strategies
First, the covariance matrix adaptation (CMA) with rankone update is introduced into the (1+1)-evolution strategy. An improved implementation of the 1/5-th success rule is propose...
Christian Igel, Thorsten Suttorp, Nikolaus Hansen
WWW
2003
ACM
16 years 7 months ago
Web Sessions Clustering with Artificial Ants Colonies
In this paper, we apply AntClust, an ant based clustering algorithm, to the Web usage-mining problem. We define a Web session as a weighted multi-modal vector and we propose an ad...
Gilles Venturini, Nicolas Labroche, Nicolas Monmar...