Sciweavers

2 search results - page 1 / 1
» Separating Precision and Mean in Dirichlet-Enhanced High-Ord...
Sort
View
ECML
2007
Springer
15 years 3 months ago
Separating Precision and Mean in Dirichlet-Enhanced High-Order Markov Models
Abstract. Robustly estimating the state-transition probabilities of highorder Markov processes is an essential task in many applications such as natural language modeling or protei...
Rikiya Takahashi
SIGSOFT
2007
ACM
15 years 10 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...