1576 search results - page 283 / 316 » Properties of Synthetic Optimization Problems |
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
WDAG
2005
Springer
14 years 3 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
The colour of colon tissue, which depends on the tissue structure, its optical properties, and the quantities of the pigments present in it, can be predicted by a physics-based mod...
ISMIR
2004
Springer
14 years 3 months ago
2004
Springer
Despite the immense potential of Peer-to-Peer (P2P) networks in facilitating collaborative applications, they have become largely known as a free haven for pirated music swapping....
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
— We propose a new framework for providing robust location detection in emergency response systems, based on the theory of identifying codes. The key idea of this approach is to ...