4604 search results - page 783 / 921 » Correlation-based Data Representation |
119
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
160
click to vote
ICAT
2003
IEEE
15 years 9 months ago
2003
IEEE
Forest resource management systems and forest landscape visualization applications often need usersteered interactive displays of a forest landscape representing the underlying fo...
130
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
– The traditional way of approaching placement problems in computer-aided design (CAD) tools for analog layout is to explore an extremely large search space of feasible or unfeas...
164
click to vote
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
In the present paper, we propose a particle-based method for the visual simulation of explosive flames. This method consists of a numerical simulation method based on a fluid mode...
158
click to vote
PVG
2003
IEEE
15 years 9 months ago
2003
IEEE
A number of problems are well suited for volumetric representation for both simulation and storage, however, the large amount of data that needs to be processed and rendered with ...