Sciweavers

1782 search results - page 62 / 357
» A Data Transformation Method Based on Schema Mapping
Sort
View
TIME
2005
IEEE
15 years 9 months ago
Analysis of Timed Processes with Data Using Algebraic Transformations
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
Michel A. Reniers, Yaroslav S. Usenko

Publication
364views
15 years 10 months ago
CV-SLAM: A new ceiling vision-based SLAM technique
We propose a fast and robust CV-SLAM (Ceiling Vision –based Simultaneous Localization and Mapping) technique using a single ceiling vision sensor. The proposed algorithm is suita...
Woo Yeon Jeong (Seoul National University), Kyoung...
DBKDA
2010
IEEE
219views Database» more  DBKDA 2010»
15 years 4 months ago
GN-DTD: Graphical Notations for Describing XML Documents
— This paper presents a graphical approach to model XML documents based on a Data Type Documentation called Graphical Notations-Data Type Documentation (GN-DTD). GN-DTD allows us...
Zurinahni Zainol, Bing Wang
MICCAI
2005
Springer
15 years 9 months ago
Automatic 4-D Registration in Dynamic MR Renography Based on Over-Complete Dyadic Wavelet and Fourier Transforms
Dynamic contrast-enhanced 4-D MR renography has the potential for broad clinical applications, but suffers from respiratory motion that limits analysis and interpretation. Since ea...
Ting Song, Vivian S. Lee, Henry Rusinek, Manmeen K...
MICCAI
2009
Springer
16 years 4 months ago
Tensor-Based Morphometry with Mappings Parameterized by Stationary Velocity Fields in Alzheimer's Disease Neuroimaging Initiativ
Tensor-based morphometry (TBM) is an analysis technique where anatomical information is characterized by means of the spatial transformations between a customized template and obse...
Ernesto Zacur, Matías Nicolás Bossa,...