Sciweavers

3333 search results - page 603 / 667
» Abstract Proof Search
Sort
View
144
Voted
CORR
2006
Springer
130views Education» more  CORR 2006»
15 years 4 months ago
Genetic Programming for Kernel-based Learning with Co-evolving Subsets Selection
Abstract. Support Vector Machines (SVMs) are well-established Machine Learning (ML) algorithms. They rely on the fact that i) linear learning can be formalized as a well-posed opti...
Christian Gagné, Marc Schoenauer, Mich&egra...
143
Voted
CORR
2006
Springer
95views Education» more  CORR 2006»
15 years 4 months ago
SAT Solving for Argument Filterings
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoo...
CVIU
2006
317views more  CVIU 2006»
15 years 4 months ago
A general method for human activity recognition in video
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...
Neil Robertson, Ian D. Reid
IJISTA
2008
139views more  IJISTA 2008»
15 years 3 months ago
Spherical light field rendering in application for analysis by synthesis
Abstract: This paper presents a novel approach for object classification and pose estimation which employs spherical light field rendering to generate virtual views based on synthe...
Severin Todt, Matthias Langer, Christof Rezk-Salam...
JCM
2008
57views more  JCM 2008»
15 years 3 months ago
An RF-ID Reader Using SAW Dispersive Delay Lines For Wideband Synchronisation
Abstract-- RF-ID systems are susceptible to frequency interference from other communciation systems particularly when the RF-ID tags transmit on a fixed carrier frequency. The RF-I...
Thomas M. McCoy, Paul V. Brennan, Richard J. Bullo...