Sciweavers

530 search results - page 8 / 106
» Net Generation Culture
Sort
View
FAC
2010
148views more  FAC 2010»
13 years 6 months ago
Automating the transformation-based analysis of visual languages
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
Juan de Lara, Hans Vangheluwe
GECCO
2007
Springer
155views Optimization» more  GECCO 2007»
13 years 11 months ago
Epsilon-constraint with an efficient cultured differential evolution
In this paper we present the use of a previously developed single-objective optimization approach, together with the -constraint method, to provide an approximation of the Pareto ...
Ricardo Landa Becerra, Carlos A. Coello Coello
IJCSA
2010
110views more  IJCSA 2010»
13 years 6 months ago
Mechanized Cultural Reasoning as a Tool to Assess Trust in Virtual Enterprises
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...
Jacques Calmet, Pierre Maret, Marvin Schneider
COLING
2000
13 years 9 months ago
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
Sylvain Pogodalla
APN
2009
Springer
14 years 2 months ago
Hasse Diagram Generators and Petri Nets
In [LJ06] Lorenz and Juh´as raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets...
Mateus de Oliveira Oliveira