2746 search results - page 485 / 550 » Bisubmodular Function Minimization |
ECAI
2006
Springer
14 years 12 days ago
2006
Springer
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multi-agent system...
ECCV
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. We present a new algorithm for segmenting a scene consisting of multiple moving dynamic textures. We model the spatial statistics of a dynamic texture with a set of secon...
ESOP
2006
Springer
14 years 12 days ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
ESTIMEDIA
2006
Springer
14 years 12 days ago
2006
Springer
Efficient and deadlock-free routing is critical to the performance of networks-on-chip. In this paper we present an approach that can be coupled to any adaptive routing algorithm ...
GCC
2006
Springer
14 years 12 days ago
2006
Springer
Interoperability between different Grid implementations is attracting more and more attention to seamlessly job execution. In this paper, one approach is proposed to implement the...