Sciweavers

961 search results - page 91 / 193
» An Algorithm for Computing Semi-stable Semantics
Sort
View
WEBI
2009
Springer
14 years 3 months ago
Measuring Inconsistency in DL-Lite Ontologies
Abstract—Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches h...
Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhi...
SAMT
2009
Springer
176views Multimedia» more  SAMT 2009»
14 years 3 months ago
Shape-Based Autotagging of 3D Models for Retrieval
This paper describes an automatic annotation, or autotagging, algorithm that attaches textual tags to 3D models based on their shape and semantic classes. The proposed method emplo...
Ryutarou Ohbuchi, Shun Kawamura
SEMCO
2008
IEEE
14 years 3 months ago
Text Categorization Based on Boosting Association Rules
Associative classification is a novel and powerful method originating from association rule mining. In the previous studies, a relatively small number of high-quality association...
Yongwook Yoon, Gary Geunbae Lee
SPIN
2005
Springer
14 years 2 months ago
Model Checking Machine Code with the GNU Debugger
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
Eric Mercer, Michael Jones
CIVR
2008
Springer
222views Image Analysis» more  CIVR 2008»
13 years 10 months ago
Automatic image annotation via local multi-label classification
As the consequence of semantic gap, visual similarity does not guarantee semantic similarity, which in general is conflicting with the inherent assumption of many generativebased ...
Mei Wang, Xiangdong Zhou, Tat-Seng Chua