Sciweavers

3885 search results - page 157 / 777
» Clarifying Goal Models
Sort
View
ERSHOV
2006
Springer
15 years 8 months ago
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu K...
UAI
2008
15 years 5 months ago
Adaptive inference on general graphical models
Many algorithms and applications involve repeatedly solving variations of the same inference problem; for example we may want to introduce new evidence to the model or perform upd...
Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mett...
FOGA
1994
15 years 5 months ago
Predictive Models Using Fitness Distributions of Genetic Operators
An important goal of the theory of genetic algorithms is to build predictive models of how well genetic algorithms are expected to perform, given a representation, a fitness lands...
John J. Grefenstette
ENDM
2010
126views more  ENDM 2010»
15 years 4 months ago
A 0/1 Integer Programming Model for the Office Space Allocation Problem
We propose a 0/1 integer programming model to tackle the office space allocation (OSA) problem which refers to assigning room space to a set of entities (people, machines, roles, ...
Özgür Ülker, Dario Landa-Silva
AUTOMATICA
2006
66views more  AUTOMATICA 2006»
15 years 4 months ago
Robust residual generation for diagnosis including a reference model for residual behavior
: The main goal when synthesizing robust residual generators, for diagnosis and supervision, is to attenuate influence from model uncertainty on the residual while keeping fault de...
Erik Frisk, Lars Nielsen