Sciweavers

1887 search results - page 277 / 378
» Automatic Concept Evolution
Sort
View
ATVA
2009
Springer
149views Hardware» more  ATVA 2009»
15 years 7 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
ICRA
2008
IEEE
149views Robotics» more  ICRA 2008»
15 years 7 months ago
Basketball robot: Ball-On-Plate with pure haptic information
— Building a basketball robot is a recently launched project at the Institute of Automatic Control Engineering (LSR) for investigating fast manipulation with non-negligible dynam...
Kwang-Kyu Lee, Georg Batz, Dirk Wollherr
124
Voted
ACCV
2007
Springer
15 years 7 months ago
Kernel Discriminant Analysis Based on Canonical Differences for Face Recognition in Image Sets
A novel kernel discriminant transformation (KDT) algorithm based on the concept of canonical differences is presented for automatic face recognition applications. For each individu...
Wen-Sheng Vincent Chu, Ju-Chin Chen, Jenn-Jier Jam...
80
Voted
ICMCS
2006
IEEE
94views Multimedia» more  ICMCS 2006»
15 years 6 months ago
Semantic Labeling of Multimedia Content Clusters
In this paper we present a novel approach for labeling clusters of multimedia content that leverages supervised classification techniques in conjunction with unsupervised cluster...
Jelena Tesic, John R. Smith
110
Voted
ICLP
2005
Springer
15 years 6 months ago
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
Manh Thang Nguyen, Danny De Schreye