10916 search results - page 156 / 2184 » On Constructive Connectives and Systems |
152
click to vote
PEPM
2007
ACM
16 years 20 days ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
154
click to vote
IROS
2006
IEEE
16 years 17 days ago
2006
IEEE
– Motion synchronization in mobile robot networks is a fundamental task in distributed multi-robot collaboration. In this paper, we investigate the robustness of synchronous spee...
167
click to vote
PCI
2005
Springer
16 years 21 hour ago
2005
Springer
In this paper, we present the rationale and the baseline of a notation which can be used on its own or as an extension to standard UML to facilitate specification of an interactive...
144
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present a new paradigm that allows dynamically changing the topology of 2-manifold polygonal meshes. Our new paradigm always guarantees topological consistency o...
151
click to vote
SOFSEM
1997
Springer
15 years 10 months ago
1997
Springer
: In this paper we rst present a general lower bound on the stabilization time which holds for a number of graph theoretic problems, including leader election, spanning tree constr...