557 search results - page 16 / 112 » The L4.verified Project - Next Steps |
WSC
1998
13 years 10 months ago
1998
Many organisations have seen the use of simulation evolve, often in something of a piecemeal fashion. This may lead to some deficiencies in the way that simulation is employed. Th...
ICPR
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper we propose an algorithm for inpainting of stereo images. The issue is to reconstruct the holes in a pair of stereo image as if they were the projection of a 3D scene...
IMCSIT
2010
13 years 6 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper proposes a novel method for the projective reconstruction of planes and cameras from multiple images by factorizing a matrix containing all planar homographies between ...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
The maximum intensity projection (MIP) is a useful tool to visualize 3D images. The processing time of the MIP depends on the number of voxels of the 3D data. Therefore, it is ver...