1283 search results - page 105 / 257 » A Survey on Temporal Logics |
180
click to vote
ENTCS
2007
15 years 6 months 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...
173
click to vote
IGPL
2010
15 years 3 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...
159
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper presents a new approachto recognizingmultiagent events observed by a static camera. To track objects robustly, knowledgeabout the groundplaneand the events is used. An ...
174
click to vote
AIR
2006
15 years 6 months ago
2006
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...
175
click to vote
FUIN
2010
15 years 3 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...