ECAI
2000
Springer
14 years 3 days ago
2000
Springer
In this paper, an editing algorithm based on the projection of the examples in each dimension is presented. The algorithm, that we have called EOP (Editing by Ordered Projection) h...
ECAI
2000
Springer
14 years 3 days ago
2000
Springer
We use a strong form of the tree model property to boost the performance of resolution-based first-order theorem provers on the so-called relational translations of modal formulas...
ECAI
2000
Springer
14 years 3 days ago
2000
Springer
This paper explores the possibility to exploit text on the world wide web in order to enrich the concepts in existing ontologies. First, a method to retrieve documents from the WWW...
ECAI
2000
Springer
14 years 3 days ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
ECAI
2000
Springer
14 years 3 days ago
2000
Springer
This article presents a framework for extracting relevant qualitative chunks from a video sequence. The notion of qualitative descriptors, used to perform the qualitative extracti...
DIAGRAMS
2000
Springer
14 years 3 days ago
2000
Springer
Bar charts are common data representations in scientific and technical papers. In order to recognize the printed bar charst, we present a new Hough based bar chart recognition algo...
DIAGRAMS
2000
Springer
14 years 3 days ago
2000
Springer
Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as \disjointness" and \containment" of t...
DIAGRAMS
2000
Springer
14 years 3 days ago
2000
Springer
DIAGRAMS
2000
Springer
14 years 3 days ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
DIAGRAMS
2000
Springer
14 years 3 days ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...