Sciweavers

9245 search results - page 1275 / 1849
» Virtualization
Sort
View
EUROMED
2010
15 years 5 months ago
The Digital Archive of Sculptures of Tien-Shen Poo in Early Taiwan History
The traditional sculptures with posture and beauty are created by the fingers of sculptors, and these traditional techniques cannot be replaced by contemporary computer technologie...
Ying-Hsiu Huang
EUROMED
2010
15 years 5 months ago
Accuracy Verification of Manual 3D CG Reconstruction: Case Study of Destroyed Architectural Heritage, Bam Citadel
Abstract. We explain our approach for verifying the accuracy of 3D CG manual modeling of the Citadel of Bam, which is an architectural heritage site destroyed by an earthquake in 2...
Mohammad Reza Matini, Kinji Ono
FAC
2010
259views more  FAC 2010»
15 years 5 months ago
An algebraic approach to the design of compilers for object-oriented languages
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
ICISP
2010
Springer
15 years 5 months ago
Correction of Left Ventricle Strain Signals Estimated from Tagged MR Images
Strain measurement is a quantity used for assessing the regional function of the left ventricular (LV) of the heart. They are computed by tracking the motion of the non-invasive, ...
Mina E. Khalil, Ahmed S. Fahmy, Nael F. Osman
ICRA
2010
IEEE
126views Robotics» more  ICRA 2010»
15 years 5 months ago
Planning short paths with clearance using explicit corridors
— A central problem of applications dealing with virtual environments is planning a collision-free path for a character. Since environments and their characters are growing more ...
Roland Geraerts
« Prev « First page 1275 / 1849 Last » Next »