2487 search results - page 320 / 498 » cases 2009 |
COMPLEX
2009
Springer
15 years 7 months ago
2009
Springer
Upon an outbreak of a dangerous infectious disease, people generally tend to reduce their contacts with others in fear of getting infected. Such typical actions apparently help to ...
105
click to vote
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
109
Voted
CPAIOR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The multileaf collimator sequencing problem is an important component in effective cancer treatment delivery. The problem can be formulated as finding a decomposition of...
99
Voted
CPM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A black box method was recently given that solves the problem of online approximate matching for a class of problems whose distance functions can be classified as being ...
98
Voted
CRYPTO
2009
Springer
15 years 7 months ago
2009
Springer
We prove the equivalence, up to a small polynomial approximation factor n/ log n, of the lattice problems uSVP (unique Shortest Vector Problem), BDD (Bounded Distance Decoding) and...