5630 search results - page 58 / 1126 » Computability in Specification |
ICTAC
2009
Springer
13 years 7 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
We present a method for the detection of instances of an
object class, such as cars or pedestrians, in natural images.
Similarly to some previous works, this is accomplished via
...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
Similarity metrics that are learned from labeled training
data can be advantageous in terms of performance
and/or efficiency. These learned metrics can then be used
in conjuncti...
RECOMB
2008
Springer
14 years 10 months ago
2008
Springer
We present a method for identifying connected gene subnetworks significantly enriched for genes that are dysregulated in specimens of a disease. These subnetworks provide a signat...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...