2468 search results - page 26 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
104
click to vote
IJCNLP
2005
Springer
15 years 8 months ago
2005
Springer
Recent work on Conditional Random Fields (CRFs) has demonstrated the need for regularisation when applying these models to real-world NLP data sets. Conventional approaches to regu...
113
click to vote
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
111
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
119
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
150
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...