Sciweavers

243 search results - page 5 / 49
» A General Approach to Removing Degeneracies
Sort
View
TABLEAUX
2007
Springer
14 years 1 months ago
Axiom Pinpointing in General Tableaux
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
Franz Baader, Rafael Peñaloza
DAC
2005
ACM
14 years 8 months ago
Exploiting suspected redundancy without proving it
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robe...
ICIP
2005
IEEE
14 years 9 months ago
A segmentation method using compound Markov random fields based on a general boundary model
Markov random field (MRF) theory has widely been applied to segmentation in noisy images. This paper proposes a new MRF method. First, it couples the original labeling MRF with a ...
Jue Wu, Albert C. S. Chung
ICDM
2006
IEEE
113views Data Mining» more  ICDM 2006»
14 years 1 months ago
Mining Maximal Generalized Frequent Geographic Patterns with Knowledge Constraints
In frequent geographic pattern mining a large amount of patterns is well known a priori. This paper presents a novel approach for mining frequent geographic patterns without assoc...
Vania Bogorny, João Francisco Valiati, Sand...
SIGGRAPH
1991
ACM
13 years 11 months ago
A global illumination solution for general reflectance distributions
A general light transfer simulation algorithm for environments composed of materials with arbitrary reflectance functions is presented. This algorithm removes the previous practic...
François X. Sillion, James Arvo, Stephen H....