67 search results - page 13 / 14 » Two Techniques for Improvement the Speedup of Nautilus DSM |
DAC
2002
ACM
16 years 19 days ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
125
Voted
ICPP
2000
IEEE
15 years 4 months ago
2000
IEEE
Clustering is a data mining problem which finds dense regions in a sparse multi-dimensional data set. The attribute values and ranges of these regions characterize the clusters. ...
ECCV
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. The estimation of the epipolar geometry is especially difficult where the putative correspondences include a low percentage of inlier correspondences and/or a large subse...
212
click to vote
ICFP
2009
ACM
16 years 9 days ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
ISCA
2010
IEEE
15 years 4 months ago
2010
IEEE
Recent advances in computing have led to an explosion in the amount of data being generated. Processing the ever-growing data in a timely manner has made throughput computing an i...