380 search results - page 58 / 76 » A Categorical Setting for Lower Complexity |
152
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper is devoted to scheduling a large collection of independent tasks onto a distributed heterogeneous platform, which is composed of a set of servers. Each server ...
153
click to vote
HIPC
2004
Springer
15 years 11 months ago
2004
Springer
It is well known that in a typical real-time system, certain parameters, such as the execution time of a job, are not fixed numbers. In such systems, it is common to characterize ...
147
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
232
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
Computing and storing probabilities is a hard problem as soon as one has to deal with complex distributions over multiples random variables. The problem of efficient representati...
157
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
Recently Viola et al. have introduced a rapid object detection scheme based on a boosted cascade of simple feature classifiers. In this paper we introduce and empirically analysis ...