Search Sciweavers | Sciweavers

3994 search results - page 83 / 799

» A Linear Logical Framework

138

click to vote

ICPR
2002
IEEE

127views computer vision» more ICPR 2002»

Analysis of Error-Reject Trade-off in Linearly Combined Classifiers

15 years 10 months ago

Download prag.diee.unica.it

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

claim paper

Read More »

click to vote

ICEIS
2009
IEEE

90views Information Technology» more ICEIS 2009»

A Logic Programming Framework for Learning by Imitation

16 years 12 days ago

Download www.di.uniba.it

Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...

claim paper

Read More »

125

click to vote

IDEAS
2009
IEEE

108views Database» more IDEAS 2009»

A logical framework for detecting anomalies in drug resistance algorithms

16 years 12 days ago

Download www.science.uva.nl

Luciano Caroprese, Peter M. A. Sloot, Breannd&aacu...

claim paper

Read More »

126

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

16 years 10 days ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

150

click to vote

ICEIS
2008
IEEE

110views Information Technology» more ICEIS 2008»

Flexibility, Completeness and Soundness of User Interfaces - Towards a Framework for Logical Examination of Usability Design Pri

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers