674 search results - page 104 / 135 » From Constructibility and Absoluteness to Computability and ... |
205
click to vote
ECCV
2010
Springer
2010
Springer
Backprojection Revisited: Scalable Multi-view Object Detection and Similarity Metrics for Detections
16 years 3 days ago
Hough transform based object detectors learn a mapping from the image domain to a Hough voting space. Within this space, object hypotheses are formed by local maxima. The votes con...
200
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Network tomography establishes linear relationships between the characteristics of individual links and those of end-toend paths. It has been proved that these relationships can b...
184
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
The need for a stopping criterion in MOEA’s is a repeatedly mentioned matter in the domain of MOOP’s, even though it is usually left aside as secondary, while stopping criteri...
255
click to vote
CSR
2011
Springer
14 years 10 months ago
2011
Springer
The Goldreich’s function has n binary inputs and n binary outputs. Every output depends on d inputs and is computed from them by the fixed predicate of arity d. Every Goldreich...
294
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...