279 search results - page 10 / 56 » Type Reconstruction for SCI |
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
In this paper simulation studies of the ultrasound computerized tomography (CT) technique employing time of flight data is presented. An enhanced genetic algorithm based reconstru...
SCALESPACE
1999
Springer
13 years 11 months ago
1999
Springer
In this paper we develop partial differential equations (PDEs) that model the generation of a large class of morphological filters, the levelings and the openings/closings by rec...
ACRI
2004
Springer
14 years 28 days ago
2004
Springer
Large areas of savannas are found in Africa in climatic zones favourable to humid tropical forests: they are relicts of past dry periods and forest domains are naturally expanding....
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
HLK
2003
IEEE
14 years 25 days ago
2003
IEEE
Based on high-level geometric knowledge, especially symmetry, imposed upon objects in images, we demonstrate in this paper how to edit images in terms of correct 3-D shape and rel...