5326 search results - page 232 / 1066 » On what we can ensure |
160
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
183
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper, we propose a new object detection method that does not need a learning mechanism. Given a hand-drawn model as a query, we can detect and locate objects that are sim...
169
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper addresses the multi-agent patrolling problem, which consists for a set of autonomous agents to visit all the places of an unknown environment as regularly as possible. T...
156
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
We consider a resource access control scenario in an open multi-agent system. We specify a mutable set of rules to determine how resource allocation is decided, and minimally assum...
152
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
In authorization, there is often a wish to shift the burden of proof to those making requests, since they may have more resources and more specific knowledge to construct the requi...