11112 search results - page 1998 / 2223 » Computing Stuttering Simulations |
178
click to vote
QEST
2007
IEEE
16 years 21 days ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
213
click to vote
AB
2007
Springer
16 years 19 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
302
click to vote
AIHC
2007
Springer
16 years 19 days ago
2007
Springer
Affective and human-centered computing have attracted a lot of attention during the past years, mainly due to the abundance of devices and environments able to exploit multimodal i...
155
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
172
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
We present a biology-inspired probabilistic graphical model, called the hypernetwork model, and its application to medical diagnosis of disease. The hypernetwork models are a way ...