Sciweavers

2496 search results - page 162 / 500
» On covering by translates of a set
Sort
View
WWW
2005
ACM
16 years 7 months ago
Using OWL for querying an XML/RDF syntax
Some recent initiatives try to take profit from RDF to make XML documents interoperate at the semantic level. Ontologies are used to establish semantic connections among XML langu...
Jaime Delgado, Rubén Tous
IROS
2007
IEEE
148views Robotics» more  IROS 2007»
16 years 25 days ago
Trajectory recovery and 3D mapping from rotation-compensated imagery for an airship
— On this paper, inertial orientation measurements are exploited to compensate the rotational degrees of freedom for an aerial vehicle carrying a perspective camera, taking a seq...
Luiz G. B. Mirisola, Jorge Dias, Anibal T. de Alme...
B
2007
Springer
16 years 22 days ago
Augmenting B with Control Annotations
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
Wilson Ifill, Steve A. Schneider, Helen Treharne
IROS
2006
IEEE
83views Robotics» more  IROS 2006»
16 years 17 days 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, ...
WSNA
2003
ACM
15 years 11 months ago
The coverage problem in a wireless sensor network
One fundamental issue in sensor networks is the coverage problem, which reflects how well a sensor network is monitored or tracked by sensors. In this paper, we formulate this pr...
Chi-Fu Huang, Yu-Chee Tseng