3729 search results - page 509 / 746 » On Formal Modeling of Agent Computations |
378
click to vote
ECWEB
2011
Springer
14 years 6 months ago
2011
Springer
The community of multi-agent systems has been studying ways to improve the selection of partner agents for joint action. One of such approaches consists in estimating the trustwort...
196
click to vote
DEBS
2008
ACM
15 years 7 months ago
2008
ACM
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...
171
click to vote
WAPCV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper proposes a neuronal-based solution to active visual search, that is, visual search for a given target in displays that are too large in spatial extent to be in...
174
click to vote
CGF
2010
15 years 6 months ago
2010
Many problems in geometric modeling can be described using variational formulations that define the smoothness of the shape and its behavior w.r.t. the posed modeling constraints....
175
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...