UScholar Works
 
Filters: Department: "Computing, School of" School Or College: "College of Engineering" Collection: "ir_uspace"
351 - 375 of 912
Number of results to display per page
CreatorTitleDescriptionSubjectDate
351 Free form surface analysis using a hybrid of symbolic and numeric computationDetailed analysis of many mathematical properties of sculptured models has been hindered by the fact that the properties do not have the same representation as the surface For example unit tangents surface normals and principal curvatures are typically computed at prede??ned discrete sets of ...Surface analysis1992
352 Henderson, Thomas C.From motes to Java stamps: smart sensor network testbedsWe have proposed Smart Sensor Networks (S-Nets) as an architecture and set of distributed algorithms to extract, interpret and exploit networked sensor devices. Heretofore, the development of this approach has been done in simulation. In this paper, we describe two complementary implementations o...Smart Sensor Networks; S-Nets2003-03-03
353 Gopalakrishnan, GaneshFrom process-oriented functional specifications to efficient asynchronous circuitsA methodology for high-level synthesis and performance optimization of asynchronous circuits is described. A specification language called hopCP which is based on a simple extension to classical flow graphs is introduced. The extension involves the addition of expression actions to a flow graph, to ...Synthesis; Performance optimization1991
354 Regehr, JohnFrom the editor: real-time and embedded systems--teaching reliabilityCan we teach students to build reliable embedded software? Although it would be rash to say that a general agreement exists on how to teach embedded systems, there's certainly a growing understanding of the issues. For example, the excellent August 2005 issue of ACM Transactions on Embedded Computin...2006-01-01
355 Freire, JulianaFrom XML schema to relations: a cost-based approach to XML storageAs Web applications manipulate an increasing amount of XML, there is a growing interest in storing XML data in relational databases. Due to the mismatch between the complexity of XML's tree structure and the simplicity of flat relational tables, there are many ways to store the same document in an ...LegoDB; XML Schema2002
356 Subrahmanyam, P.A.FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)Funlog, a computational model which attempts to integrate functional programming and logic programming is described. The model supports computations with infinite data structures without the introduction of complex control issues at the user-level. Control characteristics are improved as compared wi...FUNLOG; Functional programming; Logic programming1983
357 Hansen, Charles D.Gaussian transfer functions for multi-field volume visualizationVolume rendering is a flexible technique for visualizing dense 3D volumetric datasets. A central element of volume rendering is the conversion between data values and observable quantities such as color and opacity. This process is usually realized through the use of transfer functions that are prec...Volume rendering; Transfer functions; Volume visualization2003
358 Bruderlin, BeatGDI reference manualGDI is a dialog interface tool library for C + + applications. It facilitates the design and implementation of graphical, object-oriented user interfaces for workstations equipped with a graphical display, a mouse and a keyboard. GDI's design allows for its portability onto a multitude of platforms....GDI; Dialog interface tool library1992
359 Humphrey, Alan Parker; Derrick, Christopher Glade; Gopalakrishnan, GaneshGEM: graphical explorer for MPI programsFormal dynamic verification can complement MPI program testing by detecting hard-to-find concurrency bugs. In previous work, we described our dynamic verifier called ISP that can parsimoniously search the execution space of an MPI program while detecting important classes of bugs. One major limit...GEM; Graphical explorer; MPI programs; Dynamic verification; Concurrency bugs2009
360 Cotter, Neil E.Generality Vs. speed of convergence in the cart-pole balancerThis paper compares the speed of convergence to an optimal solution of four controllers for the problem of balancing a pole on a cart. We demonstrate that controllers whose design is tailored specifically to the cart-pole problem (i.e. less general) converge more rapidly to an optimal solution. How...Cart-pole balancer; Generality; Speed of convergence1991
361 Wald, Ingo; Shirley, Peter S.Geometric and arithmetic culling methods for entire ray packetsRecent interactive ray tracing performance has been mainly derived from the use of ray packets. Larger ray packets allow for significant amortization of both computations and memory accesses; however, the majority of primitives are still intersected by each ray in a packet. This paper discusses ...Ray tracing; Interval arithmetic; Ray packets; Frustum culling2006-08-16
362 Thompson, William B.Geometric reasoning for map-based localizationAn essential aspect of map-based navigation is the determination of an agent's current location based on sensed data from the environment. Formally, this amounts to specifying the current viewpoint in some world model coordinate system. This localization process has two distinct components: one invo...Map-based localization; Map-based navigation; Geometric reasoning1996
363 Tasdizen, Tolga; Whitaker, Ross T.Geometric surface processing via normal mapsThe generalization of signal and image processing to surfaces entails filtering the normals of the surface, rather than filtering the positions of points on a mesh. Using a variational framework, smooth surfaces minimize the norm of the derivative of the surface normals? i.e. total curvature. Pen...Geometric surface processing; Surface models2002-01-17
364 Cates, Joshua E.; Lefohn, Aaron; Whitaker, Ross T.GIST: an interactive, GPU-based level set segmentation tool for 3D medical imagesWhile level sets have demonstrated a great potential for 3D medical image segmentation, their usefulness has been limited by two problems. First, 3D level sets are relatively slow to compute. Second, their formulation usually entails several free parameters which can be very difficult to correctl...GIST; 3D medical images; Segmentation tool; Image segmentation2004-02-27
365 Smits, BrianGlobal illumination test scenesThe global illumination community has discussed having a database of scenes that could be used to compare and validate different global illumination algorithms. We present a set of test scenes for global illumination algorithms and propose that they be the beginning of such a database. These scenes ...Global illumination2000
366 Mecklenburg, RobertGORP: An object-oriented design for genomic objects, relationships and processesThe Eccles Institute for Human Genetics (EIHG) has developed a genomic database based on a novel level of abstraction. Objects, relationships, and processes are explicitly represented in an object model. This model has been implemented in a traditional relational database management system. Transla...Eccles Institute for Human Genetics; EIHG; GORP; Genomic databases; Object model1996
367 Kirby, Robert MichaelGPU-based volume visualization from high-order finite element fieldsThis 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
368 Hansen, Charles D.GPUFLIC: interactive and accurate dense visualization of unsteady flowsAbstract The paper presents an efficient and accurate implementation of Unsteady Flow LIC (UFLIC) on the Graphics Processing Unit (GPU). We obtain the same, high quality texture representation of unsteady two-dimensional flows as the original, time-consuming method but leverage the features of today...2006
369 Evans, DavidGraphical man/machine communications: December 1971Semi-Annual Technical Report for period 1 June 1971 to 31 December 1971. This document includes a summary of research activities and facilities at the University of Utah under Contract F30602-70-C-0300. Information conveys important research milestones attained during this period by each of the f...Man/machine communications; Computing systems; Digital waveform processing1971-12
370 Evans, DavidGraphical man/machine communications: December 1972The object of the graphical man/machine communication effort is the development of computers and computing techniques the people may use interactively in real time to extend their problem-solving capability, and to work cooperatively by means of improved communications via computer. This report summ...Waveform processing; Symbolic computation; Man/machine communications1972-12
371 Evans, DavidGraphical man/machine communications: February 1968Technical report No. RADC - TR - 68 - 90 for the period ending 30 November, 1967. Two classes of research activities are being conducted. One is research in information processsing system technology. The other is researach in application of interactive computing technology to the solution of severa...Fluid flow problems1968-02
372 Evans, DavidGraphical man/machine communications: June 1971Semi-Annual Technical Report for period 1 January 1971 to 31 May 1971. This document includes a summary of research activities and facilities at the University of Utah under Contract F30602-70-C-0300. Information conveys important research milestones attained during this period by each of the fo...Curved surfaces; Digital waveform processing1971
373 Evans, DavidGraphical man/machine communications: June 19721972-06
374 Evans, DavidGraphical man/machine communications: May 1967Semiannual technical report for period ending 15 May, 1967.1967-05
375 Evans, DavidGraphical man/machine communications: May 1969Semi-Annual Technical Report 1 December 1968 - 30 May 19691969-05
351 - 375 of 912