46 search results - page 7 / 10 » A Simple Test for the Consecutive Ones Property |
ACTAC
1999
13 years 7 months ago
1999
A new image compression algorithm, Distortion Limited Wavelet Image Codec (DLWIC), is introduced. The codec is designed to be simple to implement, fast and have modest requirement...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
—Target shape matching can be used as a quick and easy surrogate task when evaluating optimization algorithms intended for computationally expensive tasks, such as turbine blade ...
ECOWS
2007
Springer
14 years 1 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
The research area of evolutionary multiobjective optimization (EMO) is reaching better understandings of the properties and capabilities of EMO algorithms, and accumulating much e...
ICECCS
1999
IEEE
13 years 12 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...