Sciweavers

4944 search results - page 358 / 989
» From XML to Relational Models
Sort
View
SUM
2010
Springer
15 years 4 months ago
A Formal Analysis of Logic-Based Argumentation Systems
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
Leila Amgoud, Philippe Besnard
BMCBI
2008
97views more  BMCBI 2008»
15 years 7 months ago
Quantitative analysis of numerical solvers for oscillatory biomolecular system models
Background: This article provides guidelines for selecting optimal numerical solvers for biomolecular system models. Because various parameters of the same system could have drast...
Chang F. Quo, May D. Wang
SIGSOFT
2009
ACM
16 years 7 months ago
Automatic steering of behavioral model inference
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
David Lo, Leonardo Mariani, Mauro Pezzè
BC
2005
127views more  BC 2005»
15 years 6 months ago
Computational modeling and exploration of contour integration for visual saliency
Abstract Weproposeacomputationalmodelofcontourintegration for visual saliency. The model uses biologically plausible devices to simulate how the representations of elements aligned...
T. Nathan Mundhenk, Laurent Itti
228
Voted
BMCBI
2008
159views more  BMCBI 2008»
15 years 7 months ago
Multivariate hierarchical Bayesian model for differential gene expression analysis in microarray experiments
Background: Identification of differentially expressed genes is a typical objective when analyzing gene expression data. Recently, Bayesian hierarchical models have become increas...
Hongya Zhao, Kwok-Leung Chan, Lee-Ming Cheng, Hong...