697 search results - page 54 / 140 » Decomposition Structures for Event-B |
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper proposes adapting human jumping dynamics to humanoid robotic structures. Data obtained from human jumping phases and decomposition together with ground reaction forc...
VTS
1998
IEEE
15 years 4 months ago
1998
IEEE
A fast fault-tolerant controller structure is presented, which is capable of recovering from transient faults by performing a rollback operation in hardware. The proposed fault-to...
AFP
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...
116
click to vote
KDD
2004
ACM
16 years 7 days ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...