Sciweavers

7978 search results - page 731 / 1596
» Combining shared-coin algorithms
Sort
View
DCC
2010
IEEE
15 years 6 months ago
Bidirectional Delta Files
This paper introduces a new method called Bidirectional Delta file, which is to construct a two way delta file out of two given files. Previous work focuses on forwards and back...
Dana Shapira, Michael Kats
ICFEM
2010
Springer
15 years 6 months ago
A Methodology for Automatic Diagnosability Analysis
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
Jonathan Ezekiel, Alessio Lomuscio
ICRA
2010
IEEE
265views Robotics» more  ICRA 2010»
15 years 6 months ago
A generalization of the metric-based Iterative Closest Point technique for 3D scan matching
— Scan matching techniques have been widely used to compute the displacement of robots. This estimate is part of many algorithms addressing navigation and mapping. This paper add...
Leopoldo Armesto, Javier Minguez, Luis Montesano
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
15 years 6 months ago
A game-theoretic procedure for learning hierarchically structured strategies
— This paper addresses the problem of acquiring a hierarchically structured robotic skill in a nonstationary environment. This is achieved through a combination of learning primi...
Benjamin Rosman, Subramanian Ramamoorthy
JUCS
2010
123views more  JUCS 2010»
15 years 5 months ago
Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
Li Yang, Yang Xu