Sciweavers

4679 search results - page 276 / 936
» Modeling When Connections Are the Problem
Sort
View
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 7 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
SLS
2007
Springer
111views Algorithms» more  SLS 2007»
16 years 21 days ago
Mixed Models for the Analysis of Local Search Components
We consider a possible scenario of experimental analysis on heuristics for optimization: identifying the contribution of local search components when algorithms are evaluated on th...
Jørgen Bang-Jensen, Marco Chiarandini, Yuri...
IWANN
2001
Springer
15 years 11 months ago
A Penalization Criterion Based on Noise Behaviour for Model Selection
Complexity-penalization strategies are one way to decide on the most appropriate network size in order to address the trade-off between overfitted and underfitted models. In this p...
Joaquín Pizarro Junquera, Pedro Galindo Ria...
WEBIST
2008
15 years 8 months ago
Transforming a Competency Model to Parameterised Questions in Assessment
The problem of comparing and matching different learners' knowledge arises when assessment systems use a one-dimensional numerical value to represent "knowledge level&quo...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis
WSC
1998
15 years 8 months ago
A Rapid Modeling Technique for Measurable Improvements in Factory Performance
This paper discusses a methodology for quickly investigating problem areas in semiconductor wafer fabrication factories by creating a model for the production area of interest onl...
Andreas Peikert, Josef Thoma, Steven Brown