3552 search results - page 529 / 711 » Proof theory in the abstract |
146
click to vote
ACAL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper, we apply a theoretical swarm-generating technique to a system implementing cluster-based construction. The technique, known as swarm engineering consists o...
189
click to vote
ACCV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present a new application of computer vision: continuous measurement of the geometrical visibility range on inter-urban roads, solely based on a monocular image acquis...
144
click to vote
ACII
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we present a model of facial behaviour encompassing interpersonal relations for an Embodied Conversational Agent (ECA). Although previous solutions of this ...
183
click to vote
CAAN
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Random graphs with given expected degrees G(w) were introduced by Chung and Lu so as to extend the theory of classical G(n, p) random graphs to include random power law g...
167
click to vote
CALCO
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...