19130 search results - page 268 / 3826 » Modelling multi-path problems |
154
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ï¬...
189
click to vote
WLP
2004
Springer
15 years 12 months ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
161
Voted
PROFES
2009
Springer
15 years 11 months ago
2009
Springer
Waterfall development is still a widely used way of working in software development companies. Many problems have been reported related to the model. Commonly accepted problems are...
180
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
168
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...