6274 search results - page 776 / 1255 » Proofs, Programs, Processes |
149
click to vote
TBILLC
2005
Springer
16 years 11 days ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
152
click to vote
UM
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes the process by which we constructed a user model for ERST - an External Representation Selection Tutor - which recommends external representations (ERs) for pa...
202
click to vote
LOPSTR
2004
Springer
16 years 8 days ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
158
click to vote
CC
2003
Springer
16 years 4 days ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
137
click to vote
CMSB
2003
Springer
16 years 4 days ago
2003
Springer
Alternative splicing is a key process in post-transcriptional regulation, by which several kinds of mature RNA can be obtained from the same premessenger RNA. Using a constraint pr...