19130 search results - page 374 / 3826 » Modelling multi-path problems |
172
click to vote
CATS
2008
15 years 8 months ago
2008
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
162
click to vote
WCE
2007
15 years 8 months ago
2007
— When problems are present in production, equipment or the process which are critical for organizations, many management personnel and experts have to meet to propose a solution...
150
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
EOR
2008
15 years 6 months ago
2008
In this paper, we study the calibration problem for the Merton
173
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
System identification of plants with binary-valued output observations is of importance in understanding modeling capability and limitations for systems with limited sensor inform...