8025 search results - page 1 / 1605 » Combinators Introduction: An Algorithm |
50
Voted
FLAIRS
2008
14 years 12 months ago
2008
SAT
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
145
Voted
Book
"Pattern recognition techniques are concerned with the theory and algorithms of putting abstract objects, e.g., measurements made on physical objects, into categories. Typical...
216
click to vote
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...
ICCD
2006
IEEE
15 years 6 months ago
2006
IEEE
