5216 search results - page 344 / 1044 » Planning as Model Checking |
127
Voted
WSC
1998
15 years 6 months ago
1998
The design of a quality timetable for the Dutch Railways is a complex task, because of the characteristics of the railway services. The complexity of the network and the heavily i...
160
click to vote
CVPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Copyright 2004 IEEE. Published in Conference on Computer Vision and Pattern Recognition (CVPR-2004), June 27 - July 2, 2004, Washington DC. Personal use of this material is permit...
136
click to vote
ICCD
2002
IEEE
16 years 1 months ago
2002
IEEE
Interconnect architecture plays an important role in determining the throughput of meshed communication structures. We assume a mesh structure with uniform communication demand fo...
116
Voted
RAS
2008
15 years 4 months ago
2008
This paper presents the Compliant Task Generator: a new approach for the automatic conversion of a geometric path generated by a compliant path planner to a force based task specif...
143
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...