Sciweavers

6562 search results - page 52 / 1313
» Noetherianity and Combination Problems
Sort
View
CAISE
2006
Springer
15 years 2 months ago
An attempt to combine UML and formal methods to model airport security
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
Yves Ledru, Régine Laleau, Michel Lemoine, ...
JVCIR
2007
96views more  JVCIR 2007»
15 years 18 days ago
Image decomposition combining staircase reduction and texture extraction
This paper proposes a natural and efficient way to achieve staircase reduction in texture extraction models of image processing. Moreover, we propose a precise framework for this ...
Tony F. Chan, Selim Esedoglu, Frederick E. Park
93
Voted
GECCO
2006
Springer
133views Optimization» more  GECCO 2006»
15 years 4 months ago
Search--based approaches to the component selection and prioritization problem
This poster paper addresses the problem of choosing sets of software components to combine in component
Mark Harman, Alexandros Skaliotis, Kathleen Steinh...
COMBINATORICS
2006
147views more  COMBINATORICS 2006»
15 years 23 days ago
A Survey on Packing and Covering Problems in the Hamming Permutation Space
Consider the symmetric group Sn equipped with the Hamming metric dH . Packing and covering problems in the finite metric space (Sn, dH ) are surveyed, including a combination of b...
Jörn Quistorff
IJCAI
1989
15 years 1 months ago
A Study of Empirical Learning for an Involved Problem
In real-world domains a concept to be learned may be unwieldy and the environment may be less than ideal. One combination of difficulties occurs if the concept is probabilistic an...
Larry A. Rendell