Sciweavers

1000 search results - page 123 / 200
» order 2011
Sort
View
CORR
2011
Springer
210views Education» more  CORR 2011»
14 years 9 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
CORR
2011
Springer
187views Education» more  CORR 2011»
14 years 9 months ago
Backdoors to Tractable Answer-Set Programming
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
Johannes Klaus Fichte, Stefan Szeider
CORR
2011
Springer
190views Education» more  CORR 2011»
14 years 9 months ago
Doubly Robust Smoothing of Dynamical Processes via Outlier Sparsity Constraints
Abstract—Coping with outliers contaminating dynamical processes is of major importance in various applications because mismatches from nominal models are not uncommon in practice...
Shahrokh Farahmand, Georgios B. Giannakis, Daniele...
CORR
2011
Springer
203views Education» more  CORR 2011»
14 years 9 months ago
Comparing Haar-Hilbert and Log-Gabor Based Iris Encoders on Bath Iris Image Database
This papers introduces a new family of iris encoders which use 2-dimensional Haar Wavelet Transform for noise attenuation, and Hilbert Transform to encode the iris texture. In orde...
Nicolaie Popescu-Bodorin, Valentina E. Balas
CORR
2011
Springer
148views Education» more  CORR 2011»
14 years 9 months ago
Dominating Manipulations in Voting with Partial Information
We consider manipulation problems when the manipulator only has partial information about the votes of the nonmanipulators. Such partial information is described by an information...
Vincent Conitzer, Toby Walsh, Lirong Xia