1174 search results - page 43 / 235 » Derivation of Characteristic Formulae |
109
click to vote
IJCAI
1997
15 years 5 months ago
1997
Tractable covers are introduced as a new ap proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen eral framework is presented. Then, two ...
113
click to vote
EJC
2010
15 years 4 months ago
2010
A classical result of Euler states that the tangent numbers are an alternating sum of Eulerian numbers. A dual result of Roselle states that the secant numbers can be obtained by a...
103
click to vote
PROCEDIA
2010
15 years 2 months ago
2010
We propose a nonequilibrium sampling method for computing free energy profiles along a given reaction coordinate. The method consists of two parts: a controlled Langevin sampler ...
131
click to vote
TSP
2010
14 years 10 months ago
2010
Determining the number of sources from observed dataisafundamentalprobleminmanyscientificfields.Inthispaper we consider the nonparametric setting, and focus on the detection perfor...
127
click to vote
PG
2007
IEEE
15 years 10 months ago
2007
IEEE
A new geometry-based finite difference method for a fast and reliable detection of perceptually salient curvature extrema on surfaces approximated by dense triangle meshes is pro...