7066 search results - page 347 / 1414 » Contact Relations with Applications |
217
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
252
click to vote
DEBU
2010
15 years 6 months ago
2010
In this paper we describe applications, research issues, and approaches related to Intelligent Transportation Systems (ITS). More specifically, we focus on spatio-temporal databas...
173
click to vote
IJAR
2008
15 years 6 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
193
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models. A rule-based system comprises a set of r...
166
click to vote
ENDM
2007
15 years 6 months ago
2007
This paper initiates a study of the connection between graph homomorphisms and the Tutte polynomial. This connection enables us to extend the study to other important polynomial i...