4266 search results - page 419 / 854 » The container loading problem |
175
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper introduces a foundation for inductive learning based on the use of higher-order logic for knowledge representation. In particular, the paper (i) provides a systematic i...
149
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
The documentation of API functions typically conveys detailed specifications for the benefit of interested readers. In some cases, however, it also contains usage directives, such...
173
Voted
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Microcalcification (MC) clusters in mammograms can be an indicator of breast cancer. In this work we propose for the first time the use of support vector machine (SVM) learning fo...
173
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Collaborative Tagging is a powerful method to create folksonomies that can be used to grasp/filter user preferences or enhance web search. Recent research has shown that depending...
175
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Hypothesis generation is a crucial initial step for making scientific discoveries. This paper addresses the problem of automatically discovering interesting hypotheses from the we...