3224 search results - page 348 / 645 » Abstract Error Projection |
184
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
148
click to vote
ISCAPDCS
2004
15 years 8 months ago
2004
This paper addresses the possibility that IP, in the role of the common service, is not as general as is needed in order to directly address application requirements, including sc...
156
click to vote
IJSC
2008
15 years 6 months ago
2008
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
188
click to vote
JSC
2002
15 years 6 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
198
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In many applications decisions must be made about the state of an object based on indirect noisy observation of highdimensional data. An example is the determination of the presen...