1643 search results - page 61 / 329 » Consistability: Describing Usually Consistent Systems |
142
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
115
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
123
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
A system is described for summarizing head-mounted or hand-carried "always-on" video. The example used is a tourist walking around a historic city with friends and famil...
261
click to vote
NOSSDAV
1991
Springer
15 years 7 months ago
1991
Springer
: We have developed a real-time operating system kernel which has been used to support the transmission and reception of streams of live digital audio and video in real-time as par...
117
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper obtains feedback stabilization of an inverted pendulum on a rotor arm by the "method of controlled Lagrangians". This approach involves modifying the Lagrangi...