697 search results - page 72 / 140 » Decomposition Structures for Event-B |
106
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
122
click to vote
BMCBI
2010
15 years 4 hour ago
2010
Background: Protein-protein interaction (PPI) plays essential roles in cellular functions. The cost, time and other limitations associated with the current experimental methods ha...
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
We describe a framework for decomposing the distortion between two images into a linear combination of components. Unlike conventional linear bases such as those in Fourier or wav...
123
click to vote
ADBIS
2004
Springer
15 years 5 months ago
2004
Springer
Nowadays, one of the main research issues of great interest is the efficient tracking of mobile objects that enables the effective answering of spatiotemporal queries. This line o...
DATE
1997
IEEE
15 years 4 months ago
1997
IEEE
A target structure for implementing fast edge-triggered control units is presented. In many cases, the proposed controller is faster than a one-hot encoded structure as its correc...