10038 search results - page 408 / 2008 » Model Checking for Managers |
172
click to vote
HPDC
2003
IEEE
16 years 4 days ago
2003
IEEE
Dynamic, heterogenous and distributively owned resource environments present unique challenges to the problems of resource representation, allocation and management. Conventional ...
179
click to vote
VISUAL
1999
Springer
15 years 11 months ago
1999
Springer
TV commercials recognition is a need for advertisers in order to check the ful llment of their contracts with TV stations. In this paper we present an approach to this problem base...
169
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...
164
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for decomposing a hypergraph with certain regularities into smaller hypergraphs. By applying this to the set of all canonical covers of a given set of functiona...
133
Voted
LREC
2008
15 years 8 months ago
2008
The paper deals with the process of designing a phonetically and prosodically rich speech corpus for unit selection speech synthesis. The attention is given mainly to the recordin...