Sciweavers

5624 search results - page 293 / 1125
» On Conditional Covering Problem
Sort
View
ICRA
2010
IEEE
131views Robotics» more  ICRA 2010»
15 years 5 months ago
Optimal coverage of a known arbitrary environment
— The problem of coverage of known space by a mobile robot has many applications. Of particular interest is providing a solution that guarantees the complete coverage of the free...
Raphael Mannadiar, Ioannis M. Rekleitis
IPL
2010
93views more  IPL 2010»
15 years 5 months ago
Compiling and securing cryptographic protocols
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
Yannick Chevalier, Michaël Rusinowitch
RR
2010
Springer
15 years 5 months ago
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination on RDF graphs in the presence of rules (in the form of Datalog r...
Reinhard Pichler, Axel Polleres, Sebastian Skritek...
ICWL
2009
Springer
15 years 4 months ago
Using the Social Web to Supplement Classical Learning
Abstract. The paper describes a complex e-learning experiment that has involved over 700 students that attended the Human-Computer Interaction course at the "Politehnica"...
Stefan Trausan-Matu, Vlad Posea, Traian Rebedea, C...
ICDCS
2008
IEEE
16 years 1 months ago
Performance Analysis of Group Based Detection for Sparse Sensor Networks
In this paper, we analyze the performance of group based detection in sparse sensor networks, when the system level detection decision is made based on the detection reports gener...
Jingbin Zhang, Gang Zhou, Sang Hyuk Son, John A. S...