10870 search results - page 439 / 2174 » Model Checking Programs |
185
click to vote
GECCO
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. We discuss the problem of model selection in Genetic Programming using the framework provided by Statistical Learning Theory, i.e. Vapnik-Chervonenkis theory (VC). We pre...
331
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
197
Voted
ECOOP
2006
Springer
15 years 11 months ago
2006
Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...
201
click to vote
APL
2000
ACM
15 years 12 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
183
click to vote
GG
2004
Springer
16 years 28 days ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...