1368 search results - page 250 / 274 » Logical Hidden Markov Models |
131
Voted
PAPM
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
127
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
133
click to vote
TCAD
1998
15 years 1 months ago
1998
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...
124
Voted
BMCBI
2004
15 years 1 months ago
2004
Background: Profile Hidden Markov Models (pHMMs) are a widely used tool for protein family research. Up to now, however, there exists no method to visualize all of their central a...
139
click to vote
ISI
2008
Springer
15 years 1 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...