4666 search results - page 142 / 934 » Equations on Timed Languages |
153
click to vote
EACL
2003
ACL Anthology
15 years 6 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...
141
click to vote
ADAEUROPE
2005
Springer
15 years 11 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...
133
click to vote
DOCENG
2004
ACM
15 years 10 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 ...
150
click to vote
LPAR
2010
Springer
15 years 3 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:
134
click to vote
ICECCS
2005
IEEE
15 years 11 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...