4666 search results - page 17 / 934 » Equations on Timed Languages |
DISCO
1993
14 years 2 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
FROCOS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
SCP
1998
13 years 10 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
CDB
2004
Springer
14 years 3 months ago
2004
Springer
Moving objects are currently represented in databases by means of an explicit representation of their trajectory. However from a physical point of view, or more specifically accor...
CMA
2010
13 years 7 months ago
2010
Abstract. Previous work [51] showed how to solve time-fractional diffusion equations by particle tracking. This paper extends the method to the case where the order of the fraction...