293 search results - page 46 / 59 » Advances in Probabilistic Model Checking |
162
click to vote
JUCS
2010
14 years 6 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
111
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
104
click to vote
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
118
click to vote
SIGSOFT
2003
ACM
16 years 14 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
157
click to vote
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...