2844 search results - page 406 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
126
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
159
click to vote
LREC
2010
15 years 7 months ago
2010
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...
155
click to vote
LREC
2008
15 years 7 months ago
2008
Automatic Term recognition (ATR) is a fundamental processing step preceding more complex tasks such as semantic search and ontology learning. From a large number of methodologies ...
197
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The accuracy of protein secondary structure prediction has steadily improved over the past 30 years. Now many secondary structure prediction methods routinely achieve ...
164
click to vote
KAIS
2008
15 years 6 months ago
2008
Multirelational classification aims at discovering useful patterns across multiple inter-connected tables (relations) in a relational database. Many traditional learning techniques...