4463 search results - page 569 / 893 » computer 2000 |
146
click to vote
GECCO
2000
Springer
15 years 8 months ago
2000
Springer
One method for compacting executable computer code is to replace commonly repeated sequences of instructions with macro instructions from a decoding dictionary. The size of the de...
144
Voted
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
134
Voted
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
First-order translations have recently been characterized as the maps computed by aperiodic single-valued nondeterministic finite transducers (NFTs). It is shown here that this ch...
127
Voted
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
180
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we propose a web-based learning tool for assisting and enhancing radiology education. Central to the learning tool is our recently developed content-based image ret...