242 search results - page 38 / 49 » Auctions with Arbitrary Deals |
NFM
2011
14 years 4 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
75
Voted
TSP
2010
14 years 4 months ago
2010
A general deflation framework is described for the separation of a desired signal subspace of arbitrary dimensions from noisy multichannel observations. The method simultaneously u...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper, we rst present a theorem that HOSVD-based representation of high-order tensor data provides a robust framework that can be used for a uni ed representation of the H...
127
click to vote
SIAMREV
2011
14 years 15 days ago
2011
Magnetic Resonance Electrical Impedance Tomography (MREIT) is a new medical imaging modality providing high resolution static conductivity images based on the current injection MRI...
110
click to vote
SODA
2012
ACM
13 years 3 days ago
2012
ACM
Given an integer h, a graph G = (V, E) with arbitrary positive edge capacities and k pairs of vertices (s1, t1), (s2, t2), . . . , (sk, tk), called terminals, an h-route cut is a ...