1 - 25 of 13
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Stevens, KennethEnergy and performance models for clocked and asynchronous communicationParameterized first-order models for throughput, energy, and bandwidth are presented in this paper. Models are developed for many common pipeline methodologies, including clocked flopped, clocked time-borrowing latch protocols, asynchronous two-cycle, four-cycle, delay-insensitive, and source synch...2003
2 Tasdizen, Tolga; Whitaker, Ross T.Particle-based simulation of fluidsDue to our familiarity with how fluids move and interact, as well as their complexity, plausible animation of fluids remains a challenging problem. We present a particle interaction method for simulating fluids. The underlying equations of fluid motion are discretized using moving particles and th...2003
3 Tasdizen, Tolga; Whitaker, Ross T.Feature preserving variational smoothing of terrain dataIn this paper, we present a novel two-step, variational and feature preserving smoothing method for terrain data. The first step computes the field of 3D normal vectors from the height map and smoothes them by minimizing a robust penalty function of curvature. This penalty function favors piecewise ...2003
4 Myers, Chris J.Verification of timed circuits with failure directed abstractionsThis paper presents a method to address state explosion in timed circuit verification by using abstraction directed by the failure model. This method allows us to decompose the verification problem into a set of subproblems, each of which proves that a specific failure condition does not occur. To...2003
5 Mathews, V. John; Varner, Michael W.; Clark, Edward B.Robust estimation of fetal heart rate variability using doppler ultrasoundAbstract-This paper presents a new measure of heart rate variability (HRV) that can be estimated using Doppler ultrasound techniques and is robust to variations in the angle of incidence of the ultrasound beam and the measurement noise. This measure employs the multiple signal characterization (MUSI...2003
6 Stevens, KennethRelative timingAbstract-Relative timing (RT) is introduced as a method for asynchronous design. Timing requirements of a circuit are made explicit using relative timing. Timing can be directly added, removed, and optimized using this style. RT synthesis and verification are demonstrated on three example circuits,...2003
7 Myers, Chris J.Effcient verification of hazard-freedom in gate-level timed asynchronous circuitsThis paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit timing information fur optimization throughout the entire design process. In asynchronous circuits, correct operation require...2003
8 Tasdizen, Tolga; Whitaker, Ross T.Curvature-based transfer functions for direct volume rendering: methods and applicationsDirect volume rendering of scalar fields uses a transfer function to map locally measured data properties to opacities and colors. The domain of the transfer function is typically the one-dimensional space of scalar data values. This paper advances the use of curvature information in multi-dimensio...2003
9 Furse, Cynthia M.Teaching and learning combined (TLC)Most professors have to lean a LOT. Every day, it seems, there IS something that we need that we don't know. So what do you do to lean this new information? Perhaps you hit the Web or the library, find a tutorial, a textbook, or a paper, and give it a little reading time in between a 12:00 class an...2003
10 Tasdizen, Tolga; Whitaker, Ross T.Anisotropic diffusion of surface normals for feature preserving surface reconstructionFor 3D surface reconstruction problems with noisy and incomplete range data measure d from complex scenes with arbitrary topologies, a low-level representation, such as level set surfaces, is used. Such surface reconstruction is typically accomplished by minimizing a weighted sum of data-model discr...2003
11 Mathews, V. John; Clark, Edward B.Robust estimation of fetal heart rate variability using doppler ultrasoundABSTRACT Heart rate variability (HRV) provides important information about the development of the cardiovascular system in fetuses. This paper presents a new measure of fetal HRV that can be estimated using Doppler ultrasound techniques. This measure employs the multiple signal characterization (MU...2003
12 Mathews, V. JohnBlind identification of bilinear systemsAbstract-This paper is concerned with the blind identification of a class of bilinear systems excited by non-Gaussian higher order white noise. The matrix of coefficients of mixed input-output terms of the bilinear system model is assumed to be triangular in this work. Under the additional assumptio...2003
13 Tasdizen, Tolga; Whitaker, Ross T.Anisotropic diffusion of surface normals for feature preserving surface reconstructionFor 3D surface reconstruction problems with noisy and incomplete range data measured from complex scenes with arbitrary topologies, a low-level representation, such as level set surfaces, is used. Such surface reconstruction is typically accomplished by minimizing a weighted sum of data-model discre...2003
1 - 25 of 13