4061 search results - page 75 / 813 » Framework Evolution Tool |
100
click to vote
EVOW
2009
Springer
15 years 8 months ago
2009
Springer
Motivated by parallel optimization, we experiment EDA-like adaptation-rules in the case of λ large. The rule we use, essentially based on estimation of multivariate normal algorit...
105
Voted
DEXA
1998
Springer
15 years 5 months ago
1998
Springer
This paper presents a framework for a learning based approach to dynamically evolve the conceptual structure of a database in order to facilitate virtual representation of data in ...
104
click to vote
SP
2000
IEEE
15 years 5 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
SWAP
2008
15 years 3 months ago
2008
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
117
click to vote
ENTCS
2006
15 years 1 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...