1871 search results - page 77 / 375 » The Ephemeral Pairing Problem |
171
click to vote
CORR
2006
Springer
15 years 6 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...
158
click to vote
JCB
2006
15 years 6 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...
154
click to vote
CVPR
2004
IEEE
16 years 8 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...
162
click to vote
ECCV
2002
Springer
16 years 8 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...
164
click to vote
ACTA
2007
15 years 6 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...