Reference : Representing Periodic Temporal Information with Automata
Scientific congresses and symposiums : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/28279
Representing Periodic Temporal Information with Automata
English
Wolper, Pierre mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données) >]
Jun-2001
Proc. Eighth International Symposium on Temporal Representation and Reasoning
IEEE Computer Society
179
No
Yes
International
0-7695-1107-4
Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
from 14-06-2001 to 16-06-2001
Cividale Del Friuli
Italy
[en] temporal databases ; automata ; periodic dense time
[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.
Researchers
http://hdl.handle.net/2268/28279

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
time01-proceedings.pdf© 2001 IEEEPublisher postprint38.11 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.