6800 search results - page 666 / 1360 » Testing with Functions as Specifications |
228
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: In 2004, we presented a web resource for stimulating the search for novel RNAs, RNA-As-Graphs (RAG), which classified, catalogued, and predicted RNA secondary structur...
207
click to vote
CVPR
2000
IEEE
16 years 9 months ago
2000
IEEE
We consider the problem of determining functions of an image of an object that are insensitive to illumination changes. We rst show that for an object with Lambertian r e e ctanc ...
202
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
For the past few years researches have been investigating enhancing tracking performance by combining several different tracking algorithms. We propose an analytically justified, ...
223
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
We present a method for training a similarity metric from data. The method can be used for recognition or verification applications where the number of categories is very large an...
195
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...