Sciweavers

2425 search results - page 353 / 485
» Practical performance models for complex, popular applicatio...
Sort
View
UML
2005
Springer
15 years 12 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
SMA
1993
ACM
124views Solid Modeling» more  SMA 1993»
15 years 10 months ago
Intelligent form feature interaction management in a cellular modeling scheme
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
Rafael Bidarra, José Carlos Teixeira
BMCBI
2006
130views more  BMCBI 2006»
15 years 6 months ago
An accurate and interpretable model for siRNA efficacy prediction
Background: The use of exogenous small interfering RNAs (siRNAs) for gene silencing has quickly become a widespread molecular tool providing a powerful means for gene functional s...
Jean-Philippe Vert, Nicolas Foveau, Christian Laja...
PRL
2010
173views more  PRL 2010»
15 years 4 months ago
Resolving stereo matching errors due to repetitive structures using model information
This study regards the problem of incorrect stereo matches due to the occurrence of repetitive structures in the scene. In stereo vision, repetitive structures may lead to “phan...
Björn Barrois, Marcus Konrad, Christian W&oum...
IWLCS
2001
Springer
15 years 11 months ago
Explorations in LCS Models of Stock Trading
In previous papers we have described the basic elements for building an economic model consisting of a group of artificial traders functioning and adapting in an environment conta...
Sonia Schulenburg, Peter Ross