276 search results - page 24 / 56 » Decomposition tool for event-B |
101
click to vote
CIARP
2004
Springer
15 years 3 months ago
2004
Springer
Geometric moments have been proven to be a very efficient tool for description and recognition of binary shapes. Numerous methods for effective calculation of image moments have be...
DAC
1996
ACM
15 years 1 months ago
1996
ACM
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...
TWC
2008
14 years 9 months ago
2008
Abstract--We analyze asymptotic ergodic capacity of multidimensional vector-sensor array MIMO (PMD-MIMO) channels established by the use of dual-polarized antennas in the form of 1...
CGF
1999
14 years 9 months ago
1999
In this paper, we outline the creation of an Informed Environment, dedicated to urban life simulation.We propose methods and tools for creating and providing the information neces...
ASE
2002
14 years 9 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...