Sciweavers

3379 search results - page 508 / 676
» Parallel cross-entropy optimization
Sort
View
CONCUR
2007
Springer
14 years 4 months ago
Strategy Logic
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
EUROPAR
2007
Springer
14 years 4 months ago
Are P2P Data-Dissemination Techniques Viable in Today's Data-Intensive Scientific Collaborations?
The interest among a geographically distributed user base to mine massive collections of scientific data propels the need for efficient data dissemination solutions. An optimal dat...
Samer Al-Kiswany, Matei Ripeanu, Adriana Iamnitchi...
GECCO
2007
Springer
169views Optimization» more  GECCO 2007»
14 years 4 months ago
An evolutionary platform for developing next-generation electronic circuits
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...
James A. Hilder, Andy M. Tyrrell
ICCS
2007
Springer
14 years 4 months ago
Cyberinfrastructure for Contamination Source Characterization in Water Distribution Systems
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
Sarat Sreepathi, Kumar Mahinthakumar, Emily M. Zec...
ASAP
2006
IEEE
97views Hardware» more  ASAP 2006»
14 years 4 months ago
Dynamic-SIMD for lens distortion compensation
An increasing computational demand is placed on the image processing capacity of current and future smart cameras. SIMD processor architectures provide an efficient solution becau...
Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Ba...