408 search results - page 24 / 82 » Relation Algebras for Reasoning about Time and Space |
FSS
2010
14 years 10 months 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...
KR
2004
Springer
15 years 5 months ago
2004
Springer
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...
101
click to vote
TSE
2008
14 years 11 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
100
click to vote
BSN
2006
IEEE
15 years 5 months ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...