Sciweavers

3994 search results - page 83 / 799
» A Linear Logical Framework
Sort
View
88
Voted
ICPR
2002
IEEE
15 years 5 months ago
Analysis of Error-Reject Trade-off in Linearly Combined Classifiers
In this paper, a framework for the analysis of the error-reject trade-off in linearly combined classifiers is proposed. We start from a framework developed by Tumer and Ghosh [1,2...
Fabio Roli, Giorgio Fumera, Gianni Vernazza
ICEIS
2009
IEEE
15 years 7 months ago
A Logic Programming Framework for Learning by Imitation
Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...
IDEAS
2009
IEEE
108views Database» more  IDEAS 2009»
15 years 7 months ago
A logical framework for detecting anomalies in drug resistance algorithms
Luciano Caroprese, Peter M. A. Sloot, Breannd&aacu...
79
Voted
CONCUR
2009
Springer
15 years 7 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...