882 search results - page 153 / 177 » Local Search for Very Large SAT Problems |
128
Voted
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
The increasing centralization of networked services places user data at considerable risk. For example, many users store email on remote servers rather than on their local disk. D...
134
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Based on the Antibody Clonal Selection Theory of immunology, we put forward a novel clonal selection algorithm for multiuser detection in Code-division Multiple-access Systems. By...
257
Voted
GIS
2005
ACM
16 years 4 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...
180
Voted
CVIU
2011
14 years 7 months ago
2011
Quadratic optimization lies at the very heart of many structural pattern recognition and computer vision problems, such as graph matching, object recognition, image segmentation, ...
136
Voted
CCIA
2007
Springer
15 years 10 months ago
2007
Springer
With the arrival of high throughput genotyping techniques, the detection of likely genotyping errors is becoming an increasingly important problem. In this paper we are interested...