12399 search results - page 2232 / 2480 » Deformable structural models |
140
click to vote
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
138
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Cardiomyopathy refers to diseases of the heart muscle that becomes enlarged, thick, or rigid. These changes affect the electrical stability of the myocardial cells, which in turn ...
132
click to vote
MCS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The computational genome-wide annotation of gene functions requires the prediction of hierarchically structured functional classes and can be formalized as a multiclass, ...
139
click to vote
CDC
2009
IEEE
2009
IEEE
Robust stabilization of model-based uncertain singularly perturbed systems with networked time-delay
15 years 9 months ago
—In this paper, a robust stabilization of the uncertain singularly perturbed system via a networked state feedback with the transmission time-delay is addressed. Taking its nomin...
143
Voted
JTRES
2009
ACM
15 years 9 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...