Sciweavers

127 search results - page 7 / 26
» Multi-Robot Localization Using Relative Observations
Sort
View
IPSN
2007
Springer
15 years 12 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...
173
Voted
POPL
2010
ACM
16 years 3 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
15 years 12 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...
147
Voted
IPPS
2005
IEEE
15 years 11 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»
15 years 9 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