12981 search results - page 2230 / 2597 » Model Checking (Abstract) |
172
click to vote
ADHOCNOW
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. This paper presents an algorithm for constructing a spanner for ad hoc networks whose nodes have variable transmission range. Almost all previous spanner constructions fo...
181
Voted
ADHOCNOW
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. A wireless ad-hoc network is a collection of transceivers positioned in the plane. Each transceiver is equipped with a limited, nonreplenishable battery charge. The batte...
190
click to vote
AI
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Conventional web search engines retrieve too many documents for the majority of the submitted queries; therefore, they possess a good recall, since there are far more pag...
201
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
174
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Structured peer-to-peer systems have grown enormously because of their scalability, efficiency and reliability. These systems assign a unique identifier to each user ...