4666 search results - page 91 / 934 » Equations on Timed Languages |
104
Voted
GIAE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
105
click to vote
ECOOP
1994
Springer
15 years 4 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
102
Voted
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
We solve some decision problems for timed automata which were raised by S. Tripakis in [Tri04] and by E. Asarin in [Asa04]. In particular, we show that one cannot decide whether a ...
112
Voted
IANDC
2008
15 years 24 days ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
86
Voted
LREC
2008
15 years 2 months ago
2008
Developing resources which can be used for Natural Language Processing is an extremely difficult task for any language, but is even more so for less privileged (or less computeriz...