7167 search results - page 1120 / 1434 » A Technique for Invariant Generation |
220
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
189
Voted
PG
1997
IEEE
15 years 11 months ago
1997
IEEE
Recently, animations with deforming objects are frequently used in various Computer Graphics applications. Metamorphosis (or morphing) of three dimensional objects is one of techn...
212
click to vote
VISUALIZATION
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an algorithm, UFLIC (Unsteady Flow LIC), to visualize vectordata in unsteadyflow fields. Using the Line Integral Convolution (LIC) as the underlying method, ...
229
click to vote
COMPGEOM
1997
ACM
15 years 11 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
191
Voted
DAC
1997
ACM
15 years 11 months ago
1997
ACM
In this paper, we introduce a Shared Multiple Rooted XORbased Decomposition Diagram XORDD to represent functions with multiple outputs. Based on the XORDD representation, we dev...