Sciweavers

2 search results - page 1 / 1
» Separating Precision and Mean in Dirichlet-Enhanced High-Ord...
Sort
View
ECML
2007
Springer
13 years 10 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
14 years 5 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 ...