Person:
Rossignac, Jarek

Associated Organization(s)
Organizational Unit
ORCID
ArchiveSpace Name Record

Publication Search Results

Now showing 1 - 10 of 69
Thumbnail Image
Item

Planar similarity-motion interpolating three keyframes: Comparative assessment of prior and novel solutions

2021 , Rossignac, Jarek , Vinacua, Àlvar

We compare 8 solutions for defining the planar motion of an oriented edge that interpolates 3 keyframes. One contribution is the discovery of several novel solutions, one of which produces what we call a locally-perseverant motion, for which the acceleration of a moving point remains constant in the local (moving) frame. The other contribution is to demonstrate that: (a) many interesting solutions exist, (b) the mathematical and perceived differences between the animations they produce are significant, and (c) these differences may matter for designers and applications. To allow motions that rotate by more than 2π, we represent the 3 keyframes and the moving edge by arrows, each storing the starting-point p of the edge, its length m, and its winding (arbitrary angle) w. Hence, an arrow defines an integer winding-count k (with |w − 2kπ| ≤ π) and a similarity transformation that combines dilation by m, rotation by w − 2kπ, and translation from the origin to p. Our chosen PITA (Planar Interpolation of Three Arrows) solutions are formulated using compositions of linear, polar, or log-spiral interpolations, or using ODEs or logarithms of matrices. We compare these solutions in terms of 11 mathematical properties and also in terms of subjective attributes that may be important for designers. We illustrate differences between our 8 chosen PITAs in 6 use-cases: Keyframe-animation, Variable-width stroke design, Banner deformation, Pattern animation, Motion prediction, and Curve design.

Thumbnail Image
Item

SOT: Compact Representation for Triangle and Tetrahedral Meshes

2010 , Rossignac, Jarek , Gurung, Topraj

The Corner Table (CT) represents a triangle mesh by storing 6 integer references per triangle (3 vertex references in the Vertex table and 3 references to opposite corners in the Opposite table, which accelerate access to adjacent triangles). The Compact Half Face (CHF) representation extends CT to tetrahedral meshes, storing 8 references per tetrahedron (4 in the Vertex table and 4 in the Opposite table). We use the term Vertex Opposite Table (VOT) to refer to both CT and CHF and propose a sorted variation, SVOT, which is inspired by tetrahedral mesh encoding techniques and which works for both triangle and tetrahedral meshes. The SVOT does not require additional storage and yet provides, for each vertex, a reference to an incident corner from which the star (incident cells) of the vertex may be traversed at a constant cost per visited element. We use the corner operators for querying and traversing the triangle meshes while for tetrahedral meshes, we propose a set of powerful wedge-based operators. Improving on the SVOT, we propose our Sorted Opposite Table (SOT) variation, which eliminates the Vertex table completely and hence reduces storage requirements by 50% to only 3 references per triangle for triangle meshes and 4 references and 9 bits per tetrahedron for tetrahedral meshes, while preserving the vertex-to-incident-corner references and supporting the corner operators and our wedge operators with a constant average cost. The SVOT and SOT representation work on manifold meshes with boundaries.

Thumbnail Image
Item

Optimized Blist Form (OBF)

2007-05-23 , Rossignac, Jarek

Any Boolean expressions may be converted into positive-form, which has only union and intersection operators. Let E be a positive-form expression with n literals. Assume that the truth-values of the literals are read one at a time. The numbers s(n) of steps (operations) and b(n) of working memory bits (footprint) needed to evaluate E depend on E and on the evaluation technique. A recursive evaluation performs s(n)=n–1 steps but requires b(n)=log(n)+1 bits. Evaluating the disjunctive form of E uses only b(n)=2 bits, but may lead to an exponential growth of s(n). We propose a new Optimized Blist Form (OBF) that requires only s(n)=n steps and b(n)=⌈log2j⌉ bits, where j=⌈log2(2n/3+2)⌉. We provide a simple and linear cost algorithm for converting positive-form expressions to their OBF. We discuss three applications: (1) Direct CSG rendering, where a candidate surfel stored at a pixel is classified against an arbitrarily complex Boolean expression using a footprint of only 6 stencil bits; (2) the new Logic Matrix (LM), which evaluates any positive form logical expression of n literals in a single cycle and uses a matrix of at most n×j wire/line connections; and (3) the new Logic Pipe (LP), which uses n gates that are connected by a pipe of ⌈log2j⌉ lines and when receiving a staggered stream of input vectors produces a value of a logical expression at each cycle.

Thumbnail Image
Item

Ringing Js refinements

2007 , Schaefer, Scott , Rossignac, Jarek

Both the four-point and the uniform cubic B-spline refinement (i.e. subdivision) schemes double the number of vertices of a closed-loop polygonal curve jP and respectively produce sequences of vertices fk and bk. The Js refinement proposed here produces vertices vk=(1-s)fk+sbk. Iterative applications of Js yield a family of curves parameterized by s. It includes the four-point curve (J0), the uniform cubic B-spline (J8/8), and the quintic B-spline (J12/8). Iterating Js converges to a C2 curve for 0[less than]s[less than]1, to a C3 curve for 1[less than or equal to]s[less than]3/2, and to a C4 curve for s=S3/2. J3/8 tends to reduce the error between consecutive refinements and is useful to reduce popping when switching levels-of-detail in multi-resolution rendering. J4/8 produces the Jarek curve, which, in 2D, encloses a surface area that is usually very close to the area enclosed by the original control polygon 0P. We propose model-dependent and model-independent optimizations for these parameter values. As other refinement schemes, the Js approach extends trivially to open curves, animations, and surfaces. To reduce memory requirements when evaluating the final refined curve, surface, or animation, we introduce a new evaluation technique, called Ringing. It requires a footprint of only 5 points per subdivision level for each curve and does not introduce any redundant calculations.

Thumbnail Image
Item

SQUINT Fields, Maps, Patterns, and Lattices

2018-07-23 , Rossignac, Jarek

The proposed Steady QUad INTerpolating (SQUINT) map is formulated in terms of a SQUINT Field of Similarities (FoS). It is controlled by four coplanar points. It maps the unit square onto a curved planar quad, R, which has these points as corners. Uniformly spaced, log-spiral isocurves decompose R into tiles that are similar to each other and, hence, each have equal angles at opposite corners. We provide closed-form expressions for computing the representation of the SQUINT map and for evaluating the map and its inverse. We discuss extensions and potential applications to texture maps and field warps and to the design, display, and constant-cost query of procedural models of arbitrarily complex lattices.

Thumbnail Image
Item

SAM: Steady Affine Motions

2009-11-23 , Rossignac, Jarek , Vinacua, Àlvar

An affine motion is a continuous map from time value t to an affinity A subscript t. It is a SAM (Steady Affine Motion), when A subscript t = A superscript t. Although the beauty of a motion is subjective, the above equation provides one mathematical characterization and includes the screw ("universal instantaneous") motion and the golden ("mirabilis") spiral. Although a real matrix, A superscript t, may not exist, we show that it does for a dense set of affinities A covering a significant range of rotations and shears around the identity and that it may be computed efficiently and robustly in two and three dimensions using closed form expressions. SAMs have remarkable properties. For example, the velocity of any point remains constant, both in the global (fixed) and local (moving) frames, which facilitates the exact computation of derived entities, such as the envelope surfaces used to define the boundary of a swept volume. We say that a pattern of features F subscript i is steady when there exists an affinity M such that F subscript i = M superscript i F subscript 0. Each M superscript i is a frame of a SAM and may be computed as A superscript (i/n), where A is the afiine relation F subscript n = A F subscript 0 between the first and the last feature. This option makes it possible to edit directly the feature count n or the cumulative transformation A.

Thumbnail Image
Item

Multiple Object Selection in Pattern Hierarchies

2007 , Jang, Justin , Rossignac, Jarek

Hierarchies of patterns of features, of subassemblies, or of CSG sub-expressions are used in architectural and mechanical CAD to eliminate laborious repetitions from the design process. Yet, often the placement, shape, or even existence of a selection of the repeated occurrences in the pattern must be adjusted. The specification of a desired selection of occurrences in a hierarchy of patterns is often tedious (involving repetitive steps) or difficult (requiring interaction with an abstract representation of the hierarchy graph). The OCTOR system introduced here addresses these two drawbacks simultaneously, offering an effective and intuitive solution, which requires only two mouse-clicks to specify any one of a wide range of possible selections. It does not require expanding the graph or storing an explicit list of the selected occurrences and is simple to compute. It is hence well suited for a variety of CAD applications, including CSG, feature-based design, assembly mock-up, and animation. We discuss a novel representation of a selection, a technology that makes it possible to use only two mouse-clicks for each selection, and the persistence of these selections when the hierarchy of patterns is edited.

Thumbnail Image
Item

Permutation Classifier

2018-04-24 , Zhou, Xinrui , Guerra, Concettina , Rossignac, Jarek , Rossignac-Milon, Leo

We consider permutations of a given set of n different symbols. We are given two unordered training sets, T1 and T2, of such permutations that are each assumed to contain examples of permutations of the corresponding type, t1 and t2. Our goal is to train a classifier, C(q), by computing a statistical model from T1 and T2, which, when given a candidate permutation, q, decides whether q is of type t1 or t2. We discuss two versions of this problem. The ranking version focuses on the order of the symbols. Our Separation Average Distance Matrix (SADiM) solution expands on previously proposed ranking aggregation formulations. The grouping version focuses on contiguity of symbols and hierarchical grouping. We propose and compare two solutions: (1) The Population Augmentation Ratio (PAR) solution computes a PQ-tree for each training set and uses a novel measure of distance between these and q that is based on ratios of population counts (i.e., of numbers of permutations explained by specific PQ-trees). (2) The Difference of Positions (DoP) solution is computationally less expensive than PAR and is independent of the absolute population counts. Although DoP does not have the simple statistical grounding of PAR, our experiments show that it is consistently effective.

Thumbnail Image
Item

ITR/PE+SY digital clay for shape input and display

2007-11-30 , Book, Wayne J. , Rossignac, Jarek , Mynatt, Elizabeth D. , Allen, Mark G. , Goldthwaite, John Randall , Rosen, David W. , Glezer, Ari

Thumbnail Image
Item

Pressing: Smooth Isosurfaces with Flats from Binary Grids

2007 , Chica, Antonio , Williams, Jason , Andujar, Carlos , Brunet, Pere , Navazo, Isabel , Rossignac, Jarek , Vinacua, Alvar

We explore the automatic recovery of solids from their binary volumetric discretizations. In particular, we propose an approach, called Pressing, for smoothing isosurfaces extracted from binary volumes while recovering their large planar regions (flats). Pressing yields a surface that is guaranteed to contain the samples of the volume classified as interior and exclude those classified as exterior. It uses global optimization to identify flats and constrained bilaplacian smoothing to eliminate sharp features and high-frequencies from the rest of the isosurface. It recovers sharp edges between flat regions and between flat and smooth regions. Hence, the resulting isosurface is usually a very accurate approximation of the original solid. Furthermore, the segmentation of the isosurface into flat and curved faces and the sharp/smooth labelling of their edges may be valuable for shape recognition, simplification, compression, and various reverse engineering and manufacturing applications.