Sciweavers

4935 search results - page 740 / 987
» An Adaptive Supersampling Method
Sort
View
113
Voted
GECCO
2005
Springer
124views Optimization» more  GECCO 2005»
15 years 9 months ago
Generalized benchmark generation for dynamic combinatorial problems
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
Abdulnasser Younes, Paul H. Calamai, Otman A. Basi...
113
Voted
IPSN
2005
Springer
15 years 9 months ago
Networked infomechanical systems: a mobile embedded networked sensor platform
— Networked Infomechanical Systems (NIMS) introduces a new actuation capability for embedded networked sensing. By exploiting a constrained actuation method based on rapidly depl...
Richard Pon, Maxim A. Batalin, Jason Gordon, Aman ...
131
Voted
ISPA
2005
Springer
15 years 9 months ago
Hybrid Authentication and Key Management Scheme for WSANs
:Wireless Sensor and Actor Networks (WSANs) consist of three types of nodes with different capabilities and functions. Because of these heterogeneities, current network security ...
Xiaomei Cao, Mao Lin Huang, YueQuan Chen, Guihai C...
108
Voted
TACAS
2005
Springer
88views Algorithms» more  TACAS 2005»
15 years 9 months ago
Shortest Counterexamples for Symbolic Model Checking of LTL with Past
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
Viktor Schuppan, Armin Biere
138
Voted
VLDB
2005
ACM
117views Database» more  VLDB 2005»
15 years 9 months ago
Parallel Querying with Non-Dedicated Computers
We present DITN, a new method of parallel querying based on dynamic outsourcing of join processing tasks to non-dedicated, heterogeneous computers. In DITN, partitioning is not th...
Vijayshankar Raman, Wei Han, Inderpal Narang