Sciweavers

1096 search results - page 4 / 220
» Abstract Canonical Inference
Sort
View
CORR
2010
Springer
90views Education» more  CORR 2010»
14 years 9 months ago
On Constructive Connectives and Systems
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
Arnon Avron, Ori Lahav
RECOMB
2010
Springer
14 years 11 months ago
An Algorithmic Framework for Predicting Side-Effects of Drugs
Abstract. One of the critical stages in drug development is the identification of potential side effects for promising drug leads. Large scale clinical experiments aimed at discove...
Nir Atias, Roded Sharan
ALT
2007
Springer
15 years 6 months ago
Learning Rational Stochastic Tree Languages
Abstract. We consider the problem of learning stochastic tree languages, i.e. probability distributions over a set of trees T(F), from a sample of trees independently drawn accordi...
François Denis, Amaury Habrard
CAIP
2005
Springer
260views Image Analysis» more  CAIP 2005»
15 years 3 months ago
An Illumination Invariant Face Recognition Approach Using Exemplar-Based Synthesis Technique
Abstract. This paper proposes a new method to solve the problem of face recognition under varying illumination conditions. We introduce an exemplar-based technique to decouple and ...
Tele Tan, Thorsten Kühnapfel, Amelyn Wongso, ...