1940 search results - page 72 / 388 » Graph Transformation with Variables |
122
click to vote
AAAI
2007
15 years 5 months ago
2007
Since Bayesian network (BN) was introduced in the field of artificial intelligence in 1980s, a number of inference algorithms have been developed for probabilistic reasoning. Ho...
130
click to vote
TASLP
2008
15 years 3 months ago
2008
The new model reduces the impact of local spectral and temporal variability by estimating a finite set of spectral and temporal warping factors which are applied to speech at the f...
156
click to vote
CPC
2011
14 years 10 months ago
2011
Let X be the random variable that counts the number of triangles in the binomial random graph G(n, p). We show that for some positive constant c, the probability that X deviates f...
116
click to vote
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
Efficient partitioning of parallel loops plays a critical role in high performance and efficient use of multiprocessor systems. Although a significant amount of work has been don...
109
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...