1004 search results - page 114 / 201 » Safe Constraint Queries |
126
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...
124
click to vote
COMPGEOM
2008
ACM
15 years 5 months ago
2008
ACM
This video illustrates an algorithm for computing a maximum number of disjoint paths for unit disks moving among a set of dynamic obstacles in the plane. The problem is motivated ...
135
click to vote
IPCO
2008
15 years 4 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...
123
click to vote
IJCAI
2007
15 years 4 months ago
2007
The mobile robotics community has traditionally addressed motion planning and navigation in terms of steering decisions. However, selecting the best speed is also important – be...
124
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...