8496 search results - page 398 / 1700 » Problem Solving and Complex Systems |
198
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
This work extends the Particle Swarm Optimization (PSO) algorithm for working on dynamic environments. We propose an evaporation mechanism to solve the outdated memory problem. We...
150
click to vote
PVM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper presents a grid-enabled system for solving largescale optimization problems. The system has been developed using Globus and MPICH-G2 grid technologies, and con...
147
click to vote
TPHOL
1992
IEEE
15 years 11 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
184
click to vote
WISEC
2009
ACM
16 years 1 months ago
2009
ACM
Time synchronization in highly distributed wireless systems like sensor and ad hoc networks is extremely important in order to maintain a consistent notion of time throughout the ...
181
click to vote
AAAI
1990
15 years 8 months ago
1990
Knowledge processing is very demanding on computer architectures. Knowledge processing generates subcomputation paths at an exponential rate. It is memory intensive and has high c...