1860 search results - page 149 / 372 » A Temporal Logic of Robustness |
104
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
199
click to vote
ICDE
2002
IEEE
16 years 2 months ago
2002
IEEE
We examine the problem of processing temporal joins in the presence of indexing schemes. Previous work on temporal joins has concentrated on non-indexed relations which were fully...
129
click to vote
ISVC
2007
Springer
15 years 7 months ago
2007
Springer
We present a novel boosting algorithm where temporal consistency is addressed in a short-term way. Although temporal correlation of observed data may be an important cue for classi...
95
Voted
ISQED
2005
IEEE
15 years 6 months ago
2005
IEEE
Limited Switch Dynamic Logic (LSDL), a high performance logic circuit, has been modified by introducing a pseudo-nMOS style load. The resultant circuit consumes less power, primar...
95
Voted
ENTCS
2007
15 years 21 days ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...