204 search results - page 18 / 41 » Parameterizations of Test Cover with Bounded Test Sizes |
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
The growing impact of within-die process variation has created the need for statistical timing analysis, where gate delays are modeled as random variables. Statistical timing anal...
122
click to vote
STOC
2010
ACM
15 years 2 months ago
2010
ACM
Consider the following two-player communication process to decide a language L: The first player holds the entire input x but is polynomially bounded; the second player is computa...
RECOMB
2005
Springer
15 years 11 months ago
2005
Springer
Recombination is an important evolutionary mechanism responsible for the genetic diversity in humans and other organisms. Recently, there has been extensive research on understandi...
ICDT
2003
ACM
15 years 3 months ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
103
click to vote
IGARSS
2010
14 years 8 months ago
2010
The segmentation stage is a key aspect of an object-based image analysis system. However, the segmentation quality is usually difficult to evaluate for satellite images. The Synth...