7623 search results - page 385 / 1525 » Constructive Volume Modeling |
165
click to vote
ICTAC
2004
Springer
16 years 1 days ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
199
click to vote
KES
2004
Springer
16 years 1 days ago
2004
Springer
We consider the problem of inferring kinetic mechanisms for biochemical reactions from time series data. Using a priori knowledge about the structure of chemical reaction kinetics ...
153
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
178
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper presents an mathematical model that establishes the relation between the relevant cutting process parameters and surface quality, cutting forces and rate removal, in...
175
click to vote
VC
2008
15 years 6 months ago
2008
In this paper, we propose a hardware-accelerated PDE (partial differential equation) solver based on the lattice Boltzmann model (LBM). The LBM is initially designed to solve fluid...