2621 search results - page 337 / 525 » Near orders and codes |
212
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
204
click to vote
PLDI
2004
ACM
16 years 17 hour ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...
177
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
We present a new method of Logic-Based Genetic Programming (LBGP). Using the intrinsic mechanism of backtracking in Prolog, we utilize large individual programs with redundant clau...
214
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Significant research has been devoted to detecting people
in images and videos. In this paper we describe a human detection
method that augments widely used edge-based features
...
149
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The problem of using pictures of objects captured under ideal imaging conditions (here referred to as in vitro) to recognize objects in natural environments (in situ) is an emergi...