12774 search results - page 2416 / 2555 » A Framework for Proof Systems |
192
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Learning to rank from relevance judgment is an active research area. Itemwise score regression, pairwise preference satisfaction, and listwise structured learning are the major te...
194
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...
147
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
While most software defects (i.e., bugs) are corrected and tested as part of the lengthy software development cycle, enterprise software vendors often have to release software pro...
187
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
While scalable data mining methods are expected to cope with massive Web data, coping with evolving trends in noisy data in a continuous fashion, and without any unnecessary stopp...
154
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper introduces a new framework for thinking about tangible interfaces in education, with specific focus on problem domains. Manipulatives are physical objects specifically ...