Sciweavers

36 search results - page 1 / 8
» Approximation Schemes for First-Order Definable Optimisation...
Sort
View
LICS
2006
IEEE
13 years 11 months ago
Approximation Schemes for First-Order Definable Optimisation Problems
Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...
SIAMNUM
2010
105views more  SIAMNUM 2010»
12 years 11 months ago
Quantization Based Filtering Method Using First Order Approximation
The quantization based filtering method (see [13], [14]) is a grid based approximation method to solve nonlinear filtering problems with discrete time observations. It relies on o...
Afef Sellami
PODS
2004
ACM
98views Database» more  PODS 2004»
14 years 5 months ago
Processing First-Order Queries under Limited Access Patterns
We study the problem of answering queries over sources with limited access patterns. Given a first-order query Q, the problem is to decide whether there is an equivalent query whi...
Alan Nash, Bertram Ludäscher
AIPS
2008
13 years 7 months ago
Stochastic Planning with First Order Decision Diagrams
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
Saket Joshi, Roni Khardon
GECCO
2007
Springer
186views Optimization» more  GECCO 2007»
13 years 11 months ago
ICSPEA: evolutionary five-axis milling path optimisation
ICSPEA is a novel multi-objective evolutionary algorithm which integrates aspects from the powerful variation operators of the Covariance Matrix Adaptation Evolution Strategy (CMA...
Jörn Mehnen, Rajkumar Roy, Petra Kersting, To...