7504 search results - page 1115 / 1501 » Computing with Action Potentials |
151
Voted
SBP
2012
Springer
14 years 1 months ago
2012
Springer
Developing the ability to comprehensively study infections in small populations enables us to improve epidemic models and better advise individuals about potential risks to their h...
186
click to vote
VSTTE
2012
Springer
14 years 1 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
193
Voted
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
This paper presents a general multi-view feature extraction approach that we call Generalized Multiview Analysis or GMA. GMA has all the desirable properties required for cross-vi...
201
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We present a novel technique for figure-ground segmentation, where the goal is to separate all foreground objects in a test image from the background. We decompose the test image...
195
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Pictorial Structures (PS) define a probabilistic model of 2D articulated objects in images. Typical PS models assume an object can be represented by a set of rigid parts connecte...