32 search results - page 4 / 7 » Independent active program representation using ASN. 1 |
WCRE
1993
IEEE
14 years 1 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
We propose a novel 1 2-norm inverse solver for estimating the sources of EEG/MEG signals. Based on the standard 1-norm inverse solver, the proposed sparse distributed inverse solve...
DIAGRAMS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We review the use of diagrams in the UK National School Curriculum (NC) and assess it in the light of current research on childrens' graph comprehension. It is noted...
SIGCSE
2003
ACM
14 years 2 months ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...
EUROPAR
2000
Springer
14 years 20 days ago
2000
Springer
Abstract. Definitions for the uniform representation of d-dimensional matrices serially in Morton-order (or Z-order) support both their use with cartesian indices, and their divide...