3047 search results - page 45 / 610 » A Temporal Consensus Model |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
157
click to vote
ICDE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a valid-time extension of SQL and investigate its efficient implementation on an Object-Relational database system. We propose an approach where temporal queries are ex...
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
ICEIS
2003
IEEE
15 years 3 months ago
2003
IEEE
: This paper brings together two research areas, i.e. “Data Warehouses” and “Temporal Databases”, involving representation of time. Looking at temporal aspects within a dat...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Music consists of both local and long-term temporal information. However, for a genre classification task, most of the text categorization based approaches only capture local temp...