2530 search results - page 156 / 506 » Dynamic topological logic |
130
click to vote
FLAIRS
2007
15 years 6 months ago
2007
We describe an architecture for representing and managing context shifts that supports dynamic data interpretation. This architecture utilizes two layers of learning and three lay...
159
click to vote
SIAMCOMP
2012
13 years 6 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...
137
Voted
HYBRID
2010
Springer
15 years 10 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...
121
Voted
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
142
click to vote
EUSFLAT
2009
15 years 1 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...