Sciweavers

5634 search results - page 82 / 1127
» About Abstract Classes
Sort
View
ACS
2008
14 years 11 months ago
On Minimal Coalgebras
Abstract. We define an out-degree for F-coalgebras and show that the coalgebras of outdegree at most form a covariety. As a subcategory of all Fcoalgebras, this class has a termin...
H. Peter Gumm
CORR
2006
Springer
99views Education» more  CORR 2006»
14 years 11 months ago
PAC Learning Mixtures of Axis-Aligned Gaussians with No Separation Assumption
Abstract. We propose and analyze a new vantage point for the learning of mixtures of Gaussians: namely, the PAC-style model of learning probability distributions introduced by Kear...
Jon Feldman, Ryan O'Donnell, Rocco A. Servedio
TCS
2008
14 years 11 months ago
Verification of qualitative Z constraints
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
Stéphane Demri, Régis Gascon
ECCV
2006
Springer
16 years 27 days ago
Learning to Detect Objects of Many Classes Using Binary Classifiers
Viola and Jones [VJ] demonstrate that cascade classification methods can successfully detect objects belonging to a single class, such as faces. Detecting and identifying objects t...
Ramana Isukapalli, Ahmed M. Elgammal, Russell Grei...
ECOOP
2007
Springer
15 years 2 months ago
Synchronizing Refactored UML Class Diagrams and OCL Constraints
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
Slavisa Markovic, Thomas Baar