4488 search results - page 258 / 898 » Properties of NP-Complete Sets |
215
click to vote
PAMI
2012
13 years 9 months ago
2012
—Understanding the effect of blur is an important problem in unconstrained visual analysis. We address this problem in the context of image-based recognition, by a fusion of imag...
232
click to vote
PAMI
2012
13 years 9 months ago
2012
—Locating the center of the eyes allows for valuable information to be captured and used in a wide range of applications. Accurate eye center location can be determined using com...
210
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
206
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
173
click to vote
AAAI
2012
13 years 9 months ago
2012
We consider the problem of selecting fair divisions of a heterogeneous divisible good among a set of agents. Recent work (Cohler et al., AAAI 2011) focused on designing algorithms...