Sciweavers

654 search results - page 47 / 131
» Hybrid Modelling for Robust Solving
Sort
View
DNA
2006
Springer
143views Bioinformatics» more  DNA 2006»
13 years 9 months ago
A Framework for Modeling DNA Based Molecular Systems
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
Sudheer Sahu, Bei Wang, John H. Reif
DAC
2000
ACM
14 years 8 months ago
To split or to conjoin: the question in image computation
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio So...
TFS
2010
152views Education» more  TFS 2010»
13 years 2 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
CVPR
2003
IEEE
14 years 9 months ago
Learning Object Intrinsic Structure for Robust Visual Tracking
In this paper, a novel method to learn the intrinsic object structure for robust visual tracking is proposed. The basic assumption is that the parameterized object state lies on a...
Qiang Wang, Guangyou Xu, Haizhou Ai
ICCV
2007
IEEE
14 years 9 months ago
A Globally Optimal Algorithm for Robust TV-L1 Range Image Integration
Robust integration of range images is an important task for building high-quality 3D models. Since range images, and in particular range maps from stereo vision, may have a substa...
Christopher Zach, Thomas Pock, Horst Bischof