843 search results - page 39 / 169 » Introducing the Iteration in sPBC |
135
click to vote
CSL
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
164
click to vote
ICMCS
2006
IEEE
16 years 2 days ago
2006
IEEE
In this paper, camera motion detection methods using a background image generated by video mosaicing based on the correlation between feature points on a frame pair are described....
123
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the application of a Gaussian Estimation-of-Distribution (EDA) for real-valued optimization to the noisy part of a benchmark introduced in 2009 called BBOB (B...
135
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the application of a Gaussian Estimation-of-Distribution (EDA) for real-valued optimization to the noiseless part of a benchmark introduced in 2009 called BBO...
128
click to vote
ASWEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...