5243 search results - page 264 / 1049 » Reasoning About Strategies |
255
click to vote
MM
2005
ACM
16 years 8 days ago
2005
ACM
Storage and retrieval technology for large-scale medical image systems has matured significantly during the past ten years but many implementations still lack cost-effective backu...
193
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Assume a coevolutionary algorithm capable of storing and utilizing all phenotypes discovered during its operation, for as long as it operates on a problem; that is, assume an algo...
182
click to vote
VLDB
2005
ACM
16 years 5 days ago
2005
ACM
In various applications such as data cleansing, being able to retrieve categorical or numerical attributes based on notions of approximate match (e.g., edit distance, numerical di...
152
click to vote
IMC
2003
ACM
15 years 12 months ago
2003
ACM
Border Gateway Protocol allows Autonomous Systems (ASs) to apply diverse routing policies for selecting routes and for propagating reachability information to other ASs. Although ...
200
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...