4666 search results - page 256 / 934 » Equations on Timed Languages |
171
click to vote
TCS
2011
15 years 1 months ago
2011
In this paper, we introduce block insertion and deletion on trajectories, which provide us with a new framework to study properties of language operations. With the parallel synta...
174
click to vote
NIPS
2003
15 years 8 months ago
2003
We propose a functional mixture model for simultaneous clustering and alignment of sets of curves measured on a discrete time grid. The model is specifically tailored to gene exp...
173
click to vote
SFM
2004
Springer
16 years 20 hour ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
209
click to vote
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
180
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...