1008 search results - page 76 / 202 » Canonicity! |
138
Voted
SGP
2003
15 years 4 months ago
2003
One of the challenges in 3D shape matching arises from the fact that in many applications, models should be considered to be the same if they differ by a rotation. Consequently, w...
136
click to vote
ADCM
2008
15 years 3 months ago
2008
Abstract. Signals with finite rate of innovation are those signals having finite degrees of freedom per unit of time that specify them. In this paper, we introduce a prototypical s...
128
Voted
CGF
2010
15 years 3 months ago
2010
The graphical depiction of uncertainty information is emerging as a problem of great importance. Scientific data sets are not considered complete without indications of error, acc...
105
Voted
ENTCS
2008
15 years 3 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
115
click to vote
ENTCS
2006
15 years 3 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...