1174 search results - page 43 / 235 » Derivation of Characteristic Formulae |
140
click to vote
IJCAI
1997
15 years 7 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 ...
137
click to vote
EJC
2010
15 years 6 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...
123
click to vote
PROCEDIA
2010
15 years 4 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 ...
158
click to vote
TSP
2010
15 years 21 days ago
2010
Determining the number of sources from observed dataisafundamentalprobleminmanyscientificfields.Inthispaper we consider the nonparametric setting, and focus on the detection perfor...
150
click to vote
PG
2007
IEEE
16 years 8 days 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...