7055 search results - page 192 / 1411 » Some New 4-Designs |
148
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
181
click to vote
ADAEUROPE
2000
Springer
15 years 11 months ago
2000
Springer
Component-based software development heavily relies on the ability of reusing components from a library with as little effort as possible. Among others, valuable features for reus...
182
click to vote
CCCG
2010
15 years 8 months ago
2010
The Polar Diagram [1] of a set of points (i.e. sites) is a partition of the plane. It is a locus approach for problems processing angles. Also, Dynamic Polar Diagram problem is a ...
188
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
170
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Visual and auditory forms have some noticeable associations that can inspire similar cognitive and aesthetical experiences. This paper presents a study on the possibilities of app...