Sciweavers

282 search results - page 43 / 57
» Propositional Fusion Rules
Sort
View
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 7 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
MIAR
2010
IEEE
13 years 6 months ago
Automatic Computation of Electrodes Trajectory for Deep Brain Stimulation
In this paper, we propose an approach to find the optimal position of an electrode, for assisting surgeons in planning Deep Brain Stimulation. We first show how we formalized the...
Caroline Essert, Claire Haegelen, Pierre Jannin
SCAI
2001
13 years 9 months ago
Meaning and Partiality Revised
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
Jørgen Villadsen
ICIP
2005
IEEE
14 years 9 months ago
Layered local prediction network with dynamic learning for face super-resolution
In this paper, we propose a novel framework for face super-resolution based on a layered predictor network. In the first layer, multiple predictors are trained online with a dynami...
Dahua Lin, Wei Liu, Xiaoou Tang
ICIP
2009
IEEE
14 years 8 months ago
M2sir: A Multi Modal Sequential Importance Resampling Algorithm For Particle Filters
We present a multi modal sequential importance resampling particle filter algorithm for object tracking. We consider a hidden state sequence linked to several observation sequence...