738 search results - page 119 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
63
Voted
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— Mineral fertilizers application is an agricultural task widely performed by centrifugal spreaders. These machines give satisfying results with regularly spaced parallel tractor...
TROB
2008
14 years 9 months ago
2008
Control of mobile networks raises fundamental and novel problems in controlling the structure of the resulting dynamic graphs. In particular, in applications involving mobile senso...
ANOR
2004
14 years 9 months ago
2004
We present an iterative cutting plane method for minimizing staffing costs in a service system subject to satisfying acceptable service level requirements over multiple time perio...
72
Voted
CORR
2010
Springer
14 years 8 months ago
2010
Springer
The Laplace-Beltrami operator of a smooth Riemannian manifold is determined by the Riemannian metric. Conversely, the heat kernel constructed from its eigenvalues and eigenfunctio...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
The use of genotypic populations is necessary for adaptation in Evolutionary Algorithms. We use a technique called form-invariant commutation to study the immediate effect of evol...