2909 search results - page 37 / 582 » Consistency of the theory of contexts |
107
click to vote
IGPL
2010
15 years 13 days ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
132
click to vote
AMC
2005
15 years 1 months ago
2005
In this paper a new and efficient supervised method for color image segmentation is presented. This method improves a part of the automatic extraction problem. The basic technique...
108
click to vote
IPL
2000
15 years 1 months ago
2000
We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability proble...
102
click to vote
FSS
2010
15 years 14 days ago
2010
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
121
click to vote
EUROSSC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Research in context-aware systems shows that using context information enables the development of personalized mobile applications. The context acquisition process in a c...