1940 search results - page 111 / 388 » Graph Transformation with Variables |
113
click to vote
ISSAC
1995
Springer
15 years 6 months ago
1995
Springer
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
169
click to vote
PODS
1999
ACM
15 years 7 months ago
1999
ACM
Semistructured data occur in situations where information lacks a homogeneous structure and is incomplete. Yet, up to now the incompleteness of information has not been re ected b...
123
click to vote
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. RDF Graphs are sets of assertions in the form of subjectpredicate-object triples of information resources. Although for simple examples they can be understood intuitively...
107
click to vote
ICCD
2000
IEEE
16 years 7 days ago
2000
IEEE
This paper presents a very general, exact technique for scheduling looping data-flow graphs. In contrast to the conventional technique using loop iteration variables and integer ...
107
click to vote
APPROX
2009
Springer
15 years 10 months ago
2009
Springer
An arithmetic read-once formula (ROF for short) is a formula (a circuit whose underlying graph is a tree) in which the operations are {+, ×} and such that every input variable la...