6020 search results - page 1080 / 1204 » A New Approach to Model Counting |
186
click to vote
EWCBR
2006
Springer
15 years 9 months ago
2006
Springer
The success of a company more and more depends on its ability to flexibly and quickly react to changes. Combining process management techniques and conversational case-based reason...
150
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
166
click to vote
GCB
2006
Springer
15 years 9 months ago
2006
Springer
Abstract: The production of commercial DNA microarrays is based on a light-directed chemical synthesis driven by a set of masks or micromirror arrays. Because of the natural proper...
153
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
This paper introduces a novel analogy with the way in which honeybee colonies operate in order to solve the problem of sparse and quasi dense reconstruction. To successfully solve...
146
Voted
ALT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...