3825 search results - page 481 / 765 » The Language of Time: A Reader |
193
click to vote
HYBRID
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
239
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
180
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents results from a survey of Vancouver secondary school students on their interests and perceived abilities in a range of subjects, the factors they felt would inf...
178
click to vote
JAVA
2000
Springer
15 years 11 months ago
2000
Springer
The file I/O classes present in Java have proven too inefficient to meet the demands of high-performance applications that perform large amounts of I/O. The inefficiencies stem pr...
190
click to vote
KONVENS
2000
15 years 11 months ago
2000
This paper presents details of the RWTH large vocabulary continuous speech recognition system used in the VERBMOBIL spontaneous speech translation system. In particular, we report...