5216 search results - page 935 / 1044 » Planning as Model Checking |
120
Voted
CIA
2003
Springer
15 years 8 months ago
2003
Springer
This paper describes a multi-agent system, GraniteNights, modelled on the Agentcities project “evening agent” scenario. GraniteNights allows a user to plan an evening’s enter...
151
Voted
CP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Many real world problems, e.g. personnel scheduling and transportation planning, can be modeled naturally as Constrained Shortest Path Problems (CSPPs), i.e., as Shortest...
132
Voted
ICCSA
2010
Springer
15 years 8 months ago
2010
Springer
In the so-called Information-Explosion Era, astronomical amount of information is ubiquitously produced and digitally stored. It is getting more and more convenient for cooperative...
141
Voted
WEA
2010
Springer
15 years 8 months ago
2010
Springer
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...
140
Voted
ANSS
2002
IEEE
15 years 8 months ago
2002
IEEE
The data traffic in wireless networks for the third generation (3G) mobile telecommunication systems should take into account a variety of services (voice, data, video) and envir...