Sciweavers

4324 search results - page 100 / 865
» A Generalized Representer Theorem
Sort
View
ALT
2009
Springer
16 years 1 months ago
Canonical Horn Representations and Query Learning
Abstract. We describe an alternative construction of an existing canonical representation for definite Horn theories, the Guigues-Duquenne basis (or GD basis), which minimizes a n...
Marta Arias, José L. Balcázar
ESORICS
2002
Springer
16 years 3 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
IFIP
2004
Springer
15 years 9 months ago
Asymptotic Behaviors of Type-2 Algorithms and Induced Baire Topologies
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
Chung-Chih Li
CVPR
2005
IEEE
16 years 6 months ago
Representational Oriented Component Analysis (ROCA) for Face Recognition with One Sample Image per Training Class
Subspace methods such as PCA, LDA, ICA have become a standard tool to perform visual learning and recognition. In this paper we propose Representational Oriented Component Analysi...
Fernando De la Torre, Ralph Gross, Simon Baker, B....
WSCG
2004
239views more  WSCG 2004»
15 years 5 months ago
General n-Dimensional Rotations
This paper presents a generalized approach for performing general rotations in the n-Dimensional Euclidean space around any arbitrary (n-2)-Dimensional subspace. It first shows th...
Antonio Aguilera, Ricardo Pérez-Aguila