Sciweavers

980 search results - page 76 / 196
» Logical Testing
Sort
View
ECAI
2010
Springer
13 years 8 months ago
Parallel TBox Classification in Description Logics - First Experimental Results
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev
PR
2006
154views more  PR 2006»
13 years 7 months ago
A fuzzy logic approach for detection of video shot boundaries
Video temporal segmentation is normally the first and important step for content-based video applications. Many features including the pixel difference, colour histogram, motion, ...
Hui Fang, Jianmin Jiang, Yue Feng
BMCBI
2007
109views more  BMCBI 2007»
13 years 7 months ago
A cis-regulatory logic simulator
Background: A major goal of computational studies of gene regulation is to accurately predict the expression of genes based on the cis-regulatory content of their promoters. The d...
Robert D. Zeigler, Jason Gertz, Barak A. Cohen
DEXAW
2000
IEEE
74views Database» more  DEXAW 2000»
14 years 3 days ago
Retrieval Situations and Belief Change
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
David E. Losada, Alvaro Barreiro
EON
2008
13 years 9 months ago
Debugging OWL Ontologies - A Reality Check
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
Heiner Stuckenschmidt