Sciweavers

5164 search results - page 95 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
100
Voted
WABI
2001
Springer
138views Bioinformatics» more  WABI 2001»
15 years 5 months ago
Algorithms for Finding Gene Clusters
Abstract. Comparing gene orders in completely sequenced genomes is a standard approach to locate clusters of functionally associated genes. Often, gene orders are modeled as permut...
Steffen Heber, Jens Stoye
ICDCS
1997
IEEE
15 years 4 months ago
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
Robert E. Strom, Guruduth Banavar, Kevan Miller, A...
ECSQARU
2009
Springer
15 years 7 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
Vasiliki Efstathiou, Anthony Hunter
117
Voted
IJCV
2002
188views more  IJCV 2002»
15 years 10 days ago
Scalable Extrinsic Calibration of Omni-Directional Image Networks
We describe a linear-time algorithm that recovers absolute camera orientations and positions, along with uncertainty estimates, for networks of terrestrial image nodes spanning hun...
Matthew E. Antone, Seth J. Teller
71
Voted
ESA
2006
Springer
70views Algorithms» more  ESA 2006»
15 years 4 months ago
Kinetic Algorithms Via Self-adjusting Computation
Abstract. Define a static algorithm as an algorithm that computes some combinatorial property of its input consisting of static, i.e., non-moving, objects. In this paper, we descri...
Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, ...