1902 search results - page 126 / 381 » Differential Dynamic Logics |
211
click to vote
SIAMCOMP
2012
13 years 9 months ago
2012
Let S be a set of n intervals in R, and let (S, +) be any commutative semigroup. We assign a weight ω(s) ∈ S to each interval in S. For a point x ∈ R, let S(x) ⊆ S be the se...
184
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
204
Voted
EUSFLAT
2009
15 years 4 months ago
2009
Classes issued of evolving systems are dynamic and their characteristics vary over the time. Assigning a pattern to a class is achieved using a classifier. Therefore, the classifie...
200
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
183
click to vote
ADC
2004
Springer
15 years 10 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...