Sciweavers

6434 search results - page 66 / 1287
» Model Transformations with Reference Models
Sort
View
TFS
2010
152views Education» more  TFS 2010»
13 years 4 months ago
Robust Optimal Reference-Tracking Design Method for Stochastic Synthetic Biology Systems: T-S Fuzzy Approach
At present, the development in the nascent field of synthetic gene networks is still difficult. Most newly created gene networks are nonfunctioning due to intrinsic parameter fluct...
Bor-Sen Chen, Chih-Hung Wu
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
13 years 7 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
PSIVT
2009
Springer
187views Multimedia» more  PSIVT 2009»
14 years 4 months ago
Video-Based Motion Capturing for Skeleton-Based 3D Models
In this paper, a semi-automatic method to capture motion data from a single-camera video is proposed. The input video is first segmented and analyzed, and a 3D character model wit...
Liang-Yu Shih, Bing-Yu Chen, Ja-Ling Wu
PAMI
2011
13 years 5 months ago
3D Face Reconstruction from a Single Image Using a Single Reference Face Shape
—Human faces are remarkably similar in global properties, including size, aspect ratio, and location of main features, but can vary considerably in details across individuals, ge...
Ira Kemelmacher-Shlizerman, Ronen Basri
MODELS
2007
Springer
14 years 4 months ago
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
Perdita Stevens