1054 search results - page 166 / 211 » Determining Computing Science's Role |
247
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
We study non-parametric measures for the problem of comparing distributions, which arise in anomaly detection for continuous time series. Non-parametric measures take two distribu...
127
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
144
click to vote
RELMICS
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...
170
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
149
click to vote
PLDI
1995
ACM
15 years 9 months ago
1995
ACM
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...