334 search results - page 39 / 67 » Timed Property Sequence Chart |
112
click to vote
ORL
2000
15 years 14 days ago
2000
We study four scheduling problems involving the maximum lateness criterion and an element of batching. For all the problems that we examine, algorithms appear in the literature th...
85
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
We extend in this paper the concept of the P-admissible floorplan representation to that of the P*-admissible one. A P*-admissible representation can model the most general floorp...
132
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
We consider self-stabilizing and self-organizing distributed construction of a spanner that forms an expander. The following results are presented. • A randomized technique to r...
106
click to vote
ISMIR
2003
Springer
15 years 5 months ago
2003
Springer
Automatic extraction of content description from commercial audio recordings has a number of important applications, from indexing and retrieval through to novel musicological ana...
103
Voted
COCO
1994
Springer
15 years 4 months ago
1994
Springer
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...