3931 search results - page 461 / 787 » Separation logic and abstraction |
163
click to vote
PROMAS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We present an approach to coordinate the behavior of a multiagent team using an HTN planning procedure. To coordinate teams, high level tasks have to be broken down into ...
201
click to vote
VLSM
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In this paper we propose a novel variational technique for the knowledge based segmentation of two dimensional objects. One of the elements of our approach is the use of ...
179
click to vote
AOSE
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
172
click to vote
DAGM
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Features like junctions and corners are a rich source of information for image understanding. We present a novel theoretical framework for the analysis of such 2D feature...
244
click to vote
DAGM
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. In this paper image-based techniques for 3D surface reconstruction are presented which are especially suitable for (but not limited to) coplanar light sources. The first...