1532 search results - page 163 / 307 » Connection Relations in Mereotopology |
CORR
2008
Springer
15 years 25 days ago
2008
Springer
The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the ass...
AML
2006
15 years 24 days ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
81
Voted
CAGD
2006
15 years 24 days ago
2006
Abstract. Volino and Thalmann have published a conjecture proposing sufficient conditions for non-selfintersection of surfaces. Such conditions may be used in solid modeling, compu...
101
click to vote
ENTCS
2006
15 years 23 days ago
2006
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
83
Voted
EOR
2006
15 years 23 days ago
2006
This paper addresses the railway rolling stock circulation problem. Given the departure and arrival times as well as the expected numbers of passengers, we have to assign the roll...