4428 search results - page 76 / 886 » The Chow Parameters Problem |
AIPS
2006
15 years 1 months ago
2006
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
102
click to vote
CSC
2009
15 years 1 months ago
2009
- In this paper, we introduce a new parameter iteration method (P-Iteration for short) which can be applied on Adams-Moulton methods to solve initial value problems. Compared with ...
102
click to vote
MDM
2010
Springer
15 years 1 months ago
2010
Springer
A k-Range Nearest Neighbor (or kRNN for short) query in road networks finds the k nearest neighbors of every point on the road segments within a given query region based on the net...
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In this paper, the results for the CEC 2010 Competition and Special Session on Constrained Real-Parameter Optimization using the multiobjective differential evolution alg...
120
click to vote
SIAMSC
2008
14 years 11 months ago
2008
Abstract. We present a multigrid algorithm for the solution of distributed parameter inverse problems constrained by variable-coefficient linear parabolic partial differential equa...