4930 search results - page 30 / 986 » Learning minimal abstractions |
VTS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Numerous machine-learning-based test methodologies have been proposed in recent years as a fast alternative to the standard functional testing of mixed-signal/RF integr...
93
Voted
ICML
2010
IEEE
15 years 1 months ago
2010
IEEE
A new procedure for learning cost-sensitive SVM classifiers is proposed. The SVM hinge loss is extended to the cost sensitive setting, and the cost-sensitive SVM is derived as the...
103
Voted
AE
2007
Springer
15 years 6 months ago
2007
Springer
A simple mechanism is presented for the emergence of recognition patterns that are used by individuals to find each other and mate. The genetic component determines the brain of an...
99
Voted
ECML
2007
Springer
15 years 6 months ago
2007
Springer
Conventional classification learning allows a classifier to make a one shot decision in order to identify the correct label. However, in many practical applications, the problem ...
78
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr