1813 search results - page 22 / 363 » Instance Pruning Techniques |
139
click to vote
COLING
2008
15 years 1 months ago
2008
We present an approach to ontology population based on a lexical substitution technique. It consists in estimating the plausibility of sentences where the named entity to be class...
106
click to vote
KDD
2003
ACM
16 years 6 days ago
2003
ACM
Decision tree construction is a well studied problem in data mining. Recently, there has been much interest in mining streaming data. Domingos and Hulten have presented a one-pass...
108
click to vote
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
112
click to vote
MICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
The superblock is a scheduling region which exposes instruction level parallelism beyond the basic block through speculative execution of instructions. In general, scheduling supe...
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...