155 search results - page 15 / 31 » A hybrid solution to the multi-robot integrated exploration ... |
CP
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we present an algorithm for finding utilitarian optimal solutions to Simple and Disjunctive Temporal Problems with Preferences (STPPs and DTPPs) based on Benders’...
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
101
click to vote
IS
2008
14 years 11 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
The success of supply chains depends on the match between the requirements and offerings that deliver the services. It can be ensured by separating requirements from the means of ...
141
click to vote
ACMSE
2008
ACM
15 years 1 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...