1478 search results - page 194 / 296 » Modular Complexity Analysis via Relative Complexity |
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Wikipedia, "the free encyclopedia", now contains over two million English articles, and is widely regarded as a highquality, authoritative encyclopedia. Some Wikipedia a...
ASM
2010
ASM
14 years 7 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
SAC
2010
ACM
14 years 5 months ago
2010
ACM
A quantitative approach for measuring and describing feature interactions in object-oriented software components based on source code inspection is presented. The methodical arsen...
GECCO
2009
Springer
14 years 4 months ago
2009
Springer
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— We present a novel cooperative vehicle position estimation algorithm, which can achieve higher levels of accuracy and reliability than existing GPS based positioning so...