1860 search results - page 132 / 372 » A Temporal Logic of Robustness |
94
Voted
CSL
1999
Springer
15 years 5 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
94
Voted
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
123
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
86
Voted
ICIP
2000
IEEE
16 years 2 months ago
2000
IEEE
Any real-time interactive video coding algorithm used over the Internet needs to be able to cope with packet loss, since the existing error recovery mechanisms are not suitable fo...
116
Voted
IBPRIA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The challenge of interest point detectors is to find, in an unsupervised way, keypoints easy to extract and at the same time robust to image transformations. In this pap...