|
|
Creator | Title | Description | Subject | Date |
| 876 |
 |
Rieth, Loren W; Solzbacher, Florian | High speed wafer scale bulge testing for the determination of thin film mechanical properties | A wafer scale bulge testing system has been constructed to study the mechanical properties of thin films and microstructures. The custom built test stage was coupled with a pressure regulation system and optical profilometer which gives high accuracy three-dimensional topographic images collected on... | | 2010 |
| 877 |
 |
Brunvand, Erik L. ; Gopalakrishnan, Ganesh | High-level asynchronous system design using the ACK framework | Designing asynchronous circuits is becoming easier as a number of design styles are making the transition from research projects to real, usable tools. However, designing asynchronous "systems" is still a difficult problem. We define asynchronous systems to be medium to large digital systems whose... | | 2000 |
| 878 |
 |
Henderson, Thomas C. | High-level planning for dextrous manipulation | The development of mechanical end effectors capable of dextrous manipulation is a rapidly growing and quite successful field of research. It has in some sense put the focus on control issues, in particular, how to control these remarkably anthropomorphic manipulators to perform the deft movement tha... | Mechanical end effectors; Dextrous manipulation | 1987 |
| 879 |
 |
Kasera, Sneha K.; Patwari, Neal | High-rate uncorrelated bit extraction for shared secret key generation from channel measurements | Secret keys can be generated and shared between two wireless nodes by measuring and encoding radio channel characteristics without ever revealing the secret key to an eavesdropper at a third location. This paper addresses bit extraction, i.e., the extraction of secret key bits from noisy radio chan... | Wireless networks; Multipath fading; Physical layer; Key generation; Secret keys; Bit extraction | 2010-01 |
| 880 |
 |
Awate, Suyash P.; Whitaker, Ross T. | Higher-order image statistics for unsupervised, information-theoretic, adaptive, image filtering | The restoration of images is an important and widely studied problem in computer vision and image processing. Various image filtering strategies have been effective, but invariably make strong assumptions about the properties of the signal and/or degradation. Therefore, these methods typically la... | Image filtering; Image restoration | 2005-04-15 |
| 881 |
 |
Tasdizen, Tolga; Whitaker, Ross T. | Higher-order nonlinear priors for surface reconstruction | Abstract-For surface reconstruction problems with noisy and incomplete range data, a Bayesian estimation approach can improve the overall quality of the surfaces. The Bayesian approach to surface estimation relies on a likelihood term, which ties the surface estimate to the input data, and the prior... | | 2004 |
| 882 |
 |
Tasdizen, Tolga; Whitaker, Ross T. | Higher-order nonlinear priors for surface reconstruction | For surface reconstruction problems with noisy and incomplete range data, a Bayesian estimation approach can improve the overall quality of the surfaces. The Bayesian approach to surface estimation relies on a likelihood term, which ties the surface estimate to the input data, and the prior, whic... | Surface reconstruction; Bayesian approach; Nonlinear prior | 2002-12-09 |
| 883 |
 |
Regehr, John | HLS: a framework for composing soft real-time schedulers | Hierarchical CPU scheduling has emerged as a way to (1) support applications with diverse scheduling requirements in open systems, and (2) provide load isolation between applications, users, and other resource principals. Most existing work on hierarchical scheduling has focused on systems that prov... | | 2001-01-01 |
| 884 |
 |
Gopalakrishnan, Ganesh | HOP: A formal model for synchronous circuits using communicating fundamental mode symbolic automata | We study synchronous digital circuits in an abstract setting. A circuit is viewed as a collection of modules connected through their boundary ports, where each port assumes a fixed direction (input or output) over one cycle of operation, and can change directions across cycles. No distinction is ma... | HOP | 1992 |
| 885 |
 |
Gopalakrishnan, Ganesh | HOP: a process model for synchronous hardware semantics, and experiments in process composition | We present a language "Hardware viewed as Objects and Processes" (HOP) for specifying the structure, behavior, and timing of hardware systems. HOP embodies a simple process model for lock-step synchronous processes. An absproc specification written in HOP describes the externally observable behavior... | HOP; Synchronous hardware semantics | 1988 |
| 886 |
 |
Gopalakrishnan, Ganesh | HOP: a process model for synchronous hardware systems | Modules in HOP are black-boxes that are understood and used only in terms of their interface. The interface consists of d a t a ports, events, and a protocol specification that uses events and asserts/queries values to / from ports. Events are realized as different combinations of control wires or... | HOP; Process models; Synchronous hardware systems | 1988 |
| 887 |
 |
Gopalakrishnan, Ganesh | hopCP: A concurrent hardware description language | hopCP is a language for the specification, simulation, and synthesis of hardware systems. hopCP captures the behavior of a hardware system by specifying the causal relationships between actions that the system can perform. No specific timing discipline is implied by a hopCP specification. Hence, hop... | hopCP; Hardware systems | 1991 |
| 888 |
 |
Akella, Venkatesh | hopCP: language definition, semantics and examples | We describe a formalism for high level modeling of hardware based on flow graphs and nonatomic actions called hopCP. A module is the description of a hardware system in hopCP, which contains a flow graph to model the behavioral aspects and ports which represent the communication links. Operations ar... | hopCP | 1990 |
| 889 |
 |
Regehr, John | How to rapidly prototype a real-time scheduler | Implementing a new scheduling algorithm in an OS kernel is often an important step in scheduling research because it permits evaluation of the algorithm's performance on real workloads. However, developing a new scheduler is not a trivial task because it requires sophisticated programming skills and... | | 2002-01-01 |
| 890 |
 |
Gu, Jun | How to search for millions of queens | The 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 algorithms | 1988 |
| 891 |
 |
Mathews, V. John | Howling suppression in hearing aids using least-squares estimation and perceptually motivated gain control | ABSTRACT Howling is a significant problem even in digital hearing aids equipped with adaptive feedback cancellation. Among the many causes of howling is the inability of the adaptive filter to track rapid changes in the feedback path. Many systems use howling detectors to detect the start of howlin... | | 2006 |
| 892 |
 |
Khan, Faisal Habib | Hybrid electric vehicle power management solutions based on isolated and nonisolated configurations of multilevel modular capacitor-clamped converter | Abstract-This paper presents the various configurations of a multilevel modular capacitor-clamped converter (MMCCC), and it reveals many useful and new formations of the original MMCCC for transferring power in either an isolated or nonisolated manner. The various features of the original MMCCC circ... | | 2009 |
| 893 |
 |
Cohen, Elaine | Hybrid symbolic and numeric operators as tools for analysis of freeform surfaces | Freeform 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 surfaces | 1992 |
| 894 |
 |
Cohen, Elaine | Hybrid symbolic and numeric operators as tools for analysis of freeform surfaces | Freeform 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 operators | 1992 |
| 895 |
 |
Liu, Feng | Hydrogen induced Si surface segregation on Ge-covered Si(001) | Using Fourier transform infrared-attenuated total reflectance spectroscopy in conjunction with hydrogen adsorption to probe surface layer composition, we observe a reversible place exchange between Ge and Si on Ge-covered Si(001) when the surface is dosed with atomic H at elevated temperatures. F... | Si surface segregation; Ge-covered; Si(001) | 1998-10 |
| 896 |
 |
Breaderson, Dean J. | The I3Stick: an inexpensive, immersive, interaction device | Virtual environments require interaction devices that are intuitive and ergonomic, yet capable of many input parameters. Many devices satisfying these requirements can be expensive, difficult to manipulate, and often require the integration of large software libraries with existing applications. We ... | Virtual environments; I3Stick; Interaction devices | 1999 |
| 897 |
 |
Mathews, V. John | Identification of nonlinear, memoryless systems using chebyshev nodes | ABSTRACT This paper describes an approach for identification of static nonlinearities from input-output measurements. The approach is based on minimax approximation of memoryless nonlinear systems using Chebyshev polynomials. For memoryless nonlinear systems that are finite and continuous with fini... | | 2005 |
| 898 |
 |
Horch, Kenneth W. | Identification of single units in multi-unit recordings from peripheral nerves | We are developing a computer-based method for identifying individual action potentials in multi-unit peripheral nerve recordings. Threshold level, sinusoidal stimuli are used to elicit phase-locked activity from single units. These action potentials are digitized, and a template is constructed usin... | Peripheral nerve; Neural recordings; Cutaneous mechanoreceptors | 1988 |
| 899 |
 |
Riloff, Ellen M. | Identifying sources of opinions with conditional random fields and extraction patterns | Recent systems have been developed for sentiment classification, opinion recognition, and opinion analysis (e.g., detecting polarity and strength). We pursue another aspect of opinion analysis: identifying the sources of opinions, emotions, and sentiments. We view this problem as an information ext... | Sentiment classification; Opinion recognition; Opinion analysis; Conditional random fields; AutoSlog; Sources of opinions | 2005 |
| 900 |
 |
Henderson, Thomas C. | IKS: image kernel system users' manual | IKS (for Image kernel System), is an image processing system, currently being used by the Computer Vision and Image Processing group at the University of Utah. IKS provides a convenient environment for reading, writing, and manipulating images. The system consists of two types of routines. First, t... | Image kernel System; IKS | 1987 |
