1860 search results - page 112 / 372 » A Temporal Logic of Robustness |
108
click to vote
TIME
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
97
Voted
MVA
2008
15 years 3 days ago
2008
This paper describes a new method for temporally calibrating multiple cameras by image processing operations. Existing multi-camera algorithms assume that the input sequences are ...
102
Voted
TIME
2007
IEEE
15 years 7 months ago
2007
IEEE
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
78
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper presents a block-selection-based video watermarking scheme that is designed to be resilient against two dangerous attacks: cumulative attack and temporal attack. We ...