5754 search results - page 347 / 1151 » Multi-class Model M |
143
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This article presents two methods for open-loop river flow control, based on a classical hydraulic model (the Hayami model, a partial differential equation resulting from a sim...
151
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
A primary goal of high-level modeling is to efficiently explore a broad design space, converging on an optimal or near-optimal system architecture before moving to a more detaile...
167
click to vote
CA
2000
IEEE
15 years 11 months ago
2000
IEEE
In traditional animation, keyframes are modeled and standard graphics pipeline is used to animate the scene. In this paper we consider volume animation where the 30 world and its ...
185
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
163
Voted
WSC
2007
15 years 9 months ago
2007
The construction process is subject to an array of influences, both from internal and external environments, which makes the process performance uncertain and difficult to predict...