2273 search results - page 219 / 455 » On the Expressiveness and Complexity of ATL |
179
click to vote
KI
2007
Springer
16 years 21 days ago
2007
Springer
We propose a novel approach to experience collection for autonomous service robots performing complex activities. This approach enables robots to data for many learning problems at...
169
click to vote
LPAR
2007
Springer
16 years 21 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
162
click to vote
TGC
2007
Springer
16 years 20 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
186
click to vote
VAMOS
2007
Springer
16 years 20 days ago
2007
Springer
Requirements for product families are expressed in terms of commonality and variability. This distinction allows early identification of an appropriate software architecture and ...
165
click to vote
WEA
2007
Springer
16 years 20 days ago
2007
Springer
This paper presents a robust branch-cut-and-price algorithm for the Heterogeneous Fleet Vehicle Routing Problem (HFVRP), vehicles may have distinct capacities and costs. The colum...