Sciweavers

127 search results - page 7 / 26
» Multi-Robot Localization Using Relative Observations
Sort
View
155
Voted
IPSN
2007
Springer
16 years 14 days 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
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...
169
Voted
MICCAI
2007
Springer
16 years 14 days 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
15 years 12 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 10 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