Sciweavers

1938 search results - page 160 / 388
» On Positive Relational Calculi
Sort
View
ICRA
2009
IEEE
155views Robotics» more  ICRA 2009»
14 years 4 months ago
Automatic formation deployment of decentralized heterogeneous multi-robot networks with limited sensing capabilities
— Heterogeneous multi-robot networks require novel tools for applications that require achieving and maintaining formations. This is the case for distributing sensing devices wit...
Brian Stephen Smith, Jiuguang Wang, Magnus Egerste...
IROS
2009
IEEE
114views Robotics» more  IROS 2009»
14 years 4 months ago
A Distributed boundary detection algorithm for multi-robot systems
— We describe a distributed boundary detection algorithm suitable for use on multi-robot systems with dynamic network topologies. We assume that each robot has access to its loca...
James McLurkin, Erik D. Demaine
CIE
2009
Springer
14 years 4 months ago
Numberings and Randomness
Abstract. We prove various results on effective numberings and Friedberg numberings of families related to algorithmic randomness. The family of all Martin-L¨of random left-compu...
Paul Brodhead, Bjørn Kjos-Hanssen
IH
2009
Springer
14 years 4 months ago
Forensic Tracking Watermarking against In-theater Piracy
Many illegal copies of digital movies by camcorder capture are found on the Internet or on the black market before their official release. Due to the angle of the camcorder relativ...
Min-Jeong Lee, Kyung-Su Kim, Heung-Kyu Lee
QI
2009
Springer
130views Physics» more  QI 2009»
14 years 4 months ago
Eraser Lattices and Semantic Contents
A novel way to define Quantum like measurements for text is through transformations called Selective Erasers. When applied to text, an Eraser acts like a filter and preserves par...
Alvaro Francisco Huertas-Rosero, Leif Azzopardi, C...