Sciweavers

1368 search results - page 168 / 274
» Perfect Local Computability and Computable Simulations
Sort
View
SAT
2007
Springer
96views Hardware» more  SAT 2007»
15 years 8 months ago
From Idempotent Generalized Boolean Assignments to Multi-bit Search
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
Marijn Heule, Hans van Maaren
INFOCOM
2006
IEEE
15 years 7 months ago
Loss-Cognizant Pricing in Feed-Forward Networks with Greedy Users
— We consider feed-forward packet switched networks with fixed routing and random congestion losses. Users of the network are assumed to be greedy in the sense that each user in...
Ashraf Al Daoud, Murat Alanyali
LCN
2006
IEEE
15 years 7 months ago
Achieving Fairness in IEEE 802.11 Ad Hoc Networks
IEEE 802.11 has become the main technology in local area wireless networks. However, performance anomalies, especially, in terms of fairness, arise in its use in ad hoc networks. ...
Fanilo Harivelo, Pascal Anelli
115
Voted
ICRA
2005
IEEE
259views Robotics» more  ICRA 2005»
15 years 7 months ago
Flexible Microscope Calibration using Virtual Pattern for 3-D Telemicromanipulation
Abstract— In the context of virtualized reality based telemicromanipulation, we present in this paper a visual calibration technique for optical microscope coupled with a CCD cam...
Mehdi Ammi, Vincent Frémont, Antoine Ferrei...
IPSN
2005
Springer
15 years 7 months ago
Rope: robust position estimation in wireless sensor networks
— We address the problem of secure location determination, known as Secure Localization, and the problem of verifying the location claim of a node, known as Location Verificatio...
Loukas Lazos, Radha Poovendran, Srdjan Capkun