3564 search results - page 540 / 713 » Evaluating a Formal Modelling Language |
135
Voted
DAGSTUHL
1996
15 years 5 months ago
1996
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
158
Voted
ICPW
2007
15 years 5 months ago
2007
The key objective of communal knowledge sharing at the scale of the World Wide Web is the ability to collaborate and integrate within and between communities. Ontologies, being fo...
132
Voted
ASE
2004
15 years 3 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
130
Voted
ALT
2004
Springer
16 years 21 days ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
139
Voted
DLOG
2004
15 years 5 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...