44 search results - page 3 / 9 » Structuring Retrenchments in B by Decomposition |
DAC
2007
ACM
14 years 6 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
BILDMED
2008
13 years 6 months ago
2008
: We decompose molecular surfaces which are in the form of Van der Waals model into a structure adapted for mesh-free modeling. Our focus is on the generation of spherical patches ...
TSP
2011
13 years 9 days ago
2011
—In this paper, a new particle filter (PF) which we refer to as the decentralized PF (DPF) is proposed. By first decomposing the state into two parts, the DPF splits the filte...
CDC
2010
IEEE
12 years 12 months ago
2010
IEEE
In this paper, a new particle filter (PF) which we refer to as the decentralized PF (DPF) is proposed. By first decomposing the state into two parts, the DPF splits the filtering p...
KDD
2005
ACM
14 years 5 months ago
2005
ACM
Dyadic data matrices, such as co-occurrence matrix, rating matrix, and proximity matrix, arise frequently in various important applications. A fundamental problem in dyadic data a...