Sciweavers

498 search results - page 12 / 100
» From Language to Time: A Temporal Expression Anchorer
Sort
View
LOGCOM
2007
91views more  LOGCOM 2007»
14 years 11 months ago
A New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
Altaf Hussain
FMCAD
2008
Springer
15 years 1 months ago
A Temporal Language for SystemC
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Sin...
JAIR
2007
87views more  JAIR 2007»
14 years 11 months ago
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wa...
ER
1998
Springer
115views Database» more  ER 1998»
15 years 4 months ago
Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
Martin Erwig, Markus Schneider, Ralf Hartmut G&uum...
CORR
2008
Springer
114views Education» more  CORR 2008»
14 years 12 months ago
Temporal Support of Regular Expressions in Sequential Pattern Mining
Classic algorithms for sequential pattern discovery, return all frequent sequences present in a database. Since, in general, only a few ones are interesting from a user's poin...
Leticia I. Gómez, Bart Kuijpers, Alejandro ...