278 search results - page 42 / 56 » Constraint Models for the Covering Test Problem |
PODS
2003
ACM
14 years 7 months ago
2003
ACM
Normalization as a way of producing good database designs is a well-understood topic. However, the same problem of distinguishing well-designed databases from poorly designed ones...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
Camera calibration is a primary crucial step in many computer vision tasks. In this paper we present a new neural approach for camera calibration. Unlike some existing neural appr...
ICCD
2006
IEEE
14 years 4 months ago
2006
IEEE
— Accurate estimation of worst-case crosstalk effects is critical for a realistic estimation of the worst-case behavior of deep sub-micron circuits. Crosstalk analysis models usu...
BMCBI
2006
13 years 7 months ago
2006
Background: The imprint of natural selection on gene sequences is often difficult to detect. A plethora of methods have been devised to detect genetic changes due to selective pro...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...