Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 151 |
 |
Sikorski, Kris | Complexity of computing topological degree of Lipschitz functions in n dimensions | We find lower and upper bounds on the complexity, comp(deg), of computing t h e topological degree of functions defined on the n-dimensional unit cube Cn, f : ?Cn Rn,n ? 2, which satisfy a Lipschitz condition with constant K and whose infinity norm at each point on t h e boundary of Cn is at least d... | Lipschitz functions | 1986 |
| 152 |
 |
Cohen, Elaine | Computing offsets and tool paths with Voronoi diagrams | In this paper we describe the use of Voronoi diagrams to generate offsets for planar regions bounded by circular arcs and line segments, and then use the generated offsets as tool paths for NC machining. Two methods are presented, each producing a different type of offset. One of them generates the ... | Voronoi diagrams | 1989 |
| 153 |
 |
Lindstrom, Gary E. | Consistency and currency in functional databases | We consider a hybrid model of databases, in which a functional component T is defined as an extension to an imperative component B. T. is loosely coupled to B through a highly parallel function network N. which provides a simple failsafe test of whether an existing assignment of values to a given vi... | Functional databases | 1982 |
| 154 |
 |
Kessler, Robert R. | DPOS: A metalanguage and programming environment for parallel processors | The complexity and diversity of parallel programming languages and computer architectures hinders programmers in developing programs and greatly limits program portability. All MIMD parallel programming systems, however, address common requirements for process creation, process management, and inte... | DPOS; MIMD parallel programming | 1990 |
| 155 |
 |
Willemsen, Peter; Gooch, Amy A.; Thompson, William B.; Creem-Regehr, Sarah Hope | Effects of stereo viewing conditions on distance perception in virtual environments | Several studies from different research groups investigating perception of absolute, egocentric distances in virtual environments have reported a compression of the intended size of the virtual space. One potential explanation for the compression is that inaccuracies and cue confliicts involving ... | Distance perception; Virtual environments; Stereo viewing conditions | 2005-02-15 |
| 156 |
 |
Lindstrom, Gary E. | Efficiency in nondeterministic control through non-forgetful backtracking | Nondeterministic (ND) control has long been used to express elegant solutions to complex search problems. Programs using ND control can be executed on conventional machines through a systematic examination of trial execution paths. Among the many approaches to the enumeration of these paths is backt... | Nondeterministic control; Non-forgetful backtracking; Search problems | 1977 |
| 157 |
 |
Gopalakrishnan, Ganesh | Formal specification of the virtual component interface standard in the unified modeling language | As part of our charge from the Virtual Sockets Interface Alliance we search for a notation in which standards documents can be precisely specified. We approach the specification for standard problem in the context of the Virtual Component Interface Standard. We propose six orthogonal axes of specifi... | Unified Modeling Language | 2001 |
| 158 |
 |
Gopalakrishnan, Ganesh | Inspect: a runtime model checker for multithreaded C programs | We present Inspect, a runtime model checker for revealing concurrency bugs in multithreaded C programs. Inspect instruments a given program at all global interaction points, and with the help of a new scheduler, examines all relevant thread interleavings under dynamic partial order reduction (DPO... | Multithreaded C programs; Model checker; Inspect; Concurrency bugs | 2008 |
| 159 |
 |
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 |
| 160 |
 |
Wyman, Chris; Hansen, Charles D.; Shirley, Peter S. | Interactive raytraced caustics | In computer graphics, bright patterns of light focused onto matte surfaces are called ?caustics?. We present a method for rendering dynamic scenes with moving caustics at interactive rates. This technique requires some simplifying assumptions about caustic behavior allowing us to consider it a lo... | Raytraced caustics | 2003-04-23 |
| 161 |
 |
Lefohn, Aaron; Cates, Joshua E.; Whitaker, Ross T. | Interactive, GPU-based level sets for 3D brain tumor segmentation | While level sets have demonstrated a great potential for 3D medical image seg- mentation, 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 correc... | Level sets; Medical imaging; 3D brain tumor segmentation | 2003-04-16 |
| 162 |
 |
Henderson, Thomas C. | Logical behaviors | In this paper we describe an approach to high-level multisensor integration in t h e context of an autonomous mobile robot. Previous papers have described the development of t h e INRIA mobile robot subsystems: 1. sensor and actuator systems 2. distance and range analysis 3. feature extraction ... | Multisensor integration; 3-D environment descriptions | 1989 |
| 163 |
 |
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 |
| 164 |
 |
Awate, Suyash P.; Whitaker, Ross T. | Nonparametric neighborhood statistics for MRI denoising | This paper presents a novel method for denoising MR images that relies on an optimal estimation, combining a likelihood model with an adaptive image prior. The method models images as random fields and exploits the properties of independent Rician noise to learn the higher-order statistics of ima... | MRI denoising | 2005-04-18 |
| 165 |
 |
Fujimoto, Richard M. | Optimal performance of distributed simulation programs | This paper describes a technique to analyze the potential speedup of distributed simulation programs. A distributed simulation strategy is proposed which minimizes execution time through the use of an oracle to control the simulation. Because the strategy relies on an oracle, it cannot be used for ... | Distributed simulation programs | 1987 |
| 166 |
 |
Sikorski, Kris | Optimal solution of nonlinear equations | We survey recent worst case complexity results for the solution of nonlinear equations. Notes on worst and average case analysis of iterative algorithms and a bibliography of the subject are also included. | 1985 | |
| 167 |
 |
Henderson, Thomas C. | Parallel path consistency | Filtering algorithms are well accepted as a means of speeding up the solution of the consistent labeling problem (CLP). Despite the fact that path consistency does a better job of filtering than arc consistency, AC is still the preferred technique because it has a much lower time complexity. We ar... | Filtering algorithms; Parallel paths; Consistency; Consistent labeling problem; CLP | 1991 |
| 168 |
 |
Henderson, Thomas C. | Pattern formation in wireless sensor networks | Biological systems exhibit an amazing array of distributed sensor/actuator systems, and the exploitation of principles and practices found in nature will lead to more effective artificial systems. The retina is an example of a highly tuned sensing organ, and the human skin is comprised of a set o... | Pattern formation; Wireless sensor networks | 2008 |
| 169 |
 |
Zachary, Joseph L. | Reflections on metaprogramming | The spread of object-oriented technology has led to object-oriented programming languages with object-oriented implementations. By encapsulating part of t h e semantics of a language within a set of default classes and empowering the programmer to derive new versions of these base classes, a designe... | Metaprogramming | 1993 |
| 170 |
 |
Cohen, Elaine | Second order surface analysis using hybrid symbolic and numeric operators | Results from analyzing the curvature of a surface can be used to improve the implementation, efficiency, and effectiveness of manufacturing and visualization of sculptured surfaces. In this paper, we develop a robust method using hybrid symbolic and numeric operators to create trimmed surfaces each... | Surface analysis; Hybrid symbolic operators; Numeric operators | 1992 |
| 171 |
 |
Keller, Robert M. | Sentinels: A concept for multiprocess coordination | The sentinel construct is introduced, which provides a certain syntactic and semantic framework for multiprocess coordination. The advantage of this construct over others is argued to be semantic transparency, efficiency, ease in implementation, and usefulness in verfication. | Sentinels; Multiprocess coordination; Sentinel construct | 1978 |
| 172 |
 |
Carter, John B. | Supporting persistent C++ objects in a distributed storage system | We have designed and implemented a C++ object layer for Khazana, a distributed persistent storage system that exports a flat shared address space as its basic abstraction. The C++ layer described herein lets programmers use familiar C++ idioms to allocate, manipulate, and deallocate persistent share... | persistent C++ objects; distributed storage; Khazana; flat shared address space | 1999 |
| 173 |
 |
Starkey, Mike | Switchbox routing by pattern matching | Many good algorithms have been designed that provide good solutions to the wire routing problem in VLSI. Unfortunately, many of these algorithms only consider a small subset of different parameters such as number of layers, routability of layers and technology. We believe that these algorithms can b... | Switchbox routing; pattern matching; wire routing problem; VLSI | 1991 |
| 174 |
 |
Cobb, James E. | Tiling the sphere with rational bezier patches | One of the fundamental problems in Computer Aided Geometric Design (CAGD) is the representation of shapes. Two representation schemes that have proved useful for modeling free-form shapes are parametric Bezier and B-spline surfaces [2,8]. In fact the Bezier patch is a special case of the B-spline ... | Tiling; rational Bezier patches; Computer Aided Geometric Design; CAGD; B-spline surface | 1994 |
| 175 |
 |
Organick, Elliott I.; Lindstrom, Gary E. | Transparent interface between software and hardware versions of ADA compilation units | The Ada-to-Silicon project at Utah is developing a methodology (and associated software and hardware) for the high level testing of Ada compilation units that are represented as hardware components (circuitry). There are two motivations for this research. | Ada-to-Silicon; ADA compilation units | 1983 |