10890 search results - page 408 / 2178 » Automatic Complexity Analysis |
177
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This article focuses on the field-to-image registration for TV sports-related image processing through basic geometrical reasoning. We propose a robust automatic line-based method...
161
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
171
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—A new network architecture for high-speed low-latency interconnects is introduced, based on a combination of optical wavelength division multiplexing and the automatic packet se...
167
click to vote
FUZZY
2001
Springer
15 years 11 months ago
2001
Springer
The paper presents the results of experiments of usage of LSA for analysis of textual data. The method is explained in brief and special attention is pointed on its potential for c...
190
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...