Sciweavers

14331 search results - page 304 / 2867
» On the modeling and analysis of obligations
Sort
View
STAIRS
2008
175views Education» more  STAIRS 2008»
15 years 8 months ago
Learning Process Behavior with EDY: an Experimental Analysis
This paper presents an extensive evaluation, on artificial datasets, of EDY, an unsupervised algorithm for automatically synthesizing a Structured Hidden Markov Model (S-HMM) from ...
Ugo Galassi
BMCBI
2008
134views more  BMCBI 2008»
15 years 6 months ago
Stability analysis of mixtures of mutagenetic trees
Background: Mixture models of mutagenetic trees are evolutionary models that capture several pathways of ordered accumulation of genetic events observed in different subsets of pa...
Jasmina Bogojeska, Thomas Lengauer, Jörg Rahn...
SIAMAM
2008
109views more  SIAMAM 2008»
15 years 6 months ago
Bifurcation Analysis of a General Class of Nonlinear Integrate-and-Fire Neurons
In this paper we define a class of formal neuron models being computationally efficient and biologically plausible, i.e., able to reproduce a wide range of behaviors observed in in...
Jonathan Touboul
BMCBI
2007
176views more  BMCBI 2007»
15 years 6 months ago
Genome Expression Pathway Analysis Tool - Analysis and visualization of microarray gene expression data under genomic, proteomic
Background: Regulation of gene expression is relevant to many areas of biology and medicine, in the study of treatments, diseases, and developmental stages. Microarrays can be use...
Markus Weniger, Julia C. Engelmann, Jörg Schu...
QEST
2008
IEEE
16 years 1 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore