2440 search results - page 82 / 488 » Abstraction Learning |
CAV
2012
Springer
12 years 3 days ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Independent subspace analysis (ISA) is a generalization of independent component analysis (ICA), where multidimensional ICA is incorporated with the idea of invariant f...
ICPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—The classification of sequences requires the combination of information from different time points. In this paper the detection of facial expressions is considered. Exp...
ADBIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The performance of an information retrieval system is usually measured in terms of two different criteria, precision and recall. This way, the optimization of any of its...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...