Sciweavers

4666 search results - page 650 / 934
» Equations on Timed Languages
Sort
View
IFIP
2000
Springer
15 years 10 months ago
Gender Differences in Vancouver Secondary Students
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...
Vania Chan, Katie Stafford, Maria M. Klawe, Grace ...
JAVA
2000
Springer
15 years 10 months ago
Bulk file I/O extensions to Java
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...
Dan Bonachea
KONVENS
2000
15 years 10 months ago
The RWTH Large Vocabulary Speech Recognition System for Spontaneous Speech
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...
Stephan Kanthak, Sirko Molau, Achim Sixtus, Ralf S...
180
Voted
FPLE
1995
15 years 10 months ago
Basic Proof Skills of Computer Science Students
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...
Pieter H. Hartel, Bert van Es, Dick Tromp
ASPLOS
1991
ACM
15 years 10 months ago
Code Generation for Streaming: An Access/Execute Mechanism
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
Manuel E. Benitez, Jack W. Davidson