1521 search results - page 199 / 305 » On Sampled Semantics of Timed Systems |
192
click to vote
ICS
2011
Tsinghua U.
14 years 1 months ago
2011
Tsinghua U.
With the fast technical improvement, flash memory based Solid State Drives (SSDs) are becoming an important part of the computer storage hierarchy to significantly improve perfo...
ICMI
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we present a presentation training system that observes a presentation rehearsal and provides the speaker with recommendations for improving the delivery of the pres...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The advent of the Semantic Web necessitates paradigm shifts away from centralized client/server architectures towards decentralization and peer-to-peer computation, making the exi...
NLE
2008
14 years 10 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
FTRTFT
1998
Springer
15 years 2 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...