2373 search results - page 272 / 475 » On the Theory of Structural Subtyping |
177
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
Refactoring aims to improve the quality of a software systems’ structure, which tends to degrade as the system evolves. While manually determining useful refactorings can be cha...
154
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
We analyze the performance of evolutionary algorithms on various matroid optimization problems that encompass a vast number of efficiently solvable as well as NP-hard combinatoria...
143
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
155
click to vote
ISAAC
2007
Springer
16 years 24 days ago
2007
Springer
We introduces the umodules, a generalization of the notion of graph module. The theory we develop captures among others undirected graphs, tournaments, digraphs, and 2−structures...
197
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper su...