4767 search results - page 253 / 954 » Structures for Abstract Rewriting |
186
click to vote
PCI
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Graphs are useful data structures capable of efficiently representing a variety of technological and social networks. They are therefore utilized in simulation-based stud...
162
click to vote
STACS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We consider data structures and algorithms for preprocessing a labelled list of length n so that, for any given indices i and j we can answer queries of the form: What is...
197
click to vote
FSTTCS
2004
Springer
16 years 16 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
173
click to vote
PKDD
2004
Springer
16 years 15 days ago
2004
Springer
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
168
click to vote
ICEIS
2003
IEEE
16 years 13 days ago
2003
IEEE
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...