Search Sciweavers | Sciweavers

740 search results - page 20 / 148

» A Spatial Logic for Concurrency

click to vote

KI
1999
Springer

135views Artificial Intelligence» more KI 1999»

On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics

13 years 11 months ago

Download www.dbnet.ece.ntua.gr

Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...

Werner Nutt

claim paper

Read More »

click to vote

DEXAW
2008
IEEE

93views Database» more DEXAW 2008»

Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming

14 years 2 months ago

Download www.media-art-online.org

Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...

Kenji Saito

claim paper

Read More »

click to vote

SCANGIS
2003

144views Information Technology» more SCANGIS 2003»

Concurrency Control in Distributed Geographical Database Systems

13 years 9 months ago

Download www.scangis.org

Abstract. This paper discusses concurrency control in distributed geographical database systems. A geographic data server providing transactional services must be designed to handl...

Gjermund Hanssen

claim paper

Read More »

click to vote

CSL
2007
Springer

75views Automated Reasoning» more CSL 2007»

Satisfiability of a Spatial Logic with Tree Variables

14 years 1 months ago