Sciweavers

2434 search results - page 325 / 487
» Algorithmic Randomness of Closed Sets
Sort
View
114
Voted
DAC
2002
ACM
16 years 4 months ago
False-path-aware statistical timing analysis and efficient path selection for delay testing and timing validation
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...
Jing-Jia Liou, Angela Krstic, Li-C. Wang, Kwang-Ti...
128
Voted
ICPR
2008
IEEE
15 years 10 months ago
3D face recognition with the average-half-face
We present a promising analysis on using the pattern of symmetry in the face to increase the accuracy of three-dimensional face recognition. We introduce the concept of the ‘ave...
Josh Harguess, Shalini Gupta, Jake K. Aggarwal
110
Voted
COLT
2007
Springer
15 years 10 months ago
Occam's Hammer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
Gilles Blanchard, François Fleuret
136
Voted
CSCLP
2007
Springer
15 years 10 months ago
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
We formulate a problem of goal satisfaction in mutex networks in this paper. The proposed problem is motivated by problems that arise in concurrent planning. For more efficient sol...
Pavel Surynek
143
Voted
FCT
2007
Springer
15 years 9 months ago
The Quantum Query Complexity of Algebraic Properties
We present quantum query complexity bounds for testing algebraic properties. For a set S and a binary operation on S, we consider the decision problem whether S is a semigroup or ...
Sebastian Dörn, Thomas Thierauf