3333 search results - page 333 / 667 » Abstract Proof Search |
139
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In their search through a huge space of possible hypotheses, rule induction algorithms compare estimations of qualities of a large number of rules to find the one that ap...
177
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The NSDL (National Science Digital Library) is funded by the National Science Foundation to advance science and math education. The initial product was a metadata-based d...
186
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We provide the unified methodology for searching for approximate decision reducts based on rough membership distributions. Presented study generalizes well known relation...
158
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
163
Voted
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We investigate the influence of term selection and query operations on the text retrieval component of video search. Our main finding is that the greatest gain is to be...