9067 search results - page 1473 / 1814 » Adaptive Model Checking |
196
click to vote
SIGIR
2004
ACM
16 years 22 days ago
2004
ACM
Abstract. Peer-to-peer architectures are a potentially powerful model for developing large-scale networks of text-based digital libraries, but peer-to-peer networks have so far pro...
236
click to vote
ALGOSENSORS
2004
Springer
16 years 22 days ago
2004
Springer
We focus on data gathering problems in energy-constrained wireless sensor networks. We study store-and-gather problems where data are locally stored on the sensors before the data ...
220
click to vote
EUSAI
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. We report research into concepts and technology for enabling endusers to configure Ambient Intelligent environments. In this paper we focus on the feasibility and accepta...
176
click to vote
GD
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. One of the most popular graph drawing methods is based on achieving graph-theoretic target distances. This method was used by Kamada and Kawai [15], who formulated it as ...
217
click to vote
GECCO
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. The paper focuses on the efficiency of the hybrid evolutionary algorithm (HEA) for solving the global optimization problem arising in electronic imaging. The particular v...