Sciweavers

899 search results - page 76 / 180
» A Temporal Language for SystemC
Sort
View
165
Voted
ECAI
2010
Springer
15 years 5 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
KDD
2006
ACM
228views Data Mining» more  KDD 2006»
16 years 4 months ago
Algorithms for time series knowledge mining
Temporal patterns composed of symbolic intervals are commonly formulated with Allen's interval relations originating in temporal reasoning. This representation has severe dis...
Fabian Mörchen
122
Voted
IPPS
2003
IEEE
15 years 9 months ago
Loop Dissevering: A Technique for Temporally Partitioning Loops in Dynamically Reconfigurable Computing Platforms
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...
João M. P. Cardoso
157
Voted
ER
1999
Springer
160views Database» more  ER 1999»
15 years 8 months ago
Developing an Object-Oriented Video Database System with Spatio-Temporal Reasoning Capabilities
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
Shermann S.-M. Chan, Qing Li
IRCDL
2008
15 years 5 months ago
Video Event Annotation using Ontologies with Temporal Reasoning
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
Marco Bertini, Alberto Del Bimbo, Giuseppe Serra