245 search results - page 12 / 49 » On the Average-Case Complexity of Property Testing |
85
Voted
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract-- Complexity modeling of spatial-temporal compensations in H.264/AVC decoding is performed by examining a rich set of inter- and intra-prediction modes. Specifically, we s...
101
click to vote
ICALP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...
97
Voted
WSCG
2004
15 years 1 months ago
2004
One of the most important problems to solve in Solid Modeling is computing boolean operations for solids (union, intersection and difference). In this paper we present a method to...
210
click to vote
NA
2011
14 years 6 months ago
2011
We propose a preconditioned variant of the modified HSS (MHSS) iteration method for solving a class of complex symmetric systems of linear equations. Under suitable conditions, w...
97
Voted
FATES
2003
Springer
15 years 4 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...