Sciweavers

1403 search results - page 215 / 281
» About Approximations of Exponentials
Sort
View
WABI
2007
Springer
15 years 6 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
99
Voted
FGR
2006
IEEE
169views Biometrics» more  FGR 2006»
15 years 6 months ago
Combining PCA and LFA for Surface Reconstruction from a Sparse Set of Control Points
This paper presents a novel method for 3D surface reconstruction based on a sparse set of 3D control points. For object classes such as human heads, prior information about the cl...
Reinhard Knothe, Sami Romdhani, Thomas Vetter
ICSEA
2006
IEEE
15 years 6 months ago
Testing a Network by Inferring Representative State Machines from Network Traces
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
Nancy D. Griffeth, Yuri Cantor, Constantinos Djouv...
85
Voted
ISESE
2006
IEEE
15 years 6 months ago
A literature survey of the quality economics of defect-detection techniques
Over the last decades, a considerable amount of empirical knowledge about the efficiency of defect-detection techniques has been accumulated. Also a few surveys have summarised th...
Stefan Wagner
95
Voted
LICS
2006
IEEE
15 years 6 months ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell