780 search results - page 91 / 156 » Reasoning about sets using redescription mining |
AUSAI
2003
Springer
15 years 6 months ago
2003
Springer
An important task in machine learning is determining which learning algorithm works best for a given data set. When the amount of data is small the same data needs to be used repea...
136
Voted
ICFP
2004
ACM
16 years 19 days ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
101
click to vote
TREC
2007
15 years 1 months ago
2007
In TREC Genomics a question/answering task has been proposed. A set of questions with a specific entity of interest is proposed and a set of passages from a collection of full te...
114
Voted
ALMOB
2008
15 years 25 days ago
2008
Background: One of the goals of global metabolomic analysis is to identify metabolic markers that are hidden within a large background of data originating from high-throughput ana...
93
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...