1643 search results - page 61 / 329 » Consistability: Describing Usually Consistent Systems |
ASM
2008
ASM
14 years 11 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...
ICRA
2006
IEEE
15 years 3 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...
70
Voted
ICPR
2004
IEEE
15 years 11 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...
123
click to vote
NOSSDAV
1991
Springer
15 years 1 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...
ICRA
1999
IEEE
15 years 2 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...