UScholar Works
 
Filters: Collection: "ir_uspace"
101 - 125 of 561
Number of results to display per page
CreatorTitleDescriptionSubjectDate
101 Henderson, Thomas C.Flat surface reconstruction using sonarA technique is given for the recovery of planar surfaces using two beam-spread sonar readings. If a single, planar surface gave rise to the two readings, then the method recovers the surface quite accurately. Simulation and experiment demonstrate the effectiveness of the technique and recommend its ...Flat surfaces; Reconstruction; Two beam-spread; Sonar readings; Planar surfaces1996
102 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
103 Gu, JunHow to search for millions of queensThe n-queens problem is a classical combinatorial problem in artificial intelligence (AI) area. Since its simplicity and regular structure, this problem has widely been chosen as a testbed to develop and benchmark new AI search problem-solving strategies in the AI community. Due to its inherent com...Combinatorial problems; n-queens; Search algorithms1988
104 Cohen, ElaineHybrid symbolic and numeric operators as tools for analysis of freeform surfacesFreeform surfaces are commonly used in Computer Aided Geometric Design?? so accurate analysis of surface properties is becoming increasingly important In this paper we de ne surface slope and surface speed?? develop visualization tools?? and demonstrate that they can be useful in the design proc...Freeform surfaces1992
105 Cohen, ElaineHybrid symbolic and numeric operators as tools for analysis of freeform surfacesFreeform surfaces are commonly used in Computer Aided Geometric Design, so accurate analysis of surface properties is becoming increasingly important. In this paper we define surface slope and surface speed, develop visualization tools, and demonstrate t h a t they can be useful in the design proces...Freeform surfaces; Hybrid operators1992
106 Henderson, Thomas C.Multisensor knowledge systemsWe describe an approach which facilitates and makes explicit the organization of the knowledge necessary to map multisensor system requirements onto an appropriate assembly of algorithms, processors, sensors, and actuators. We have previously introduced the Multisensor Kernel System and Logical Sen...Multisensors; Multisensor Kernel System; Multisensor systems1986
107 Awate, Suyash P.; Tasdizen, Tolga; Whitaker, Ross T.Nonparametric statistics of image neighborhoods for unsupervised texture segmentationIn this paper, we present a novel approach to unsupervised texture segmentation that is based on a very general statistical model of image neighborhoods. We treat image neighborhoods as samples from an underlying, high-dimensional probability density function (PDF). We obtain an optimal segmentat...2005-04-19
108 Wyman, Chris; Hansen, Charles D.Penumbra mapsGenerating soft shadows quickly is difficult. Few techniques have enough flexibility to interactively render soft shadows in scenes with arbitrarily complex occluders and receivers. This paper introduces the penumbra map, which extends current shadow map techniques to interactively approximate so...Penumbra maps; Soft shadows; Shadow maps2003-04-23
109 Michell, NickPPL 1.2mu gallium arsenide cell setThe purpose of this note is to describe the 1.2/i gallium arsenide PPL cell set - not only what is included, but design decisions made along the way. The first section is an overview of the Umitations imposed by the use of gallium arsenide technology, the next section describes the trade-offs in des...Gallium arsenide cells; PPL cell set1993
110 Gopalakrishnan, Ganeshpsolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checkerPresburger formulas are an expressive but decidable language of arithmetic expressions and boolaen connectives with quantification. psolve is a prototype of an automata based tool for deciding the satisfiability of Presburger formulae extended with a predicate that recognizes powers of two. The uniq...psolve; Presburger formulas; Satisfiability; Automata; Rewriting; Model checker1999
111 Henderson, Thomas C.Reaction-diffusion patterns in smart sensor networksWe introduced the use of Turing?s reaction-diffusion pattern formation to support high-level tasks in smart sensor networks (S-Nets). This has led us to explore various biologically motivated mechanisms. In this paper we address some issues that arise in trying to get reliable, efficient patterns...Reaction-diffusion; Pattern formation; Smart sensor networks; S-Nets2003-11-05
112 Gopalakrishnan, GaneshRefactoring SPIN for safetyWe show how to refactor SPIN for safety model checking resulting in a compact model checker occupying less than 200 lines of code without appreciable loss of performance while reusing much of SPIN?s front-end facilities. In addition to being far easier to understand and being eminently suitable a...Model checking; SPIN2006-02-14
113 Hibler, Michael J.Separating presentation from interface in RPC and IDLsIn RPC-based communication, we term the interface the set of remote procedures and the types of their arguments; the presentation is the way these procedures and types are mapped to the target language environment in a particular client or server, including semantic requirements. For example, pres...RPC-based communication; IDL; Presentation; Interface1995
114 Henderson, Thomas C.Some experiments with the 3-D hough shape transformThe application of the Hough shape transform to the problem of the identification and localization of objects in 3-space is presented. The rotation-invariant Hough transform is defined which permits the determination of the geometric transformation from the model to the detected object. Given a samp...Hough shape transform1983
115 Barsky, Brian A.Transpline curve representation systemAn interactive curve representation system has been developed based on the concept of transforming among several parametric spline curve formulations. The available formulations are the interpolatory spline, uniform B-spline, spline under tension, and NU-spline. The system implementation is describe...Transpline curves; curve representation system1980
116 Gopalakrishnan, Ganesh; Kirby, Robert Michael IIVerification of MPI programs using SpinVerification of distributed systems is a complex yet important process. Concurrent systems are vulnerable to problems such as deadlock, starvation, and race conditions. Parallel programs written using the MPI (Message Passing Interface) Standard are no exception. Spin can be used to formally ver...MPI programs; Verification; distributed systems; Message Passing Interface; Spin2004
117 Gopalakrishnan, GaneshVerifying a virtual component interface-based PCI bus wrapper with FormalCheckThe Virtual Sockets Interface Alliance (VSIA) recently released the Virtual Component Interface (VCI) Standard. This paper reports recent experiences in formally verifying a few properties of a VCI-compliant PCI 2.1 bus wrapper model in the formal verification tool, FormalCheck. Though we chose t...Virtual Sockets Interface Alliance; VSIA; Virtual Component Interface Standard; VCI; Verification; PCI bus wrapper; FormalCheck2001-06-14
118 Mahi, RobertVisible surface algorithms for quadric patchesThis paper describes two algorithms which find the visible portions of surfaces in a picture of a cluster of three-dimensional quadric patches. A quadric patch is a portion of quadric surface defined by a quadratic equation and by zero, one or several quadratic inequalities. The picture is cut by pa...surface algorithms; quadric patches1970
119 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
120 Sobh, Tarek M.A dynamic framework for intelligent inspectionCAD (Computer Aided Design) typically involves the design, manufacture and inspection of a mechanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design, and perhaps a manufacturing process, for the part. We pr...CAD; Discrete event dynamic systems; DEDS1992
121 Sobh, Tarek M.; Henderson, Thomas C.A dynamic framwork for intelligent inspectionCAD Computer Aided Design typically involves the design manufacture and inspection of a me chanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design and perhaps a manufacturing process for the part. ...CAD; Manufacture; Inspection; Intelligent inspection1992
122 Sobh, Tarek M.A survey on sensor classifications for industrial applicationsThe importance of sensors in industrial applications is a result of the introduction of many robotics, automation, and intelligent control techniques into factory floors. Research and improvements need to be continuously performed to meet the challenges in automation and manufacturing applications i...Sensor classifications; Industrial applications; Sensors1995
123 Gopalakrishnan, GaneshA transformational approach to asynchronous high-level synthesisAsynchronous high-level synthesis is aimed at transforming high level descriptions of algorithms into efficient asynchronous circuit implementations. This approach is attractive from the point of view of the flexibility it affords in performing high level program transformations on users' initial d...High level synthesis tool; SHILPA1993
124 Sobh, Tarek M.; Henderson, Thomas C.A unifying framework for tolerance analysis in sensing, design, and manufacturingIn this work we address the problem of tolerance representation and analysis across the domains of industrial inspection using sensed data, CAD design, and manufacturing. Instead of using geometric primitives in CAD models to define and represent tolerances, we propose the use of stronger methods t...Tolerance representation; Tolerance analysis; Industrial inspection; Sensed data; CAD design1994
125 Panangaden, PrakashAbstract interpretation and indeterminacyWe present a semantic theory that allows us to discuss the semantics of indeterminate operators in a dataflow network. The assumption is made that the language in which the indeterminate operators are written has a construct that allows for the testing of availability of data on input lines. We then...Semantics; Indeterminate operators1984
101 - 125 of 561