4629 search results - page 370 / 926 » Space Kernel Analysis |
153
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Table analysis is a complex problem, involving searching solutions from a large search space. Studies show that finding the most credible answers to complex problems often requir...
163
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
183
click to vote
ICITA
2005
IEEE
16 years 9 days ago
2005
IEEE
Small-sample learning in image retrieval is a pertinent and interesting problem. Relevance feedback is an active area of research that seeks to find algorithms that are robust wi...
152
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
187
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Models of learning and performing by exploration assume that the semantic distance between task descriptions and screen labels controls in part the usersÕ search strategies. Neve...