4327 search results - page 626 / 866 » Web presentation system using RST events |
181
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
166
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
Computing may well become considered an essential part of a liberal education, but introductory programming courses will not look like the way that they do today. Current CS1 cour...
177
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
177
click to vote
EUROGP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...
204
click to vote
ICANN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. An application of the recently proposed generalized relevance learning vector quantization (GRLVQ) to the analysis and modeling of time series data is presented. We use G...