Sciweavers

3068 search results - page 286 / 614
» Separation Results on the
Sort
View
CVPR
2010
IEEE
16 years 2 months ago
Multi-View Object Class Detection With a 3D Geometric Model
This paper presents a new approach for multi-view object class detection. Appearance and geometry are treated as separate learning tasks with different training data. Our approach...
Joerg Liebelt, Cordelia Schmid
CEC
2009
IEEE
16 years 1 months ago
An adaptive learning particle swarm optimizer for function optimization
— Traditional particle swarm optimization (PSO) suffers from the premature convergence problem, which usually results in PSO being trapped in local optima. This paper presents an...
Changhe Li, Shengxiang Yang
ICDAR
2009
IEEE
16 years 1 months ago
Writer Adaptation for Online Handwriting Recognition System Using Virtual Examples
For an online handwriting recognition system equipped with a writer-independent classifier to progressively improve the recognition performance for a specific writer with an incre...
Hidetoshi Miyao, Minoru Maruyama
ATVA
2009
Springer
149views Hardware» more  ATVA 2009»
16 years 1 months ago
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
Jens Oehlerking, Oliver E. Theel
CONCUR
2009
Springer
16 years 1 months ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield