3082 search results - page 498 / 617 » Deviation Analysis: A New Use of Model Checking |
217
click to vote
ICANNGA
2007
Springer
16 years 10 days ago
2007
Springer
In this paper we present a new method of 3D non-negative tensor factorization (NTF) that is robust in the presence of noise and has many potential applications, including multi-way...
167
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
160
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Computational biology is often associated with genetic or genomic studies only. However, thanks to the increase of computational resources, computational models are ap...
181
click to vote
CGF
2010
15 years 6 months ago
2010
Statistical shape modeling is a widely used technique for the representation and analysis of the shapes and shape variations present in a population. A statistical shape model mod...
185
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: An accurate description of protein shape derived from protein structure is necessary to establish an understanding of protein-ligand interactions, which in turn will l...