816 search results - page 35 / 164 » SAT-Based Image Computation with Application in Reachability... |
143
click to vote
ICMCS
2006
IEEE
16 years 1 days ago
2006
IEEE
It is difficult to view multipage, high resolution documents on devices with small displays. As a solution, we introduce a Multimedia Thumbnail representation, which can be seen a...
160
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
157
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Image categorization is undoubtedly one of the most challenging open problems faced in Computer Vision, far from being solved by employing pure visual cues. Recently, additional t...
186
click to vote
FGCS
2007
15 years 6 months ago
2007
In this paper medical applications on a Grid infrastructure, the MAGIC-5 Project, are presented and discussed. MAGIC-5 aims at developing Computer Aided Detection (CADe) software ...
272
click to vote
Lab
www.cbl.uh.edu The Computational Biomedicine Lab (CBL) was established in 1997 at the University of Houston and is committed to excellence in image analysis, with an emphasis on ap...