697 search results - page 74 / 140 » Decomposition Structures for Event-B |
123
click to vote
ISBI
2004
IEEE
16 years 18 days ago
2004
IEEE
The wavelet decomposition of a high-dimensional shape transformation posed in a mass-preserving framework is used as a morphological signature of a brain image. Population differe...
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we present a fast algorithm to derive the iiiharmonic distortion in fully balanced Gm- C filters. It is based on Vi i state-space modeling and decomposition of the f...
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
107
click to vote
VLSID
2002
IEEE
15 years 4 months ago
2002
IEEE
A new approach to synthesizing totally symmetric Boolean functions is presented. First, a novel cellular array is introduced for synthesizing unate symmetric functions. Using this...
FCT
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. We present algorithms for maintaining shortest path information in dynamic outerplanar digraphs with sublogarithmic query time. By choosing appropriate parameters we achi...