3235 search results - page 466 / 647 » Partial Redundant Modeling |
117
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
146
Voted
EDCC
2008
Springer
15 years 5 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
115
click to vote
LREC
2010
15 years 5 months ago
2010
This paper describes a Web service for accessing WordNet-type semantic lexicons. The central idea behind the service design is: given a query, the primary functionality of lexicon...
145
click to vote
NIPS
2008
15 years 5 months ago
2008
Inspired by the hierarchical hidden Markov models (HHMM), we present the hierarchical semi-Markov conditional random field (HSCRF), a generalisation of embedded undirected Markov ...
127
click to vote
OPODIS
2008
15 years 5 months ago
2008
Kleinberg [17] proposed in 2000 the first random graph model achieving to reproduce small world navigability, i.e. the ability to greedily discover polylogarithmic routes between a...