Sciweavers

1516 search results - page 206 / 304
» On the Learnability of Vector Spaces
Sort
View
SAS
2010
Springer
172views Formal Methods» more  SAS 2010»
14 years 8 months ago
Deriving Numerical Abstract Domains via Principal Component Analysis
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
Gianluca Amato, Maurizio Parton, Francesca Scozzar...
ICIP
2010
IEEE
14 years 7 months ago
Robust object detection scheme using feature selection
Feature selection is an important issue for object detection. In this paper, we propose an effective wrapper-based feature selection scheme using Binary Particle Swarm Optimizatio...
Hong Pan, Liang-Zheng Xia, Truong Q. Nguyen
LICS
2010
IEEE
14 years 7 months ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
14 years 7 months ago
Time-varying path following control for port-Hamiltonian systems
This paper is devoted to path following control for port-Hamiltonian systems whose desired path is timevarying. Most of the existing results on path following can only take care of...
Mitsuru Taniguchi, Kenji Fujimoto
ICASSP
2009
IEEE
14 years 7 months ago
Image spam filtering using Fourier-Mellin invariant features
Image spam is a new obfuscating method which spammers invented to more effectively bypass conventional text based spam filters. In this paper, a framework for filtering image spam...
Haiqiang Zuo, Xi Li, Ou Wu, Weiming Hu, Guan Luo