13603 search results - page 2506 / 2721 » On the computational complexity of bridgecard |
220
click to vote
EDCC
2010
Springer
15 years 11 months ago
2010
Springer
Distributed Hash Tables (DHTs) and Random Peer Sampling (RPS) provide important and complementary services in the area of P2P overlay networks. DHTs achieve efficient lookup whil...
182
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
Within nature, the success of many organisms, including certain species of insects, mammals, slime molds, and bacteria, is attributed to their performance of division of labor, wh...
324
Voted
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
Touch-sensitive displays seem like a natural and promising option for dealing with the increasing complexity of current in-vehicle information systems (IVIS), but since they can h...
203
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
180
Voted
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper contains an experimental study of the impact of the construction strategy of reduced, ordered binary decision diagrams (ROBDDs) on the average-case computation...