929 search results - page 37 / 186 » Computer assistance for model definition |
135
click to vote
ENTCS
2002
15 years 3 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
116
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
130
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
132
Voted
BIRD
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...
144
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Surrogate-Assisted Memetic Algorithm(SAMA) is a hybrid evolutionary algorithm, particularly a memetic algorithm that employs surrogate models in the optimization search. Since mos...