940 search results - page 106 / 188 » Local rely-guarantee reasoning |
109
click to vote
IJCAI
2007
15 years 2 months ago
2007
A local spatial context is an area currently under consideration in a spatial reasoning process. The boundary between this area and the surrounding space together with the spatial...
SODA
2008
ACM
15 years 2 months ago
2008
ACM
It is known that the dynamics of best response in an environment of non-cooperative users may converge to a good solution when users play sequentially, but may cycle far away from...
129
Voted
UAI
2008
15 years 2 months ago
2008
An efficient policy search algorithm should estimate the local gradient of the objective function, with respect to the policy parameters, from as few trials as possible. Whereas m...
120
click to vote
AAAI
2006
15 years 2 months ago
2006
We present a new formulation of distributed task assignment, called Generalized Mutual Assignment Problem (GMAP), which is derived from an NP-hard combinatorial optimization probl...
107
Voted
GVD
2004
15 years 2 months ago
2004
Data with temporal information is constantly generated, sampled, gathered, and analyzed in different domains, such as medicine, finance, engineering, environmental sciences, and e...