Paper published in a book (Scientific congresses and symposiums)
Representing Periodic Temporal Information with Automata
Wolper, Pierre
2001In Proc. Eighth International Symposium on Temporal Representation and Reasoning
 

Files


Full Text
time01-proceedings.pdf
Publisher postprint (39.03 kB)
© 2001 IEEE
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
temporal databases; automata; periodic dense time
Abstract :
[en] Motivated by issues in temporal databases and in the verification of infinite-state systems, this talk considers the problem of representing periodic dense time information. Doing so requires handling a theory that combines discrete and continuous variables, since discrete variables are essential for representing periodicity. An automata-based approach for dealing with such a combined theory is thus introduced.
Disciplines :
Computer science
Author, co-author :
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
Representing Periodic Temporal Information with Automata
Publication date :
June 2001
Event name :
Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Event place :
Cividale Del Friuli, Italy
Event date :
from 14-06-2001 to 16-06-2001
By request :
Yes
Audience :
International
Main work title :
Proc. Eighth International Symposium on Temporal Representation and Reasoning
Publisher :
IEEE Computer Society
ISBN/EAN :
0-7695-1107-4
Pages :
179
Available on ORBi :
since 16 November 2009

Statistics


Number of views
95 (4 by ULiège)
Number of downloads
165 (3 by ULiège)

Bibliography


Similar publications



Contact ORBi