1054 search results - page 101 / 211 » Translation Validation of System Abstractions |
186
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
The problem of reconstructing a binary image (usually an image in the plane and not necessarily on a Cartesian grid) from a few projections translates into the problem of solving a...
174
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present the design of a new fMRI compatible haptic interface with 3DOFs, based on electrical DC actuation, for the study of brain mechanisms of human motor contr...
132
click to vote
CVDB
2004
ACM
15 years 11 months ago
2004
ACM
The development of applications involving multi-dimensional data sets on top of a RDBMS raises several difficulties that are not directly related to the scientific problem being ...
179
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
166
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...