1860 search results - page 153 / 372 » A Temporal Logic of Robustness |
92
Voted
ICTAC
2007
Springer
15 years 7 months ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
108
click to vote
ENTCS
2002
15 years 17 days ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
129
Voted
IJCAI
2001
15 years 2 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
121
Voted
ARTMED
2006
15 years 25 days ago
2006
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
105
Voted
ICIP
1994
IEEE
16 years 2 months ago
1994
IEEE
Motion information is essential in many computer vision and video analysis tasks. Since MPEG is still one of the most prevalent formats for representing, transferring and storing ...