1871 search results - page 77 / 375 » The Ephemeral Pairing Problem |
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
JCB
2006
14 years 11 months ago
2006
Following Zuker (1986), a saturated secondary structure for a given RNA sequence is a secondary structure such that no base pair can be added without violating the definition of s...
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Helmholtz stereopsis guarantees unbiasedness by BRDF of the search for inter-image correspondences. In a practical setup, calibrated pixel sensitivity and corrected light anisotro...
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
In this paper, a new image-matching mathematical model is presented for the mammogram registration. In a variational framework, an energy minimization problem is formulated and a m...
ACTA
2007
14 years 11 months ago
2007
Abstract Computing frequent itemsets is one of the most prominent problems in data mining. Recently, a new related problem, called FREQSAT, was introduced and studied: given some i...