2916 search results - page 342 / 584 » Generating Rule Sets from Model Trees |
207
Voted
SMI
2008
IEEE
16 years 16 days ago
2008
IEEE
In this paper, we introduce a parallel numerical scheme, the lattice Boltzmann method, to shape modeling applications. The motivation of using this originally-designed fluid dyna...
184
Voted
FCT
1999
Springer
15 years 10 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
179
Voted
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...
174
Voted
SPIN
2009
Springer
16 years 21 days ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
192
Voted
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
This paper discusses a new model of parallel evolutionary algorithms (EAs) called the specialized island model (SIM) that can be used to generate a set of diverse non-dominated sol...