5055 search results - page 269 / 1011 » Relative Timing |
200
click to vote
QEST
2007
IEEE
16 years 1 months 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...
216
click to vote
APLAS
2005
ACM
16 years 17 days ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
208
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Survival time is an important clinical trait for many disease studies. Previous works have shown certain relationship between patients' gene expression profiles a...
163
click to vote
DC
2010
15 years 7 months ago
2010
We present efficient algorithms for computing very sparse low distortion spanners in distributed networks and prove some non-trivial lower bounds on the tradeoff between time, spar...
177
click to vote
ACII
2007
Springer
16 years 1 months ago
2007
Springer
We analyze the antecedents of affective states in a simulation problem-solving environment, The Incredible Machine: Even More Contraptions, through quantitative field observations ...