3825 search results - page 91 / 765 » The Language of Time: A Reader |
ISORC
2009
IEEE
15 years 4 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
112
click to vote
DSVIS
2001
Springer
15 years 2 months ago
2001
Springer
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
RP
2010
Springer
14 years 7 months ago
2010
Springer
Chrobak (1986) proved that a language accepted by a given nondeterministic finite automaton with one-letter alphabet, i.e., a unary NFA, with n states can be represented as the uni...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Shrinkage-based exponential language models, such as the recently introduced Model M, have provided significant gains over a range of tasks [1]. Training such models requires a l...
CSL
2009
Springer
15 years 4 months ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...