1005 search results - page 96 / 201 » Temporal Structures |
93
Voted
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
Major media companies such as The Financial Times, the Wall Street Journal or Reuters generate huge amounts of textual news data on a daily basis. Mining frequent patterns in this...
97
Voted
ICIAP
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we explore the interlink between temporally dense view-based object recognition and sparse image representations with local keypoints. The temporal component is an a...
107
click to vote
PODC
1990
ACM
15 years 2 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
109
click to vote
CONCUR
2006
Springer
15 years 4 days ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
ENTCS
2008
14 years 10 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...