697 search results - page 60 / 140 » Decomposition Structures for Event-B |
107
click to vote
CVPR
1996
IEEE
16 years 1 months ago
1996
IEEE
A family of structure from motion algorithms called the factorization method has been recently developed from the orthographic projection model to the afJine camera model [23, i6,...
CIRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— The ability to self-replicate is one of the distinctive features of living organisms. Robots capable of self-replication would have a profound impact on the field of robotics ...
110
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
EDCC
2005
Springer
15 years 5 months ago
2005
Springer
Many governmental agencies and businesses organizations use networked systems to provide a number of services. Such a service-oriented network can be implemented as an overlay on ...
HPCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...