1860 search results - page 103 / 372 » A Temporal Logic of Robustness |
126
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
116
Voted
ICCV
2011
IEEE
14 years 19 days ago
2011
IEEE
We use temporally sequenced flash illumination to capture coded exposure images of fast-moving objects in low light environments. These coded flash images allow for accurate est...
121
click to vote
TMM
2010
14 years 7 months ago
2010
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...
100
click to vote
ENTCS
2007
15 years 17 days ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
104
Voted
IGPL
2010
14 years 10 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...