1054 search results - page 100 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
131
click to vote
SIGGRAPH
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes the various artistic effects of watercolor and shows how they can be simulated automatically. Our watercolor model is based on an ordered set of translucent g...
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
121
click to vote
NHM
2010
14 years 11 months ago
2010
Previous experimental studies of spontaneous imbibition on chalk core plugs have shown that seawater may change the wettability in the direction of more water-wet conditions in cha...
145
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
We introduce approximate query techniques for searching and analyzing two-dimensional data sets such as line or scatter plots. Our techniques allow users to explore a dataset by d...
146
click to vote
AICCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...