Sciweavers

1330 search results - page 90 / 266
» No Classic Boundary Conditions
Sort
View
123
Voted
LICS
2010
IEEE
14 years 11 months ago
On Strong Maximality of Paraconsistent Finite-Valued Logics
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
Arnon Avron, Ofer Arieli, Anna Zamansky
COMPGEOM
2009
ACM
15 years 7 months ago
Epsilon nets and union complexity
We consider the following combinatorial problem: given a set of n objects (for example, disks in the plane, triangles), and an integer L ≥ 1, what is the size of the smallest su...
Kasturi R. Varadarajan
70
Voted
ESORICS
2007
Springer
15 years 7 months ago
What, Indeed, Is Intransitive Noninterference?
Abstract. This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the...
Ron van der Meyden
75
Voted
TIT
2002
68views more  TIT 2002»
15 years 13 days ago
A Lagrangian formulation of Zador's entropy-constrained quantization theorem
Abstract--Zador's classic result for the asymptotic high-rate behavior of entropy-constrained vector quantization is recast in a Lagrangian form which better matches the Lloyd...
Robert M. Gray, Tamás Linder, Jia Li
116
Voted
IBERAMIA
2010
Springer
14 years 11 months ago
Interaction Graphs for Multivariate Binary Data
We define a class of graphs that summarize in a compact visual way the interaction structure between binary multivariate characteristics. This allows studying the conditional depe...
Johan Van Horentonioeek, Jesús Emeterio Nav...