8068 search results - page 558 / 1614 » Java Data Objects |
174
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
186
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present various kinds of variational PDE based methods to interpolate missing sinogram data for tomographic image reconstruction. Using the observed sinogram data we inpaint th...
173
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
We present an approach to personal disaster recovery, e.g. after a hard-disk crash, based not on an explicitly ex-ante defined recovery plan with a rigid backup regime, but rather...
188
click to vote
ICSEA
2006
IEEE
16 years 26 days ago
2006
IEEE
The benefits of impact analysis in the maintenance and evolution of software systems are well known, and many forms of impact analysis, over different software life cycle objects...
198
click to vote
EMMCVPR
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents a novel method for surface recovery from discrete 3D point data sets. In order to produce improved reconstruction results, the algorithm presented in this paper...