8582 search results - page 111 / 1717 » Here or There |
126
click to vote
COMPGEOM
2009
ACM
16 years 28 days ago
2009
ACM
of Polyhedra: Limits of Abstraction Friedrich Eisenbrand∗ Nicolai Hähnle† Alexander Razborov‡ Thomas Rothvoߧ September 25, 2009 tigate the diameter of a natural abstract...
169
click to vote
AINA
2008
IEEE
16 years 27 days ago
2008
IEEE
The Home Network is a pervasive environment by nature. Its openness to dynamic distributed and heterogeneous devices brings great challenges in home application design. We present...
184
click to vote
CSFW
2008
IEEE
16 years 27 days ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
199
click to vote
DFT
2008
IEEE
16 years 27 days ago
2008
IEEE
Tolerating defects and fabrication variations will be critical in any system made with devices that have nanometer feature sizes. This paper considers how fabrication variations a...
134
click to vote
ICPR
2008
IEEE
16 years 26 days ago
2008
IEEE
In this paper, we introduce an incremental nested partition algorithm for finding the inner structuralization of dynamic datasets. Here we use three partition criteria that allow...