2455 search results - page 228 / 491 » Graphical abstract help |
153
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
118
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
148
Voted
ADAEUROPE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...
147
click to vote
BVAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this article we present a model of realistic drawing accounting for visuomotor coordination, namely the strategies adopted to coordinate the processes of eye and hand ...
153
click to vote
DEXA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The labeling problem of dynamic XML documents has received increasing research attention. When XML documents are subject to insertions and deletions of nodes, it is impor...