2611 search results - page 309 / 523 » A Logic for Concepts and Similarity |
203
click to vote
COORDINATION
2007
Springer
16 years 23 days ago
2007
Springer
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
161
click to vote
COSIT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
155
click to vote
ICTAC
2007
Springer
16 years 22 days ago
2007
Springer
LTL cannot express the whole class of ω-regular languages and several extensions have been proposed. Among them, Quantified propositional Linear Temporal Logic (QLTL), proposed b...
245
click to vote
SAMT
2007
Springer
16 years 21 days ago
2007
Springer
Video summarization approaches have various fields of application, specifically related to organizing, browsing and accessing large video databases. In this paper we propose and ev...
159
click to vote
CASES
2006
ACM
16 years 17 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...