1722 search results - page 61 / 345 » Variables in Concept Graphs |
ECIR
2003
Springer
14 years 11 months ago
2003
Springer
We present in this paper a relational approach for indexing and retrieving photographs from a collection. Instead of using simple keywords as an indexing language, we propose to u...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
GI
2004
Springer
15 years 3 months ago
2004
Springer
: A concept for identification of candidates for outliers is presented, with a focus on nominal variables. The database concerned is searched for rules that are almost universally...
FM
2006
Springer
15 years 1 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
ESSLLI
1999
Springer
15 years 2 months ago
1999
Springer
We recall the concept of a linguistic variable and the representation of its values (i.e. linguistic terms) by means of fuzzy sets. In this framework adverbs are represented by fuz...