Sciweavers

515 search results - page 45 / 103
» Neighborhood operator systems and approximations
Sort
View
IFIP
2003
Springer
15 years 2 months ago
Exact Probabilistic Analysis of the Limited Scheduling Algorithm for Symmetrical Bluetooth Piconets
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...
Gil Zussman, Uri Yechiali, Adrian Segall
SIAMCO
2010
128views more  SIAMCO 2010»
14 years 8 months ago
A Parallel Splitting Method for Coupled Monotone Inclusions
A parallel splitting method is proposed for solving systems of coupled monotone inclusions in Hilbert spaces, and its convergence is established under the assumption that solutions...
Hedy Attouch, Luis M. Briceño-Arias, Patric...
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 1 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
ICRA
2005
IEEE
118views Robotics» more  ICRA 2005»
15 years 3 months ago
Haptic Rendering of Topological Constraints to Users Manipulating Serial Virtual Linkages
— This paper presents an approach for haptic rendering of topological constraints to users operating serial virtual linkages. In the proposed approach, a haptic device controller...
Daniela Constantinescu, S. E. Salcudean, Elizabeth...
ICRA
2003
IEEE
130views Robotics» more  ICRA 2003»
15 years 3 months ago
Direct plane tracking in stereo images for mobile navigation
— We present a novel plane tracking algorithm based on the direct update of surface parameters from two stereo images. The plane tracking algorithm is posed as an optimization pr...
Jason J. Corso, Darius Burschka, Gregory D. Hager