Sciweavers

1411 search results - page 133 / 283
» Case Studies of an Insider Framework
Sort
View
CCE
2007
14 years 11 months ago
Generate Pareto optimal solutions of scheduling problems using normal boundary intersection technique
The problem of short-term scheduling under uncertainty is addressed in this paper through a multiobjective optimization framework that incorporates economic expectation, robustnes...
Zhenya Jia, Marianthi G. Ierapetritou
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
14 years 11 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
LATA
2009
Springer
15 years 6 months ago
Prediction of Creole Emergence in Spatial Language Dynamics
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo
IJCNN
2008
IEEE
15 years 5 months ago
Ranking and selecting clustering algorithms using a meta-learning approach
Abstract— We present a novel framework that applies a metalearning approach to clustering algorithms. Given a dataset, our meta-learning approach provides a ranking for the candi...
Marcílio Carlos Pereira de Souto, Ricardo B...
RTCSA
2008
IEEE
15 years 5 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...