2088 search results - page 60 / 418 » The Probabilistic Method |
DAC
1994
ACM
14 years 1 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
JIIS
2002
13 years 9 months ago
2002
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose an algorithm for estimating the common secondary structure, alignment, and posterior base pairing probabilities for two RNA sequences. A definition of structural align...
ICIP
2007
IEEE
14 years 4 months ago
2007
IEEE
Image segmentation is conventionally formulated as a pixellabeling problem, in which “hard” decisions have to be made to partition pixels into regions. As image segmentation i...
PDP
2006
IEEE
14 years 4 months ago
2006
IEEE
Production grids have a potential for parallel execution of a very large number of tasks but also introduce a high overhead that significantly impacts the execution of short task...