Sciweavers

4488 search results - page 231 / 898
» Properties of NP-Complete Sets
Sort
View
DSSCV
2005
Springer
16 years 6 days ago
Using Top-Points as Interest Points for Image Matching
We consider the use of so-called top-points for object retrieval. These points are based on scale-space and catastrophe theory, and are invariant under gray value scaling and offse...
Bram Platel, Evguenia Balmachnova, Luc Florack, Fr...
ECOOP
2005
Springer
16 years 6 days ago
Evaluating Support for Features in Advanced Modularization Technologies
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
Roberto E. Lopez-Herrejon, Don S. Batory, William ...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 6 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
GECCO
2005
Springer
101views Optimization» more  GECCO 2005»
16 years 6 days ago
Measuring mobility and the performance of global search algorithms
The global search properties of heuristic search algorithms are not well understood. In this paper, we introduce a new metric, mobility, that quantifies the dispersion of local o...
Monte Lunacek, L. Darrell Whitley, James N. Knight
ICALP
2005
Springer
16 years 6 days ago
Weighted Automata and Weighted Logics
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
Manfred Droste, Paul Gastin