3677 search results - page 461 / 736 » Generalized Adaptive A* |
209
click to vote
ESEM
2010
ACM
15 years 5 months ago
2010
ACM
The power and the generality of the findings obtained through empirical studies are bounded by the number and type of participating subjects. In software engineering, obtaining a ...
231
click to vote
PIMRC
2010
IEEE
15 years 5 months ago
2010
IEEE
This study addresses the general problem of efficient resource management in wireless networks with arbitrary timevarying topologies. Communication channels are assumed to generall...
189
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Many problems in machine learning and statistics can be formulated as (generalized) eigenproblems. In terms of the associated optimization problem, computing linear eigenvectors a...
285
click to vote
CAD
2011
Springer
15 years 2 months ago
2011
Springer
The problem of computing the minimum enclosing sphere (MES) of a point set is a classical problem in Computational Geometry. As an LP-type problem, its expected running time on th...
283
click to vote
SCP
2011
15 years 2 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...