1835 search results - page 206 / 367 » Classifying Description Logics |
164
Voted
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
131
click to vote
COLING
2008
15 years 6 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
125
click to vote
IJDAR
2006
15 years 4 months ago
2006
Structure analysis of table form documents is an important issue because a printed document and even an electronic document do not provide logical structural information but merely...
154
Voted
IJCAI
2003
15 years 6 months ago
2003
We present a description of three different algorithms that use background knowledge to improve text classifiers. One uses the background knowledge as an index into the set of tra...
156
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Combinational circuits are generally thought of as acyclic structures. It is known that cyclic structures can be combinational, and techniques have been proposed to analyze cyclic...