13734 search results - page 420 / 2747 » Abstractions of data types |
187
click to vote
VMV
2000
15 years 9 months ago
2000
Voxelisation is the term given to the process of converting data from one source type into a three dimensional volume of data values. The techniques known collectively as volume v...
161
click to vote
IFL
2005
Springer
16 years 1 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
150
click to vote
LREC
2010
15 years 9 months ago
2010
We present in this paper an on-going research: the construction and annotation of a Romanian Generative Lexicon (RoGL). Our system follows the specifications of CLIPS project for ...
180
click to vote
DEBU
1999
15 years 7 months ago
1999
WOL is a Horn-clause language for specifying transformations involving complex types and recursive data-structures. Its declarative syntax makes programs easy to modify in respons...
150
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— A novel approach named recursive evidence filtering for information processing in Distributed Sensor Networks (DSNs) is presented. It is based on the Dempster-Shafer (...