Sciweavers

1317 search results - page 56 / 264
» A Technique for Constructing Developable Surfaces
Sort
View
DATE
2006
IEEE
95views Hardware» more  DATE 2006»
15 years 4 months ago
An effective technique for minimizing the cost of processor software-based diagnosis in SoCs
The ever increasing usage of microprocessor devices is sustained by a high volume production that in turn requires a high production yield, backed by a controlled process. Fault d...
Paolo Bernardi, Ernesto Sánchez, Massimilia...
CVPR
2007
IEEE
16 years 2 days ago
Multiple View Image Reconstruction: A Harmonic Approach
This paper presents a new constraint connecting the signals in multiple views of a surface. The constraint arises from a harmonic analysis of the geometry of the imaging process a...
Justin Domke, Yiannis Aloimonos
MIAR
2006
IEEE
15 years 4 months ago
Improved Shape Modeling of Tubular Objects Using Cylindrical Parameterization
Statistical shape modeling is widely used for medical image segmentation and interpretation. The main problem in building a shape model is the construction of a pointwise correspon...
Toon Huysmans, Jan Sijbers, Filiep Vanpoucke, Brig...
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 2 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
WSC
1998
14 years 11 months ago
Modeling and Simulation of Public Housing Construction in Hong Kong
Hong Kong possesses one of the world's largest public housing stocks which provide accommodation for 3.1 million people. To meet the growing need for public housing, the gove...
Jonathan Jinsheng Shi, S. X. Zeng, C. M. Tam