Sciweavers

2182 search results - page 180 / 437
» A Robust Algorithm for Solving Nonlinear Programming Problem...
Sort
View
ACCV
2009
Springer
14 years 3 months ago
A Smarter Particle Filter
Particle filtering is an effective sequential Monte Carlo approach to solve the recursive Bayesian filtering problem in non-linear and non-Gaussian systems. The algorithm is base...
Xiaoqin Zhang, Weiming Hu, Steve J. Maybank
ESOP
2008
Springer
13 years 11 months ago
Iterative Specialisation of Horn Clauses
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...
Christoffer Rosenkilde Nielsen, Flemming Nielson, ...
TIP
2008
107views more  TIP 2008»
13 years 9 months ago
Accurate Inversion of 3-D Transformation Fields
Abstract--This correspondence addresses the inversion of 3-D transformation fields, which is a problem that typically arises in image warping problems. A topology preserving parame...
Vincent Noblet, Christian Heinrich, Fabrice Heitz,...
TASE
2010
IEEE
13 years 3 months ago
Robust Calibration for Localization in Clustered Wireless Sensor Networks
This paper presents a robust calibration procedure for clustered wireless sensor networks. Accurate calibration of between-node distances is one crucial step in localizing sensor n...
Jung Jin Cho, Yu Ding, Yong Chen, Jiong Tang
CP
2005
Springer
14 years 2 months ago
Bounds-Consistent Local Search
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
Stefania Verachi, Steven David Prestwich