3653 search results - page 445 / 731 » On Recognizable Timed Languages |
185
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
171
click to vote
HYBRID
2000
Springer
15 years 10 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...
220
click to vote
IFIP
2000
Springer
15 years 10 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...
161
click to vote
IFIP
2000
Springer
15 years 10 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...
160
click to vote
JAVA
2000
Springer
15 years 10 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...