1669 search results - page 233 / 334 » Structured Specification of Model Interpreters |
144
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
148
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Genome-scale metabolic reconstructions under the Constraint Based Reconstruction and Analysis (COBRA) framework are valuable tools for analyzing the metabolic capabili...
126
Voted
CAD
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents solution techniques for a three-dimensional Automatic Made-to-Measure (AMM) scheme for apparel products. Freeform surface is adopted to represent the complex g...
150
click to vote
TAGT
1998
Springer
15 years 7 months ago
1998
Springer
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...
79
Voted
AIPS
2008
15 years 5 months ago
2008
In recent work we showed that models constructed from planner performance data over a large suite of benchmark problems are surprisingly accurate; 91-99% accuracy for success and ...