1150 search results - page 33 / 230 » Tackling Large State Spaces in Performance Modelling |
251
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Top-k processing in uncertain databases is semantically and computationally different from traditional top-k processing. The interplay between score and uncertainty makes traditio...
135
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
156
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
117
click to vote
AAAI
2007
15 years 6 months ago
2007
Recent work has shown promise in using large, publicly available, hand-contributed commonsense databases as joint models that can be used to infer human state from day-to-day sens...
114
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...