4167 search results - page 560 / 834 » Evolutionary functional testing |
171
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
188
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
167
click to vote
CEC
2008
IEEE
2008
IEEE
Decentralised distributed multiple objective particle swarm optimisation using peer to peer networks
16 years 1 months ago
—This paper describes a distributed particle swarm optimisation algorithm (PSO) based on peer-to-peer computer networks. A number of modifications are made to the more tradition...
174
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
—As more and more real-world optimization problems become increasingly complex, algorithms with more capable optimizations are also increasing in demand. For solving large scale ...
178
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a new method for locating multiple sound sources using only a local segment of data from a large-aperture microphone array. The result of this work may be...