10916 search results - page 371 / 2184 » On Constructive Connectives and Systems |
175
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper we construct fixed finite tile systems that assemble into particular classes of shapes. Moreover, given an arbitrary n, we show how to calculate the tile co...
176
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— In the average consensus a set of linear systems has to be driven to the same final state which corresponds to the average of their initial states. This contribution presents ...
188
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— We study the problem of reaching a consensus in the values of a distributed system of agents with time-varying connectivity in the presence of delays. We consider a widely stud...
151
click to vote
COMPGEOM
2004
ACM
16 years 1 months ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...
181
click to vote
APNOMS
2006
Springer
15 years 11 months ago
2006
Springer
In ubiquitous networks, a lot of sensors and RFID readers will be connected to the networks as well as PCs and mobile phones are connected, and huge numbers of transactions are exp...