1026 search results - page 20 / 206 » A Methodology for Equational Reasoning |
131
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...
149
click to vote
FROCOS
2000
Springer
15 years 8 months ago
2000
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...
150
click to vote
JMM2
2007
15 years 4 months ago
2007
— An alternative technique for shape morphing using a surface generating method using partial differential equations is outlined throughout this work. The boundaryvalue nature th...
130
click to vote
CADE
2006
Springer
15 years 8 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
122
click to vote
ICCBR
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we propose a large case-based reasoner for the legal domain. Analyzing legal texts for indexing purposes makes the implementation of large case bases a complex task. ...