Sciweavers

174 search results - page 29 / 35
» Normal Improvement for Point Rendering
Sort
View
ASP
2003
Springer
14 years 23 days ago
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
Thomas Eiter, Michael Fink, Hans Tompits, Stefan W...
AIIA
2009
Springer
13 years 11 months ago
Local Kernel for Brains Classification in Schizophrenia
Abstract. In this paper a novel framework for brain classification is proposed in the context of mental health research. A learning by example method is introduced by combining loc...
Umberto Castellani, E. Rossato, Vittorio Murino, M...
SGP
2003
13 years 9 months ago
Global Conformal Parameterization
We solve the problem of computing global conformal parameterizations for surfaces with nontrivial topologies. The parameterization is global in the sense that it preserves the con...
Xianfeng Gu, Shing-Tung Yau
JSAT
2006
126views more  JSAT 2006»
13 years 7 months ago
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
Sylvie Coste-Marquis, Daniel Le Berre, Florian Let...
BIBE
2009
IEEE
135views Bioinformatics» more  BIBE 2009»
13 years 5 months ago
Vascular Tree Construction with Anatomical Realism for Retinal Images
In this paper, we present a method to automatically extract the vessel segments and construct the vascular tree with anatomical realism from a color retinal image. The significanc...
Kai-Shung Lin, Chia-Ling Tsai, Michal Sofka, Chih-...