14078 search results - page 2490 / 2816 » Design and Analysis of Computer Algorithms |
149
click to vote
DELTA
2004
IEEE
15 years 8 months ago
2004
IEEE
In this report we address the problem of static scheduling of realtime systems that include both hard and soft tasks. We consider systems in which both hard and soft tasks are per...
151
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Active Shape Models are commonly used to recognize and locate different aspects of known rigid objects. However, they require an off-line learning stage, such that the ex...
139
click to vote
APWEB
2003
Springer
15 years 8 months ago
2003
Springer
People display regularities in almost everything they do. This paper proposes characteristics of an idealized algorithm that would allow an automatic extraction of web user profil ...
150
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
142
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...