1722 search results - page 172 / 345 » Generating Tests from Counterexamples |
CG
1999
Springer
13 years 9 months ago
1999
Springer
Projective texture-mapping is a powerful tool for image-based rendering. However, visibility information must be obtained in order to project correct textures onto the geometric s...
BMCBI
2007
13 years 9 months ago
2007
Background: A major goal of computational studies of gene regulation is to accurately predict the expression of genes based on the cis-regulatory content of their promoters. The d...
CVPR
2007
IEEE
14 years 3 months ago
2007
IEEE
Within the field of pattern classification, the Fisher kernel is a powerful framework which combines the strengths of generative and discriminative approaches. The idea is to ch...
FCCM
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
Air pollution models usually start from the computation of the velocity field of a fluid. In this paper, we present a model for computing that field based on the contribution of...