76665 search results - page 15196 / 15333 » A proposed |
240
click to vote
JAIR
2011
15 years 2 months ago
2011
In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build ...
202
click to vote
JCO
2011
15 years 2 months ago
2011
Discrete gate sizing is a critical optimization in VLSI circuit design. Given a set of available gate sizes, discrete gate sizing problem asks to assign a size to each gate such th...
245
click to vote
JCSS
2011
15 years 2 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
202
click to vote
JCST
2011
15 years 2 months ago
2011
Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system. Although many...
186
Voted
JCT
2011
15 years 2 months ago
2011
The standard paradigm for online power of two choices problems in random graphs is the Achlioptas process. Here we consider the following natural generalization: Starting with G0 a...