6608 search results - page 1205 / 1322 » On the Completeness of Model Checking |
117
click to vote
RAS
2007
15 years 3 months ago
2007
We use a decomposition approach to generate cooperative strategies for a class of multi-vehicle control problems. By introducing a set of tasks to be completed by the team of vehi...
115
Voted
PVLDB
2008
15 years 3 months ago
2008
The measure of similarity between objects is a very useful tool in many areas of computer science, including information retrieval. SimRank is a simple and intuitive measure of th...
163
click to vote
TSC
2008
15 years 3 months ago
2008
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...
133
click to vote
CLIMA
2010
15 years 2 months ago
2010
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...
135
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
With the popularity of location-based services and the abundant usage of smart phones and GPS enabled devices, the necessity of outsourcing spatial data has grown rapidly over the...