9067 search results - page 1637 / 1814 » Adaptive Model Checking |
201
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
157
click to vote
CCIA
2005
Springer
16 years 12 days ago
2005
Springer
One of the main keys in case-based reasoning system is the retrieval phase, where the most similar cases are retrieved by means of a similarity function. According to the problem, ...
171
click to vote
DSOM
2005
Springer
16 years 12 days ago
2005
Springer
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...
162
click to vote
EDO
2005
Springer
16 years 12 days ago
2005
Springer
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
202
click to vote
EMMCVPR
2005
Springer
16 years 12 days ago
2005
Springer
In this paper, we consider the problem of color restoration using statistical priors. This is applied to color recovery for underwater images, using an energy minimization formulat...