5624 search results - page 842 / 1125 » On Conditional Covering Problem |
120
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
People with chronic health problems use online resources to understand and manage their condition, but many such resources can present competing and confusing viewpoints. We surve...
169
click to vote
MMAS
2011
Springer
14 years 7 months ago
2011
Springer
This paper introduces a new sweeping preconditioner for the iterative solution of the variable coefficient Helmholtz equation in two and three dimensions. The algorithms follow th...
244
click to vote
TIP
1998
14 years 16 days ago
1998
Snakes, or active contours, are used extensively in
computer vision and image processing applications, particularly
to locate object boundaries. Problems associated with initiali...
160
click to vote
VSTTE
2012
Springer
13 years 12 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
157
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Scene text recognition has gained significant attention from the computer vision community in recent years. Recognizing such text is a challenging problem, even more so than the ...