Sciweavers

5164 search results - page 118 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
IJCAI
1997
15 years 2 months ago
Equational Reasoning using AC Constraints
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
David A. Plaisted, Yunshan Zhu
IDEAL
2000
Springer
15 years 4 months ago
Advanced Multilevel Successive Elimination Algorithms for Motion Estimation in Video Coding
In this paper, we present advanced algorithms to reduce the computation cost of block matching algorithms for motion estimation in video coding. Advanced Multilevel Successive Elim...
Soo-Mok Jung, Sung-Chul Shin, Hyunki Baik, Myong-S...
89
Voted
CORR
2010
Springer
70views Education» more  CORR 2010»
15 years 22 days ago
The Deterministic Dendritic Cell Algorithm
Abstract. The Dendritic Cell Algorithm is an immune-inspired algorithm originally based on the function of natural dendritic cells. The original instantiation of the algorithm is a...
Julie Greensmith, Uwe Aickelin
80
Voted
WEA
2009
Springer
145views Algorithms» more  WEA 2009»
15 years 7 months ago
Batch Dynamic Single-Source Shortest-Path Algorithms: An Experimental Study
A dynamic shortest-path algorithm is called a batch algorithm if it is able to handle graph changes that consist of multiple edge updates at a time. In this paper we focus on fully...
Reinhard Bauer, Dorothea Wagner
108
Voted
ICCSA
2007
Springer
15 years 6 months ago
Quasi-hierarchical Evolutionary Algorithm for Flow Optimization in Survivable MPLS Networks
In this paper we address the problem of working paths optimization in survivable MPLS network. We focus on an existing facility network, in which only network flows can be optimize...
Michal Przewozniczek, Krzysztof Walkowiak