971 search results - page 112 / 195 » Approximate Satisfiability and Equivalence |
109
Voted
CACM
2011
14 years 7 months ago
2011
This paper presents Sora, a fully programmable software radio platform on commodity PC architectures. Sora combines the performance and fidelity of hardware SDR platforms with th...
130
Voted
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
We address the problem of labeling individual datapoints given some knowledge about (small) subsets or groups of them. The knowledge we have for a group is the likelihood value fo...
128
Voted
ICCV
2011
IEEE
14 years 24 days ago
2011
IEEE
An articulated trajectory is defined as a trajectory that remains at a fixed distance with respect to a parent trajectory. In this paper, we present a method to reconstruct an a...
107
click to vote
STOC
2009
ACM
16 years 1 months ago
2009
ACM
Consider the edge-connectivity survivable network design problem: given a graph G = (V, E) with edge-costs, and edgeconnectivity requirements rij Z0 for every pair of vertices i,...
230
click to vote
VLDB
2005
ACM
16 years 1 months ago
2005
ACM
Estimating the selectivity of multidimensional range queries over real valued attributes has significant applications in data exploration and database query optimization. In this p...