3047 search results - page 212 / 610 » A Temporal Consensus Model |
145
click to vote
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
179
Voted
RTSS
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
133
click to vote
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
142
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper describes a method for separating moving objects from temporally varying background in time-lapse confocal microscopy image sequences representing fluorescently tagged ...
152
click to vote
SEFM
2009
IEEE
16 years 10 days ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...