7311 search results - page 275 / 1463 » Time in State Machines |
185
click to vote
MVA
1992
15 years 8 months ago
1992
The development of a real time image processing on a specific architecture is always restricting for the user who must master all the elementary mechanisms of the machine. Such sp...
177
click to vote
SIAMSC
2008
15 years 7 months ago
2008
We show how to derive time implicit formulations of relaxation schemes for the Euler equations for real materials in several space dimensions. In the fully time explicit setting, t...
232
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
222
click to vote
COLT
1998
Springer
15 years 11 months ago
1998
Springer
A new algorithm for learning one-variable pattern languages is proposed and analyzed with respect to its average-case behavior. We consider the total learning time that takes into...
199
click to vote
COLT
1992
Springer
15 years 11 months ago
1992
Springer
This paper deals with a class of Prolog programs, called context-free term transformations (CFT). We present a polynomial time algorithm to identify a subclass of CFT, whose progr...