7404 search results - page 1246 / 1481 » New Tools in Education |
220
click to vote
PG
1998
IEEE
15 years 11 months ago
1998
IEEE
Space deformation is an important tool in computer animation and shape design. In this paper we propose a new local deformation model based on generalized metaballs. The user spec...
203
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
162
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
199
click to vote
VRML
1998
ACM
15 years 11 months ago
1998
ACM
The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...
209
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...