221 search results - page 14 / 45 » Algebraic Stuttering Simulations |
125
Voted
TVCG
2012
13 years 5 months ago
2012
—In this paper, we present a novel isosurface visualization technique that guarantees the accurate visualization of isosurfaces with complex attribute data defined on (un)structu...
125
Voted
WSC
2000
15 years 4 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
130
Voted
AAAI
1996
15 years 4 months ago
1996
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...
136
Voted
ENTCS
2006
15 years 3 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
143
Voted
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...