17983 search results - page 3211 / 3597 » Set Types and Applications |
184
click to vote
CONSTRAINTS
2010
15 years 4 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
220
click to vote
AAAI
2010
15 years 3 months ago
2010
Some real-world problems are partially decomposable, in that they can be decomposed into a set of coupled subproblems, that are each relatively easy to solve. However, when these ...
187
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we propose a transmit beamspace energy focusing technique for multiple-input multiple-output (MIMO) radar with application to direction finding for multiple targets...
182
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 3 months ago
2011
IEEE
Color is known to be highly discriminative for many object recognition tasks, but is difficult to infer from uncontrolled images in which the illuminant is not known. Traditional...