4460 search results - page 683 / 892 » Formal methods for interactive systems |
161
click to vote
IV
1999
IEEE
15 years 8 months ago
1999
IEEE
A method of using a texture mapping approach to color scales is described, for the purpose of visualizing continuous field scalar quantities. The technique is most appropriate whe...
134
Voted
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...
192
click to vote
CSCW
1992
ACM
15 years 8 months ago
1992
ACM
A system that allows people to simultaneously modify a common design in a graphically rich environment was developed to identify and examine groupware interface issues unique to t...
118
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
160
click to vote
DICTA
2008
15 years 6 months ago
2008
The analysis of fish movement as an indicator of fish behaviour plays an important role in aquaculture research. Currently observations are carried out manually using video record...