Sciweavers

2266 search results - page 63 / 454
» Generalizing parametric timing analysis
Sort
View
GLOBECOM
2006
IEEE
15 years 10 months ago
Optimal Routing in the Worst-Case-Error Metric
— This paper considers the problem of finding the path with minimum (zero) worst possible number of errors in a network with V nodes where (1) some nodes are capable of correcti...
Edwin Soedarmadji
COMPGEOM
1998
ACM
15 years 8 months ago
Geometric Applications of a Randomized Optimization Technique
Abstract. We propose a simple, general, randomized technique to reduce certain geometric optimization problems to their corresponding decision problems. These reductions increase t...
Timothy M. Chan
DAC
2004
ACM
16 years 5 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
ISMIR
2004
Springer
236views Music» more  ISMIR 2004»
15 years 9 months ago
Rhythm and Tempo Recognition of Music Performance from a Probabilistic Approach
This paper concerns both rhythm recognition and tempo analysis of expressive music performance based on a probabilistic approach. In rhythm recognition, the modern continuous spee...
Haruto Takeda, Takuya Nishimoto, Shigeki Sagayama
CVPR
2007
IEEE
16 years 6 months ago
Statistical Shape Analysis of Multi-Object Complexes
An important goal of statistical shape analysis is the discrimination between populations of objects, exploring group differences in morphology not explained by standard volumetri...
Kevin Gorczowski, Martin Styner, Ja-Yeon Jeong, J....