2356 search results - page 219 / 472 » Characterizations of postman sets |
183
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
166
Voted
SCAM
2003
IEEE
15 years 12 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
152
click to vote
SIGECOM
2003
ACM
15 years 12 months ago
2003
ACM
We study mechanisms that can be modelled as coalitional games with transferable utilities, and apply ideas from mechanism design and game theory to problems arising in a network d...
188
click to vote
DGCI
2003
Springer
15 years 12 months ago
2003
Springer
In order to make image analysis methods more reliable it is important to analyse to what extend shape information is preserved during image digitization. Most existing approaches t...
164
click to vote
DIGRA
2003
Springer
15 years 12 months ago
2003
Springer
Interpretation of characters is a fundamental feature of human behavior. Even with limited information available, people will assign personality – even to inanimate objects. Cha...