Sciweavers

282 search results - page 14 / 57
» Propositional Fusion Rules
Sort
View
LICS
1991
IEEE
13 years 11 months ago
On the Deduction Rule and the Number of Proof Lines
d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...
Maria Luisa Bonet, Samuel R. Buss
INFFUS
2007
117views more  INFFUS 2007»
13 years 7 months ago
Pixel-based and region-based image fusion schemes using ICA bases
The task of enhancing the perception of a scene by combining information captured by different sensors is usually known as image fusion. The pyramid decomposition and the Dual-Tr...
Nikolaos Mitianoudis, Tania Stathaki
INFFUS
2007
88views more  INFFUS 2007»
13 years 7 months ago
A progressive query language and interactive reasoner for information fusion support
Previous approaches in query processing do not consider queries to automatically combine results obtained from different information sources, i.e. they do not support information...
Shi-Kuo Chang, Erland Jungert, Xin Li
SAT
2009
Springer
121views Hardware» more  SAT 2009»
14 years 2 months ago
The Complexity of Reasoning for Fragments of Default Logic
Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as Σp 2-complete, an...
Olaf Beyersdorff, Arne Meier, Michael Thomas, Heri...
CIVR
2007
Springer
14 years 1 months ago
Semantics reinforcement and fusion learning for multimedia streams
Fusion of multimedia streams for enhanced performance is a critical problem for retrieval. However, fusion performance tends to easily overfit the hillclimb set used to learn fus...
Dhiraj Joshi, Milind R. Naphade, Apostol Natsev