Sciweavers

3994 search results - page 83 / 799
» A Linear Logical Framework
Sort
View
ICPR
2002
IEEE
15 years 9 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
72
Voted
ICEIS
2009
IEEE
15 years 10 months ago
A Logic Programming Framework for Learning by Imitation
Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...
108
Voted
IDEAS
2009
IEEE
108views Database» more  IDEAS 2009»
15 years 10 months ago
A logical framework for detecting anomalies in drug resistance algorithms
Luciano Caroprese, Peter M. A. Sloot, Breannd&aacu...
CONCUR
2009
Springer
15 years 10 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...