1261 search results - page 158 / 253 » A Hierarchy of Temporal Properties |
TABLEAUX
2007
Springer
14 years 4 months ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
MTV
2006
IEEE
14 years 4 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
TIME
2006
IEEE
14 years 4 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
MM
2006
ACM
14 years 4 months ago
2006
ACM
This paper proposes a new approach for the similarity measure and ranking of audio clips by graph modeling and matching. Instead of using frame-based or salient-based features to ...
MOBIDE
2006
ACM
14 years 4 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...