9730 search results - page 206 / 1946 » Relating models of backtracking |
129
click to vote
WSC
2007
15 years 6 months ago
2007
Conceptual modeling, deciding what to include in the model, is a very important task in the modeling process. However, it has so far received relatively little attention in the li...
125
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
Models carry the meaning of science. This puts a tremendous burden on the process of model selection. In general practice, models are selected on the basis of their relative goodne...
137
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
116
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we present a systematic procedure for obtaining closed-loop stable output-feedback model predictive control based on reduced-order models. The design uses linear...
137
click to vote
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...