2661 search results - page 367 / 533 » Model Checking Performability Properties |
132
Voted
SMA
1993
ACM
15 years 4 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
107
Voted
BMCBI
2010
15 years 25 days ago
2010
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
148
Voted
TVCG
2012
13 years 3 months ago
2012
—This paper presents a volumetric modeling framework to construct a novel spline scheme called restricted trivariate polycube splines (RTP-splines). The RTP-spline aims to genera...
112
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Markov random fields (MRFs) are popular and generic probabilistic models of prior knowledge in low-level vision. Yet their generative properties are rarely examined, while applica...
133
Voted
DASFAA
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Recently, we have proposed a novel method for the compression of time series based on mathematical models that explore dependencies between different time series. This r...