8025 search results - page 1 / 1605 » Combinators Introduction: An Algorithm |
FLAIRS
2008
13 years 6 months ago
2008
SAT
2010
Springer
13 years 2 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...
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...
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
14 years 1 months ago
2006
IEEE
