11565 search results - page 121 / 2313 » Computing Minimal Mappings |
189
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
-- We present a new heuristic algorithm for hazard-free minimization of two-level logic. On nearly all examples, the algorithm finds an exactly minimum-cost cover. It also solves s...
159
click to vote
ECCV
1992
Springer
16 years 8 months ago
1992
Springer
This paper presents a computational model that segments images based on the textural properties of object surfaces. The proposed Coupled-Membrane model applies the weak membrane ap...
193
click to vote
AISC
2004
Springer
15 years 12 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
166
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Testing for uniformity of multivariate data is the initial step in exploratory pattern analysis. We propose a new uniformity testing method, which first computes the maximum (sta...
170
click to vote
SPDP
1991
IEEE
15 years 10 months ago
1991
IEEE
This paper presents several techniques for adding fault-tolerance to distributed memory parallel computers. More formally, given a target graph with n nodes, we create a fault-tol...