3825 search results - page 83 / 765 » The Language of Time: A Reader |
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analys...
EACL
2003
ACL Anthology
14 years 11 months ago
2003
ACL Anthology
We describe our investigations in generating textual summaries of physiological time series data to aid medical personnel in monitoring babies in neonatal intensive care units. Ou...
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community: