697 search results - page 60 / 140 » Decomposition Structures for Event-B |
166
click to vote
CVPR
1996
IEEE
16 years 8 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,...
146
click to vote
CIRA
2007
IEEE
16 years 11 days 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 ...
173
click to vote
EMSOFT
2007
Springer
16 years 5 days 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...
172
click to vote
EDCC
2005
Springer
15 years 11 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 ...
140
click to vote
HPCC
2005
Springer
15 years 11 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...