971 search results - page 118 / 195 » Approximate Satisfiability and Equivalence |
109
Voted
SIAMNUM
2010
14 years 7 months ago
2010
In this paper we develop an a posteriori error analysis of a new conforming mixed finite element method for the coupling of fluid flow with porous media flow. The flows are govern...
147
click to vote
TIT
2010
14 years 7 months ago
2010
Orthogonal matching pursuit (OMP) is the canonical greedy algorithm for sparse approximation. In this paper we demonstrate that the restricted isometry property (RIP) can be used f...
79
Voted
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider the problem of choosing, sequentially, a map which assigns elements of a set A to a few elements of a set B. On each round, the algorithm suffers some cost associated ...
101
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
The improved T and improved n models are proposed for onchip interconnect macromodeling. Using global approximations, simple approximation frames are derived and applied to modeli...
109
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
A technique for clustering data by common attribute values involves grouping rows and columns of a binary matrix to make the minimum number of submatrices all 1’s. As binary mat...