Sciweavers

3198 search results - page 280 / 640
» Evolutionary Computation in Structural Design
Sort
View
GECCO
2005
Springer
124views Optimization» more  GECCO 2005»
15 years 10 months ago
Evolving petri nets to represent metabolic pathways
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...
Jeremiah Nummela, Bryant A. Julstrom
154
Voted
DIGRA
2005
Springer
15 years 10 months ago
Interactive Digital Storytelling: Towards a Hybrid Conceptual Approach
In this contribution, “Interactive Digital Storytelling” is viewed as a hybrid form of game design and cinematic storytelling for the understanding and creation of future lear...
Ulrike Spierling
131
Voted
SPIN
2010
Springer
15 years 3 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
149
Voted
ACTA
2007
96views more  ACTA 2007»
15 years 5 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
CHI
2004
ACM
16 years 5 months ago
Finding meaningful uses for context-aware technologies: the humanistic research strategy
Human?computer interaction (HCI) is undergoing a paradigm change towards interaction that is contextually adapted to rich use situations taking place "beyond the desktop"...
Antti Oulasvirta