Sciweavers

23704 search results - page 254 / 4741
» Data and Information as Property
Sort
View
ICRA
2005
IEEE
146views Robotics» more  ICRA 2005»
16 years 10 days ago
Vision SLAM in the Measurement Subspace
— In this paper we describe an approach to feature representation for simultaneous localization and mapping, SLAM. It is a general representation for features that addresses symm...
John Folkesson, Patric Jensfelt, Henrik I. Christe...
MADNES
2005
Springer
16 years 7 days ago
ARMS: An Authenticated Routing Message in Sensor Networks
In wireless sensor networks, a sensor node broadcasts its data (such as routing information, beacon messages or meta-data) to all its neighbors, which is called local broadcast. A ...
Suk-Bok Lee, Yoon-Hwa Choi
SPIN
2000
Springer
15 years 10 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
ECIR
2010
Springer
15 years 8 months ago
A Framework for Evaluating Automatic Image Annotation Algorithms
Several Automatic Image Annotation (AIA) algorithms have been introduced recently, which have been found to outperform previous models. However, each one of them has been evaluated...
Konstantinos Athanasakos, Vassilios Stathopoulos, ...
FUIN
2007
121views more  FUIN 2007»
15 years 6 months ago
A Possibility-Theoretic View of Formal Concept Analysis
Abstract. The paper starts from the standard relational view linking objects and properties in formal concept analysis, here augmented with four modal-style operators (known as suf...
Didier Dubois, Florence Dupin de Saint-Cyr, Henri ...