Reference : Representing Periodic Temporal Information with Automata

	Document type :	Scientific congresses and symposiums : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/28279

Title :	Representing Periodic Temporal Information with Automata
Language :	English
Author, co-author :	Wolper, Pierre [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données) >]
Publication date :	Jun-2001
Main document title :	Proc. Eighth International Symposium on Temporal Representation and Reasoning
Publisher :	IEEE Computer Society
Pages :	179
On invitation :	Yes
Audience :	International
ISBN :	0-7695-1107-4
Event name :	Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Event date :	from 14-06-2001 to 16-06-2001
Event place (city) :	Cividale Del Friuli
Event country :	Italy
Keywords :	[en] 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.
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/28279

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access time01-proceedings.pdf © 2001 IEEE Publisher postprint 38.11 kB View/Open

All documents in ORBi are protected by a user license.

 

© ULg Library Network |  Feedback |  ORBi legal notices

Dspace v1.5