2774 search results - page 230 / 555 » Query-Driven Program Testing |
119
click to vote
AICOM
2006
15 years 3 months ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
133
click to vote
INFORMS
1998
15 years 2 months ago
1998
The problem of discriminating between two nite point sets in n-dimensional feature space by a separating plane that utilizes as few of the features as possible, is formulated as a...
207
click to vote
GIS
2006
ACM
16 years 4 months ago
2006
ACM
We present a novel method for the automatic generalization of land cover maps. A land cover map is composed of areas that collectively form a tessellation of the plane and each ar...
127
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
We present an efficient optimization scheme for gate sizing in the presence of process variations. Using a posynomial delay model, the delay constraints are modified to incorporat...
128
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...