|
|
Creator | Title | Description | Subject | Date |
| 51 |
 |
Hansen, Charles D. | Parallel volume rendering using binary-swap compositing | Existing volume rendering methods, though capable of very effective visualizations, are computationally intensive and therefore fail to achieve interactive rendering rates for large data sets. Although computing technology continues to advance, computer processing power never seems to catch up to th... | | 1994 |
| 52 |
 |
Venkatasubramanian, Suresh | Multiple target tracking with RF sensor networks | RF sensor networks are wireless networks that can localize and track people (or targets) without needing them to carry or wear any electronic device. They use the change in the received signal strength (RSS) of the links due to the movements of people to infer their locations. In this paper, we cons... | | 2014-01-01 |
| 53 |
 |
Sobh, Tarek M. | Prototyping a robotic manipulator and controller | Building a robot and its environment (control, software, hardware, simulation, etc) is a complex task that requires the efforts of an experienced engineering team. Once a robot model has been chosen and a design has been agreed upon, it becomes difficult to make design changes without affecting the ... | Robotic manipulator; Robotic controller; Prototyping | 1993 |
| 54 |
 |
Cohen, Elaine | A triangulation-invariant method for anisotropic geodesic map computation on surface meshes | This paper addresses the problem of computing the geodesic distance map from a given set of source vertices to all other vertices on a surface mesh using an anisotropic distance metric. Formulating this problem as an equivalent control theoretic problem with Hamilton-Jacobi-Bellman partial different... | | 2012-01-01 |
| 55 |
 |
Hansen, Charles D. | Fast stereoscopic images with ray-traced volume rendering | One of the drawbacks of standard volume rendering techniques is that it is often difficult to comprehend the three-dimensional structure of the volume from a single frame; this is especially true in cases where there is no solid surface. Generally, several frames must be generated and viewed sequent... | Volume rendering; Ray tracing; Stereoscopic images; Reprojection | 1994 |
| 56 |
 |
Bruderlin, Beat | Interaction with constraints in 3D modeling | Interactive geometric modeling is an important part of the industrial product design process. This paper describes how constraints can be used to facilitate the interactive definition of geometric objects and assemblies. We have implemented a geometric modeling system that combines the definition o... | Interactive geometric modeling; Industrial product design; Geometric constraints | 1990 |
| 57 |
 |
Sobh, Tarek M. | Modeling and recovering uncertainties in sense data | This work examines closely the possibilities for errors, mistakes and uncertainties in sensing systems. We identify and suggest techniques for modeling, analyzing, and recovering these uncertainties. This work concentrates on uncertainties in visual sensing to recover 3-D structure and motion charac... | Uncertainties; Sensing systems; Visual sensing | 1994 |
| 58 |
 |
Henderson, Thomas C. | Received signal strength based bearing-only robot navigation in a sensor network field | This paper presents a low-complexity, novel approach to wireless sensor network (WSN) assisted autonomous mobile robot (AMR) navigation. The goal is to have an AMR navigate to a target location using only the information inherent to WSNs, i.e., topology of the WSN and received signal strength (RSS) ... | | 2014-01-01 |
| 59 |
 |
Van Uitert, Robert; Weinstein, David; Johnson, Christopher R. | Volume currents in forward and inverse MEG simulations using realistic head models | Many magnetoencephalography (MEG) forward and inverse simulation models employ spheres, a singular shape which does not require consideration of volume currents. With more realistic, inhomogenous, anisotropic, non-spherical head models, volume currents cannot be ignored. We verify the accuracy of ... | Forward MEG, Inverse MEG, Source localization, Volume currents, Finite element method | 2001 |
| 60 |
 |
Hansen, Charles D. | Illustrative interactive stipple rendering | Abstract-Simulating hand-drawn illustration can succinctly express information in a manner that is communicative and informative. We present a framework for an interactive direct stipple rendering of volume and surface-based objects. By combining the principles of artistic and scientific illustratio... | | 2003-04 |
| 61 |
 |
Gopalakrishnan, Ganesh | Towards a verification technique for large synchronous circuits | We present a symbolic simulation based veri cation approach which can be applied to large synchronous circuits A new technique to encode the state and input constraints as parametric Boolean expressions over the state and input variables is used to make our symbolic simulation based veri cation... | symbolic simulation; verification | 1992 |
| 62 |
 |
Henderson, Thomas C. | Analysis of topographic maps for recreational purposes using decision trees | In this paper we describe a method for predicting the subjective quality of a new mountain bike route for a particular subject based on routes previously ridden and ranked by the subject. GPS tracks of the previously ridden routes are over laid on rasterized topographic maps and topographic features... | | 2013-01-01 |
| 63 |
 |
Carter, Tony M. | Path-programmable logic | Path-Programmable Logic (PPL) is a structured IC design methodology under development at the University of Utah. PPL employs a sea-of-wires approach to design. In PPL, design is done entirely using cells for both functionality and interconnect. PPL cells may have modifiers that change either their ... | Path-Programmable Logic; PPL | 1989 |
| 64 |
 |
Sobh, Tarek M. | Autonomous observation | We address the problem of observing an agent?? We advocate a modeling approach for the visual system and its observer where a discrete event dynamic system DEDS framework is developed and events are de ned as ranges on parameter subsets?? The dynamic recursive context for nite state machine... | Autonomous observation | 1992 |
| 65 |
 |
Balasubramonian, Rajeev | Microarchitectural wire management for performance and power in partitioned architectures | Future high-performance billion-transistor processors are likely to employ partitioned architectures to achieve high clock speeds, high parallelism, low design complexity, and low power. In such architectures, inter-partition communication over global wires has a significant impact on overall proc... | Microarchitecture; Partitioned architectures; Heterogeneous interconnects; Cache access | 2005 |
| 66 |
 |
Sobh, Tarek M. | Autonomous Observation | We address the problem of observing an agent. We advocate a modeling approach for the visual system and its observer, where a discrete event dynamic system (DEDS) framework is developed and "events" are defined as ranges on parameter subsets. The dynamic recursive context for finite state machines (... | Observation; Manipulation process | 1992 |
| 67 |
 |
Regehr, John | Precise garbage collection for C | Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liveness of a pointer is apparent at the source level. Precise GC is primarily useful for long-running programs and programs t... | | 2009-01-01 |
| 68 |
 |
Regehr, John | A practical logic framework for verifying safety properties of executables | We present a novel program logic, Lf , which is designed on top of a Hoare logic, but is simpler, more flexible and more scalable. Based on Lf , we develop a framework for automatically verifying safety properties of executables. It utilizes a whole-program interprocedural abstract interpretation to... | | 2011-01-01 |
| 69 |
 |
Lindstrom, Gary E. | Our LIPS are sealed: interfacing logic and functional programming systems | We report on a technique for interfacing an untyped logic language to a statically poly morphically typed functional language Our key insight is that polymorphic types can be interpreted as "need to know" specifications on function arguments. This leads to a criterion for liberally yet safely invoki... | LIPS; Logic language; Functional language | 1992 |
| 70 |
 |
Henderson, Thomas C. | UPE: Utah prototyping environment for robot manipulators | Developing an environment that enables optimal and flexible design of robot manipulators using reconfigurable links, joints, actuators, and sensors is an essential step for efficient robot design and prototyping. Such an environment should have the right "mix" of software and hardware components fo... | prototyping environment; robot manipulators | 1994 |
| 71 |
 |
Kirby, Robert Michael | GPU-based volume visualization from high-order finite element fields | This paper describes a new volume rendering system for spectral/hp finite-element methods that has as its goal to be both accurate and interactive. Even though high-order finite element methods are commonly used by scientists and engineers, there are few visualization methods designed to display thi... | | 2014-01-01 |
| 72 |
 |
Boll, Steven F. | Noise suppression methods for robust speech processing (1 Oct. 1976 - 31 March 1977) | To develop robust speech processes, based upon the integration of digital noise suppression methods and narrow band speech analysis-synthesis methods, capable of realizing practical, real time methods for effectively processing speech recorded in practical operating environments. | Digital noise suppression | 1977 |
| 73 |
 |
Hansen, Charles D.; Whitaker, Ross T. | Streaming narrow-band algorithm: interactive computation and visualization of level sets | Abstract-Deformable isosurfaces, implemented with level-set methods, have demonstrated a great potential in visualization and computer graphics for applications such as segmentation, surface processing, and physically-based modeling. Their usefulness has been limited, however, by their high computa... | | 2004-07 |
| 74 |
 |
Regehr, John | Random testing of interrupt-driven software | Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using random interrupt testing-firing random interrupt handlers at random times. Unfortunately, na¨ıve application of random test... | | 2005-01-01 |
| 75 |
 |
Balasubramonian, Rajeev | Power efficient approaches to redundant multithreading | Noise and radiation-induced soft errors (transient faults) in computer systems have increased significantly over the last few years and are expected to increase even more as we move toward smaller transistor sizes and lower supply voltages. Fault detection and recovery can be achieved through redund... | Reliability; Power; Transient faults; Soft errors; Redundant multithreading (RMT); Heterogeneous chip multiprocessors dynamic frequency scaling | 2007-08 |
