12981 search results - page 2253 / 2597 » Model Checking (Abstract) |
109
click to vote
PERVASIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We report a qualitative study of the use of physical space and wireless laptops by ten United States households. Although wireless laptops purportedly offer the opportuni...
152
click to vote
PET
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. As decentralized computing scenarios get ever more popular, unstructured topologies are natural candidates to consider running mix networks upon. We consider mix network ...
169
click to vote
PKC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The ring signature allows a signer to leak secrets anonymously, without the risk of identity escrow. At the same time, the ring signature provides great flexibility: No ...
144
click to vote
ROBOCUP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. To achieve robust color perception under varying light conditions in indoor and outdoor environments, we propose a three-step method consisting of adaptive camera paramet...
152
click to vote
ROBOCUP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Developing and testing the key modules of autonomous humanoid soccer robots (e.g., for vision, localization, and behavior control) in software-in-the-loop (SIL) experimen...