3443 search results - page 285 / 689 » More Algebras for Determiners |
199
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
In the context of communication networks with no QoS guarantees, we describe the problem of streaming layer encoded multimedia presentation data as a two-phase decision problem. W...
168
click to vote
LCTRTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
179
click to vote
PODS
2000
ACM
15 years 10 months ago
2000
ACM
In this paper, we propose a new tunable index scheme, called iMinMax , that maps points in high dimensional spaces to single dimension values determined by their maximum or minimu...
166
click to vote
PRDC
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
157
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The online coach within the simulation league has become more powerful over the last few years. Therefore, new options with regard to the recognition of the opponents str...