549 search results - page 102 / 110 » Verification condition generation for conditional informatio... |
106
click to vote
BMCBI
2004
14 years 10 months ago
2004
Background: Microarray and other high-throughput technologies are producing large sets of interesting genes that are difficult to analyze directly. Bioinformatics tools are needed...
168
Voted
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
When a database query has a large number of results, the user can only be shown one page of results at a time. One popular approach is to rank results such that the "best&quo...
116
click to vote
TOG
2008
14 years 10 months ago
2008
In this paper, we present a complete system for automatic face replacement in images. Our system uses a large library of face images created automatically by downloading images fr...
104
click to vote
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
—Magnetic resonance imaging (MRI) may be viewed as a two-stage experiment that yields a non-invasive spatial mapping of hydrogen nuclei in living subjects. Nuclear spins within a...
100
click to vote
AVSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Extracting meaningful 3D human motion information from video sequences is of interest for applications like intelligent humancomputer interfaces, biometrics, video browsing and ind...