518 search results - page 54 / 104 » Time Window Temporal Logic |
103
Voted
DKE
2007
14 years 11 months ago
2007
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting seque...
103
click to vote
FUIN
2007
14 years 11 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
101
click to vote
ECAI
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
JCNS
2000
14 years 11 months ago
2000
Abstract. The electrosensory lateral line lobe (ELL) of mormyridelectric sh is a cerebellum-likestructure that receives primarya erent input from electroreceptors in the skin. Purk...
97
Voted
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...