Sciweavers

350 search results - page 16 / 70
» Soft Linear Set Theory
Sort
View
CSL
2010
Springer
14 years 10 months ago
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
Damien Pous
IACR
2011
127views more  IACR 2011»
13 years 9 months ago
Near-Linear Unconditionally-Secure Multiparty Computation with a Dishonest Minority
Secure multiparty computation (MPC) allows a set of n players to compute any public function, given as an arithmetic circuit, on private inputs, so that privacy of the inputs as we...
Eli Ben-Sasson, Serge Fehr, Rafail Ostrovsky
ICPR
2008
IEEE
15 years 3 months ago
Fuzzy discriminant projections for facial expression recognition
A linear projective map called fuzzy discriminant projections has been proposed in this paper. Fuzzy discriminant projection (FDP) is motivated by locality preserving projections ...
Ruicong Zhi, Qiuqi Ruan, Zhenjiang Miao
ICDM
2009
IEEE
197views Data Mining» more  ICDM 2009»
14 years 7 months ago
A Linear-Time Graph Kernel
The design of a good kernel is fundamental for knowledge discovery from graph-structured data. Existing graph kernels exploit only limited information about the graph structures bu...
Shohei Hido, Hisashi Kashima
IJAR
2008
78views more  IJAR 2008»
14 years 9 months ago
A survey of the theory of coherent lower previsions
This paper presents a summary of Peter Walley's theory of coherent lower previsions. We introduce three representations of coherent assessments: coherent lower and upper prev...
Enrique Miranda