5216 search results - page 531 / 1044 » Planning as Model Checking |
135
Voted
MVA
1992
15 years 8 months ago
1992
This paper describes a method to perform distance measurements inside buildings using a single video camera mounted on a mobile robot. This algorithm is designed specifically to c...
156
click to vote
EOR
2006
15 years 7 months ago
2006
In this paper, a multi-period assignment problem is studied that arises as part of a weekly planning problem at mail processing and distribution centers. These facilities contain ...
210
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
174
click to vote
PVLDB
2008
15 years 6 months ago
2008
XTCcmp, the XQuery Compiler of a native XML database system, extends Starburst's well-known Query Graph Model to serve as an internal representation and basis for query restr...
153
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
This work deals with an original problem with regard to the traditionally sequential planning process in public transit networks. This problem aims at modifying the network's ...