2374 search results - page 322 / 475 » Automatic Generation of Model Translations |
156
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
In order to analyze the sensitivity of children to RF fields and mobile phones in particular, the SAR (Specific Absorption Ratio) defined as the power absorbed by a unit of mass o...
182
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes an efficient 3D modeling method from 3D range data-sets that is utilizing range data segmentation. Our algorithm starts with a set of unregistered 3D range sc...
179
click to vote
ACMACE
2006
ACM
16 years 13 days ago
2006
ACM
Recent advances in three-dimensional (3D) data acquisition techniques have offered an alternative to the traditional 2D metamorphosis (or morphing) approaches, which gradually cha...
175
click to vote
ICMCS
2005
IEEE
16 years 1 days ago
2005
IEEE
The paper presents an MPEG-7 Multimedia Description Schemes (MDS)-based metadata and user profile model used within an enhanced DTV environment for semantic annotation and person...
186
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...