Sciweavers

2482 search results - page 356 / 497
» A Visual Language for XML
Sort
View
COSIT
1999
Springer
162views GIS» more  COSIT 1999»
15 years 7 months ago
Terminological Default Reasoning about Spatial Information: A First Step
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
Ralf Möller, Michael Wessel
ECEASST
2008
95views more  ECEASST 2008»
15 years 3 months ago
A Static Layout Algorithm for DiaMeta
Abstract: The diagram editor generator framework DIAMETA utilizes meta-modelbased language specifications and supports free-hand as well as structured editing. In this paper we pre...
Sonja Maier, Mark Minas
ENTCS
2002
141views more  ENTCS 2002»
15 years 2 months ago
Graph Based Debugging with Fujaba
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
Leif Geiger, Albert Zündorf
ACL
2009
15 years 24 days ago
System for Querying Syntactically Annotated Corpora
This paper presents a system for querying treebanks. The system consists of a powerful query language with natural support for cross-layer queries, a client interface with a graph...
Petr Pajas, Jan Stepánek
POPL
2005
ACM
16 years 3 months ago
Context logic and tree update
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty