8768 search results - page 360 / 1754 » Generalizing the notion of support |
209
Voted
LICS
2010
IEEE
15 years 6 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
151
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
We study the problem of anonymizing data with quasi-sensitive attributes. Quasi-sensitive attributes are not sensitive by themselves, but certain values or their combinations may ...
228
click to vote
RP
2010
Springer
15 years 5 months ago
2010
Springer
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...
193
click to vote
TCAD
2010
15 years 2 months ago
2010
In this paper, we present DeFer--a fast, high-quality, scalable, and nonstochastic fixed-outline floorplanning algorithm. DeFer generates a nonslicing floorplan by compacting a sli...
172
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
This work studies distributed linear transmission strategies for the multiple-input multiple-output (MIMO) interference channel with multiple concurrent links. We introduce the no...