430 search results - page 39 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
ICCAD
2006
IEEE
15 years 7 months ago
2006
IEEE
Most existing buffering algorithms neglect the impact of inductance on circuit performance, which causes large error in circuit analysis and optimization. Even for the approaches...
IDEAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a tool for web usage mining. The aim is centered on providing a tool that facilitates the mining process rather than implement elaborated algorithms and techniq...
117
click to vote
FLAIRS
2004
15 years 1 days ago
2004
Most decision tree induction methods used for extracting knowledge in classification problems are unable to deal with uncertainties embedded within the data, associated with human...
CP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or duri...
CIKM
2006
Springer
15 years 2 months ago
2006
Springer
Monitoring systems today often involve continuous queries over streaming data, in a distributed collaborative system. The distribution of query operators over a network of process...