7040 search results - page 36 / 1408 » The Single Model Principle |
FMCAD
2007
Springer
14 years 19 days ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
CI
2004
13 years 8 months ago
2004
We consider automated decision aids that help users select the best solution from a large set of options. For such tools to successfully accomplish their task, eliciting and repre...
BMCBI
2008
13 years 8 months ago
2008
Background: Structure-based computational methods are needed to help identify and characterize protein-protein complexes and their function. For individual proteins, the most succ...
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
ECOME is an interactive, graph-based model for simulating an evolving, closed consumption web. It demonstrates the fundamental behavior of a global ecosystem over evolutionary tim...
PAMI
1998
13 years 8 months ago
1998
—Visualization has proven to be a powerful and widely-applicable tool for the analysis and interpretation of multivariate data. Most visualization algorithms aim to find a projec...