4973 search results - page 214 / 995 » Probabilistic Algorithms in Robotics |
177
click to vote
ICASSP
2008
IEEE
16 years 28 days 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...
168
click to vote
TACAS
2007
Springer
16 years 17 days ago
2007
Springer
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...
149
click to vote
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
Previously-proposed strategies for VLSI fault diagnosis have su ered from a variety of self-imposed limitations. Some techniques are limited to a speci c fault model, and many wil...
180
click to vote
SBRN
1998
IEEE
15 years 10 months ago
1998
IEEE
As the demand for higher performance computers for the processing of remote sensing science algorithms increases, the need to investigate new computing paradigms is justified. Fie...
224
click to vote
DAC
1994
ACM
15 years 10 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...