6894 search results - page 130 / 1379 » Generation Problems |
161
click to vote
CP
2007
Springer
16 years 18 days ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
162
click to vote
ICRA
2007
IEEE
16 years 22 days ago
2007
IEEE
— We consider the problem of generating global feasible trajectories for nonholonomic mobile robots in the presence of moving obstacles. The global trajectory is composed of regi...
152
click to vote
COORDINATION
2005
Springer
15 years 12 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
151
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
In a wireless environment, the bandwidth of the channels and the energy of the portable devices are limited. Data broadcast has become an excellent method for efficient data disse...
149
click to vote
PTS
2008
15 years 7 months ago
2008
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...