Sciweavers

462 search results - page 82 / 93
» Covering a Tree by a Forest
Sort
View
IROS
2006
IEEE
83views Robotics» more  IROS 2006»
14 years 1 months ago
Using Orthogonal Surface Directions for Autonomous 3D-Exploration of Indoor Environments
— This paper proposes a new tracking algorithm within a 3D-SLAM framework that takes segmented range images as observations. The framework has two layers: the local layer tracks ...
Peter Kohlhepp, Georg Bretthauer, Marcus Walther, ...
ISSTA
2006
ACM
14 years 1 months ago
Tool support for randomized unit testing
There are several problem areas that must be addressed when applying randomization to unit testing. As yet no general, fully automated solution that works for all units has been p...
James H. Andrews, Susmita Haldar, Yong Lei, Felix ...
AUIC
2005
IEEE
14 years 1 months ago
Newly-discovered Group Awareness Mechanisms for Supporting Real-time Collaborative Authoring
Group awareness has become important in improving the usability of real-time, distributed, collaborative writing systems. However, the current set of implemented awareness mechani...
Gitesh K. Raikundalia, Hao Lan Zhang
DFG
2004
Springer
14 years 23 days ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
FOCS
2003
IEEE
14 years 20 days ago
Bounded Geometries, Fractals, and Low-Distortion Embeddings
The doubling constant of a metric space (X, d) is the smallest value λ such that every ball in X can be covered by λ balls of half the radius. The doubling dimension of X is the...
Anupam Gupta, Robert Krauthgamer, James R. Lee