Sciweavers

4270 search results - page 255 / 854
» A Permutation Approach to Validation
Sort
View
TCBB
2008
108views more  TCBB 2008»
15 years 6 months ago
Statistical Characterization of Protein Ensembles
When accounting for structural fluctuations or measurement errors, a single rigid structure may not be sufficient to represent a protein. One approach to solve this problem is to r...
Diego Rother, Guillermo Sapiro, Vijay Pande
JOT
2010
142views more  JOT 2010»
15 years 5 months ago
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
PPDP
2010
Springer
15 years 5 months ago
Functional derivation of a virtual machine for delimited continuations
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
Kenichi Asai, Arisa Kitani
PROCEDIA
2010
157views more  PROCEDIA 2010»
15 years 5 months ago
Recommender system for predicting student performance
Recommender systems are widely used in many areas, especially in e-commerce. Recently, they are also applied in e-learning tasks such as recommending resources (e.g. papers, books...
Nguyen Thai-Nghe, Lucas Drumond, Artus Krohn-Grimb...
TSE
2010
135views more  TSE 2010»
15 years 5 months ago
Exception Handling for Repair in Service-Based Processes
—This paper proposes a self-healing approach to handle exceptions in service-based processes and to repair the faulty activities with a model-based approach. In particular, a set...
Gerhard Friedrich, Mariagrazia Fugini, Enrico Muss...