Sciweavers

1642 search results - page 140 / 329
» A Heuristic Method for Business Process Model Evaluation
Sort
View
BMCBI
2007
122views more  BMCBI 2007»
15 years 6 months ago
TAP score: torsion angle propensity normalization applied to local protein structure evaluation
Background: Experimentally determined protein structures may contain errors and require validation. Conformational criteria based on the Ramachandran plot are mainly used to disti...
Silvio C. E. Tosatto, Roberto Battistutta
CCE
2005
15 years 6 months ago
On-line monitoring of a sugar crystallization process
The present paper reports a comparative evaluation of four multivariate statistical process control (SPC) techniques for the on-line monitoring of an industrial sugar crystallizat...
A. Simoglou, Petia Georgieva, E. B. Martin, A. J. ...
FMCAD
2000
Springer
15 years 10 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
ECAI
2010
Springer
15 years 7 months ago
On Finding Compromise Solutions in Multiobjective Markov Decision Processes
A Markov Decision Process (MDP) is a general model for solving planning problems under uncertainty. It has been extended to multiobjective MDP to address multicriteria or multiagen...
Patrice Perny, Paul Weng
DESRIST
2009
Springer
153views Education» more  DESRIST 2009»
15 years 4 months ago
An approach for designing management support systems: the design science research process and its outcomes
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
Sven A. Carlsson, Stefan Henningsson, Stefan Hrast...