6568 search results - page 335 / 1314 » Reducing the Complexity of Reductions |
200
click to vote
AMOST
2007
ACM
15 years 11 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
176
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we provide a method to safely store a document in perhaps the most challenging settings, a highly decentralized replicated storage system where up to half of the st...
217
click to vote
AIPS
2009
15 years 8 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
246
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Cluster analysis is a crucial tool in several biological and medical studies dealing with microarray data. Such studies pose challenging statistical problems due to di...
184
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
Perfusion data are dynamic medical image data which characterize the regional blood flow in human tissue. These data bear a great potential in medical diagnosis, since diseases can...