10910 search results - page 235 / 2182 » Input modeling using a computer algebra system |
162
click to vote
ENVSOFT
2008
15 years 5 months ago
2008
The decoupled direct method in three dimensions (DDM-3D) provides an efficient and accurate approach for probing the sensitivity of atmospheric pollutant concentrations to various...
148
click to vote
CDC
2008
IEEE
15 years 12 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
157
click to vote
NIPS
1998
15 years 6 months ago
1998
The Expectation Maximization EM algorithm is an iterative procedure for maximum likelihood parameter estimation from data sets with missing or hidden variables 2 . It has been app...
178
click to vote
SIGOPS
2008
15 years 5 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
138
click to vote
WSC
2004
15 years 6 months ago
2004
The interactive, simulation-aided analysis of material flow systems is often done with the help of virtual reality. If a user wants to influence the simulation run, the simulation...