7109 search results - page 1243 / 1422 » Process Algebra with Combinators |
160
click to vote
IJAMCIGI
2010
15 years 3 months ago
2010
Hyper-heuristics are identified as the methodologies that search the space generated by a finite set of low level heuristics for solving difficult problems. One of the iterative h...
173
click to vote
IPL
2010
15 years 3 months ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...
156
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we investigate the process of searching for images of specified people in the consumer family photo domain. This domain is very different from the controlled enviro...
235
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
A label consistent K-SVD (LC-KSVD) algorithm to learn a discriminative dictionary for sparse coding is presented. In addition to using class labels of training data, we also assoc...
178
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Human saccade is a dynamic process of information pursuit. Based on the principle of information maximization, we propose a computational model to simulate human saccadic scanpath...