9521 search results - page 1480 / 1905 » Compiling with continuations, continued |
179
click to vote
AROBOTS
2004
15 years 6 months ago
2004
In this paper, we introduce a self-assembling and self-organizing artifact, called a swarm-bot, composed of a swarm of s-bots, mobile robots with the ability to connect to and to ...
179
click to vote
ASE
2004
15 years 6 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
171
click to vote
BC
2004
15 years 6 months ago
2004
During saccadic eye movements, the visual world shifts rapidly across the retina. Perceptual continuity is thought to be maintained by active neural mechanisms that compensate for ...
163
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
For discrete-time linear time invariant systems with constraints on inputs and states, we develop an algorithm to determine explicitly, the state feedback control law which minimi...
147
click to vote
CAGD
2004
15 years 6 months ago
2004
For subdivision surfaces, it is important to characterize local shape near flat spots and points where the surface is not twice continuously differentiable. Applying general princ...