244 search results - page 25 / 49 » A competitive neural model of small number detection |
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
This paper presents a collaborative benchmark for region of interest (ROI) detection in images. ROI detection has many useful applications and many algorithms have been proposed...
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we propose techniques to make use of two complementary bottom-up features, image edges and texture patches, to guide top-down object segmentation towards higher pre...
106
click to vote
DAGM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We present a novel model for object recognition and detection that follows the widely adopted assumption that objects in images can be represented as a set of loosely cou...
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
108
click to vote
TMC
2010
14 years 10 months ago
2010
—Many wireless sensor networks require sufficient sensing coverage over long periods of time. To conserve energy, a coverage maintenance protocol achieves desired coverage by act...