Sciweavers

1718 search results - page 310 / 344
» Mobile Music Making
Sort
View
CP
2010
Springer
14 years 10 months ago
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting
Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where t...
Laurent Michel, Alexander A. Shvartsman, Elaine L....
ICA3PP
2010
Springer
14 years 10 months ago
A New Visual Simulation Tool for Performance Evaluation of MANET Routing Protocols
A new user-friendly visual simulation tool; ViSim is presented. ViSim could be useful for researchers, students, teachers in their works, and for the demonstration of various wirel...
Md. Sabbir Rahman Sakib, Nazmus Saquib, Al-Sakib K...
ICRA
2010
IEEE
133views Robotics» more  ICRA 2010»
14 years 10 months ago
Variable resolution decomposition for robotic navigation under a POMDP framework
— Partially Observable Markov Decision Processes (POMDPs) offer a powerful mathematical framework for making optimal action choices in noisy and/or uncertain environments, in par...
Robert Kaplow, Amin Atrash, Joelle Pineau
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
14 years 10 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
INFOCOM
2010
IEEE
14 years 10 months ago
Beyond Triangle Inequality: Sifting Noisy and Outlier Distance Measurements for Localization
—Knowing accurate positions of nodes in wireless ad-hoc and sensor networks is essential for a wide range of pervasive and mobile applications. However, errors are inevitable in ...
Lirong Jian, Zheng Yang, Yunhao Liu