Sciweavers

3726 search results - page 124 / 746
» A structured definition of the modeling process
Sort
View
ICASSP
2008
IEEE
14 years 4 months ago
Probabilistic structural alignment of RNA sequences
We propose an algorithm for estimating the common secondary structure, alignment, and posterior base pairing probabilities for two RNA sequences. A definition of structural align...
Arif Ozgun Harmanci, Gaurav Sharma, David H. Mathe...
ROOM
2000
13 years 11 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum
ISPDC
2003
IEEE
14 years 3 months ago
Role Activity Diagrams as Finite State Processes
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
Costin Badica, Amelia Badica, Valentin Litoiu
ECCV
2006
Springer
14 years 2 months ago
Nonparametric Estimation of Multiple Structures with Outliers
Common problem encountered in the analysis of dynamic scene is the problem of simultaneous estimation of the number of models and their parameters. This problem becomes difficult a...
Wei Zhang, Jana Kosecká
SRDS
2006
IEEE
14 years 4 months ago
Solving Consensus Using Structural Failure Models
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
Timo Warns, Felix C. Freiling, Wilhelm Hasselbring