882 search results - page 139 / 177 » Local Search for Very Large SAT Problems |
153
click to vote
ISPASS
2006
IEEE
15 years 9 months ago
2006
IEEE
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...
121
Voted
MM
2010
ACM
15 years 4 months ago
2010
ACM
: Gaze Awareness and Interaction Support in Presentations Kar-Han Tan, Dan Gelb, Ramin Samadani, Ian Robinson, Bruce Culbertson, John Apostolopoulos HP Laboratories HPL-2010-187 D...
141
Voted
DCOSS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Gradients are distributed distance estimates used as a building block in many sensor network applications. In large or long-lived deployments, it is important for the est...
158
Voted
ICCV
2007
IEEE
15 years 10 months ago
2007
IEEE
Multi-chamber heart segmentation is a prerequisite for global quantification of the cardiac function. The complexity of cardiac anatomy, poor contrast, noise or motion artifacts ...
135
Voted
ER
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...