4451 search results - page 115 / 891 » Continuous model synthesis |
130
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
146
Voted
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we develop a novel real-time, interactive, automatic multimodal exploratory environment that dynamically adapts the media presented, to user context. There are two ...
164
click to vote
TOG
2008
15 years 5 months ago
2008
We present a novel technique for the animation of turbulent fluids by coupling a procedural turbulence model with a numerical fluid solver to introduce subgrid-scale flow detail. ...
144
click to vote
CCE
2005
15 years 5 months ago
2005
In this paper, a rigorous MILP formulation for grass-root design of heat exchanger networks is developed. The methodology does not rely on traditional supertargeting followed by n...
162
click to vote
GRAPHICSINTERFACE
2003
15 years 7 months ago
2003
We introduce the Camera Aware View-dEpendent Continuous Level Of Detail (CAVECLOD) polygon mesh representation. Several techniques recently have been developed that use a hierarch...