Sciweavers

3913 search results - page 207 / 783
» complexity 2006
Sort
View
144
Voted
EUROMICRO
2006
IEEE
15 years 8 months ago
A UML Profile and a Methodology for Real-Time Systems Design
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
Cesare Bartolini, Antonia Bertolino, Guglielmo De ...
132
Voted
FOSSACS
2006
Springer
15 years 8 months ago
Propositional Dynamic Logic with Recursive Programs
We extend the propositional dynamic logic PDL of Fischer and Ladner with a restricted kind of recursive programs using the formalism of visibly pushdown automata (Alur, Madhusudan...
Christof Löding, Olivier Serre
FSKD
2006
Springer
122views Fuzzy Logic» more  FSKD 2006»
15 years 8 months ago
Context Modeling with Bayesian Network Ensemble for Recognizing Objects in Uncertain Environments
Abstract. It is difficult to understand a scene from visual information in uncertain real world. Since Bayesian network (BN) is known as good in this uncertainty, it has received s...
Seung-Bin Im, Youn-Suk Song, Sung-Bae Cho
128
Voted
GECCO
2006
Springer
157views Optimization» more  GECCO 2006»
15 years 8 months ago
gLINC: identifying composability using group perturbation
We present two novel perturbation-based linkage learning algorithms that extend LINC [5]; a version of LINC optimised for decomposition tasks (oLINC) and a hierarchical version of...
David Jonathan Coffin, Christopher D. Clack
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 8 months ago
Inside a predator-prey model for multi-objective optimization: a second study
In this article, new variation operators for evolutionary multiobjective algorithms (EMOA) are proposed. On the basis of a predator-prey model theoretical considerations as well a...
Christian Grimme, Karlheinz Schmitt