1477 search results - page 152 / 296 » Random Convex Programs |
102
Voted
AAAI
2008
15 years 4 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
151
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
110
click to vote
STOC
1991
ACM
15 years 5 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
132
Voted
ICCV
2009
IEEE
16 years 7 months ago
2009
IEEE
In recent years the Markov Random Field (MRF) has
become the de facto probabilistic model for low-level vision
applications. However, in a maximum a posteriori
(MAP) framework, ...
124
Voted
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Silhouettes contain rich information about the shape of objects that can be used for recognition and classification. We present a novel approach that allows us to reliably compute...