5138 search results - page 924 / 1028 » Randomized Algorithms for 3-SAT |
110
Voted
MJ
2007
15 years 1 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
116
click to vote
PAMI
2007
15 years 1 months ago
2007
—Recent developments in statistical theory and associated computational techniques have opened new avenues for image modeling as well as for image segmentation techniques. Thus, ...
116
Voted
PR
2007
15 years 1 months ago
2007
Ensemble learning is attracting much attention from pattern recognition and machine learning domains for good generalization. Both theoretical and experimental researches show tha...
128
click to vote
JUCS
2008
15 years 1 months ago
2008
: Search engines--"web dragons"--are the portals through which we access society's treasure trove of information. They do not publish the algorithms they use to sort...
126
Voted
RSA
2008
15 years 1 months ago
2008
For a graph property P, the edit distance of a graph G from P, denoted EP (G), is the minimum number of edge modifications (additions or deletions) one needs to apply to G in orde...