3921 search results - page 123 / 785 » Transforming Models with ATL |
105
Voted
ATAL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
93
Voted
WSC
2007
15 years 3 months ago
2007
This paper presents the case that education in the 21st Century can only measure up to national needs if technologies developed in the simulation community, further enhanced by th...
76
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
: In recent years environmental and energy conservation issues have taken the central theme in the global business arena. The reality of rising energy cost and their impact on inte...
103
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
111
Voted
ACL
2012
13 years 3 months ago
2012
We present a Bayesian nonparametric model for estimating tree insertion grammars (TIG), building upon recent work in Bayesian inference of tree substitution grammars (TSG) via Dir...