Sciweavers

799 search results - page 31 / 160
» Synthesis for Probabilistic Environments
Sort
View
IROS
2008
IEEE
135views Robotics» more  IROS 2008»
15 years 10 months ago
Probabilistic UHF RFID tag pose estimation with multiple antennas and a multipath RF propagation model
—We present a novel particle filter implementation for estimating the pose of tags in the environment with respect to an RFID-equipped robot. This particle filter combines sign...
Travis Deyle, Charles C. Kemp, Matthew S. Reynolds
SFM
2011
Springer
253views Formal Methods» more  SFM 2011»
14 years 7 months ago
Application-Layer Connector Synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
NOSSDAV
2009
Springer
15 years 10 months ago
Probabilistic event resolution with the pairwise random protocol
Peer-to-peer distributed virtual environments (DVE's) distribute state tracking and state transitions. Many DVE's - such as online games - require ways to fairly determi...
John L. Miller, Jon Crowcroft
ICTAC
2004
Springer
15 years 9 months ago
Switched Probabilistic I/O Automata
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits...
ICRA
2005
IEEE
102views Robotics» more  ICRA 2005»
15 years 10 months ago
SLAM using Incremental Probabilistic PCA and Dimensionality Reduction
— The recent progress in robot mapping (or SLAM) algorithms has focused on estimating either point features (such as landmarks) or grid-based representations. Both of these repre...
Emma Brunskill, Nicholas Roy