Sciweavers

4810 search results - page 411 / 962
» Modeling Value Speculation
Sort
View
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
BMCBI
2007
98views more  BMCBI 2007»
15 years 6 months ago
Evaluation of 3D-Jury on CASP7 models
Background: 3D-Jury, the structure prediction consensus method publicly available in the Meta Server http://meta.bioinfo.pl/, was evaluated using models gathered in the 7th round ...
László Kaján, Leszek Rychlews...
194
Voted
CRV
2009
IEEE
115views Robotics» more  CRV 2009»
16 years 1 months ago
Learning Model Complexity in an Online Environment
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
Dan Levi, Shimon Ullman
RTCSA
1999
IEEE
15 years 11 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
ATAL
2008
Springer
15 years 8 months ago
An adaptive probabilistic trust model and its evaluation
In open settings, the participants are autonomous and there is no central authority to ensure the felicity of their interactions. When agents interact in such settings, each relie...
Chung-Wei Hang, Yonghong Wang, Munindar P. Singh