Sciweavers

127 search results - page 7 / 26
» Multi-Robot Localization Using Relative Observations
Sort
View
IPSN
2007
Springer
14 years 3 months ago
An empirical study of collaborative acoustic source localization
— Field biologists use animal sounds to discover the presence of individuals and to study their behavior. Collecting bio-acoustic data has traditionally been a difficult and tim...
Andreas M. Ali, Kung Yao, Travis C. Collier, Charl...
POPL
2010
ACM
14 years 7 months ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...
MICCAI
2007
Springer
14 years 3 months ago
Shape-Based Myocardial Contractility Analysis Using Multivariate Outlier Detection
Abstract. This paper presents a new approach to regional myocardial contractility analysis based on inter-landmark motion (ILM) vectors and multivariate outlier detection. The prop...
Karim Lekadir, Niall Keenan, Dudley Pennell, Guang...
IPPS
2005
IEEE
14 years 3 months ago
Local Leader Election, Signal Strength Aware Flooding, and Routeless Routing
We have identified a fundamental operator in wireless networks that we named the local leader election in which the goal is to select a node in a spatially close neighborhood. We ...
Gilbert Chen, Joel W. Branch, Boleslaw K. Szymansk...
IDMS
2000
Springer
131views Multimedia» more  IDMS 2000»
14 years 1 months ago
Spatially Aware Local Communication in the RAUM System
In this paper, we propose a new paradigm for local communication between devices in Ubiquitous Computing environments, assuming a multitude of computerized everyday appliances comm...
Felix Hupfeld, Michael Beigl