4767 search results - page 253 / 954 » Structures for Abstract Rewriting |
168
click to vote
PCI
2005
Springer
16 years 1 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...
144
click to vote
STACS
2005
Springer
16 years 20 hour 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...
171
click to vote
FSTTCS
2004
Springer
15 years 12 months 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...
157
click to vote
PKDD
2004
Springer
15 years 12 months 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...
151
click to vote
ICEIS
2003
IEEE
15 years 12 months 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...