3395 search results - page 488 / 679 » Learning to efficiently rank |
139
click to vote
DATE
2007
IEEE
16 years 5 days ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
163
click to vote
PAKDD
2000
ACM
15 years 9 months ago
2000
ACM
The objective of data reduction is to obtain a compact representation of a large data set to facilitate repeated use of non-redundant information with complex and slow learning alg...
190
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
With the development of highly efficient graph data collection technology in many application fields, classification of graph data emerges as an important topic in the data mining...
198
click to vote
IJCV
2008
15 years 5 months ago
2008
This paper describes two algorithms for the real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/contr...
160
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
We study the simultaneous message passing model of communication complexity. Building on the quantum fingerprinting protocol of Buhrman et al., Yao recently showed that a large cl...