1833 search results - page 188 / 367 » A Matrix-Based Approach to the Global Locality Optimization ... |
134
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...
129
Voted
RTA
2009
Springer
15 years 10 months ago
2009
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, τ, σ) such that L and R are termgraphs represen...
130
click to vote
CP
1999
Springer
15 years 8 months ago
1999
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
135
click to vote
AAAI
2000
15 years 5 months ago
2000
We shed light on the connections between different approaches to constraint satisfaction by showing that the main consistency concepts used to derive tractability results for cons...
133
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
A common problem within most large corporations nowadays is the diversity of database systems that are employed by their many departments in the development of a product. Usually, ...