4666 search results - page 132 / 934 » Equations on Timed Languages |
155
click to vote
CGF
2008
15 years 5 months ago
2008
We present a new and accurate method to render the atmosphere in real time from any viewpoint from ground level to outer space, while taking Rayleigh and Mie multiple scattering i...
146
click to vote
FOCM
2002
15 years 5 months ago
2002
Given an ordinary differential equation on a homogeneous manifold, one can construct a "geometric integrator" by determining a compatible ordinary differential equation ...
193
click to vote
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
116
click to vote
IPL
1998
15 years 5 months ago
1998
We show how to accept a context-free language nondeterministically in O( n log n) time on a two-queue machine.
145
click to vote
LREC
2010
15 years 6 months ago
2010
This paper investigates the effectiveness of online temporal language model adaptation when applied to a Thai broadcast news transcription task. Our adaptation scheme works as fol...