|
|
Creator | Title | Description | Subject | Date |
351 |
|
Hansen, Charles D.; Henderson, Thomas C. | CAD-based robotics | We describe an approach which facilitates and makes explicit the organization of the knowledge necessary to map robotic system requirements onto an appropriate assembly of algorithms, processors, sensor, and actuators. In order to achieve this mapping, several kinds of knowledge are needed. In this ... | CAD-based robotics; CAD-based vision; CAGD System | 1987 |
352 |
|
Henderson, Thomas C.; Bhanu, Bir | CAGD based 3-D visual recognition | A coherent automated manufacturing system needs to include CAD/CAM, computer vision, and object manipulation. Currently, most systems which support CAD/CAM do not provide for vision or manipulation and similarly, vision and manipulation systems incorporate no explicit relation to CAD/CAM models. CAD... | Object manipulation; CAGD | 1985 |
353 |
|
Hansen, Charles D.; Henderson, Thomas C. | CAGD based 3-D visual recognition | A coherent automated manufacturing system needs to include CAD/CAM, computer vision, and object manipulation. Currently, most systems which support CAD/CAM do not provide for vision or manipulation and similarly, vision and manipulation systems incorporate no explicit relation to CAD/CAM models. CAD... | Visual recognition; Computer Aided Geometric Design (CAGD) | 1986 |
354 |
|
Hansen, Charles D.; Henderson, Thomas C. | CAGD-based computer vision | Three-dimensional model-based computer vision uses geometric models of objects and sensed data to recognize objects in a scene. Likewise, Computer Aided Geometric Design (CAGD) systems are used to interactively generate three-dimensional models during the design process. Despite this similarity, the... | Computer Aided Geometric Design (CAGD); CAD-based vision; Model based vision; Strategy trees; Geometric knowledge representation; Automatic feature selection | 1987 |
355 |
|
Hansen, Charles D. | CAGD-based computer vision | Abstract-Three-dimensional model-based computer vision uses geometric models of objects and sensed data to recognize objects in a scene. Likewise, computer aided geometric design (CAGD) systems are used to interactively generate three-dimensional models during the design process. Despite this simil... | | 1989-11 |
356 |
|
Henderson, Thomas C. | CAGD-based computer vision | Three-dimensional model-based computer vision uses geometric models of objects and sensed data to recognize objects in a scene. Likewise, Computer Aided Geometric Design (CAGD) systems are used to interactively generate three-dimensional models during the design process. Despite this similarity, t... | Computer Aided Geometric Design; CAGD | 1987 |
357 |
|
Furse, Cynthia M.; Gandhi, Om P. | Calculation of electric fields and currents induced in a millimeter-resolution human model at 60 Hz using the FDTD method with a novel time-to-frequency-domain conversion | The finite-difference time-domain (FDTD) method has previously been used to calculate induced currents in anatomically based models of the human body at frequencies ranging from 20 to 915 MHz and resolutions down to 1.31 cm . Calculations at lower frequencies and higher resolutions have been preclu... | Finite-difference time-domain method; FDTD; Induced currents; Human body model | 1996 |
358 |
|
Bhanu, Bir | CAOS an approach to robot control | Control systems which enable robots to behave intelligently is a major issue in todays process of automating factories. This thesis presents a hierarchical robot control system, a programming language for goal achievement, termed CAOS for Control using Action Oriented Schemata, with ideas taken fro... | Robot control system; CAOS; Control using Action Oriented Schemata | 1987 |
359 |
|
Furse, Cynthia M. | Capacitance and inductance sensor circuits for detecting the lengths of open- and short-circuited wires | The length of an open- or short-circuited wire is linearly proportional to the capacitance or inductance of the wire, respectively. Several types of simple and inexpensive circuits are introduced to measure these values. Open-circuited (capacitance) measurements are very effective. Short-circuited ... | Aging aircraft wire; Capacitance sensors; Fault detection; Inductance sensors | 2009-08 |
360 |
|
Stevens, Kenneth | Capacitive ionic current measurement in a polymer-electrolyte transistor | Organic transistors that use dissolved ions to conduct current are able to reproduce the current-voltage characteristics of semiconductor transistors. The polymer-electrolyte transistor (PET) consists of a three-source acid-base reaction system, where a polymer gel separates the three source electro... | | 2008 |
361 |
|
Lighty, Joann; Sarofim, Adel F. | Carbon dioxide effects on metal vaporization during coal combustion | Coal combustion products may take one of two forms. Residual ash (> 1 micron) is formed by particle shrinkage and breaking during combustion. Some material will vaporize and later recondense. During recondensation, these molecules have a high affinity for submicron particles because of the large sur... | Coal combustion products; Metal vaporization; Carbon dioxide; Residual ash | 2001 |
362 |
|
Scarpulla, Michael | Carrier concentration dependencies of magnetization & transport in Ga1-xMnxAs1-yTey | We have investigated the transport and magnetization characteristics of Ga1-xMnxAs intentionally compensated with shallow Te donors. Using ion implantation followed by pulsed-laser melting, we vary the Te compensation and drive the system through a metal-insulator transition (MIT). This MIT is assoc... | Gallium arsenide; Ferromagnetic semiconductors; Magnetization; Resistivity | 2005 |
363 |
|
Carter, Tony M. | Cascade: a hardware alternative to bignums | The Cascade hardware architecture for high/variable precision arithmetic is described. It uses a radix-16 redundant signed-digit number representation and directly supports single or multiple precision addition, subtraction, multiplication, division, extraction of the square root and computation of ... | Cascade hardware; Bignums; Precision arithmetic | 1989 |
364 |
|
Regehr, John | The case for hierarchical schedulers with performance guarantees | | | 2000-01-01 |
365 |
|
Gopalakrishnan, Ganesh | Case studies in symbolic model checking | The need to formally verify hardware and software systems before they are deployed the real world has been recognized for several decades now. This is especially true of concurrent systems that are even more difficult to debug than sequential systems. For example, many of the protocols that get emp... | Symbolic model checking; Hardware verification; Software verification | 1994 |
366 |
|
Riloff, Ellen M. | Case study in using linguistic phrases for text categorization on the WWW | Most learning algorithms that arc applied to text categorization problems rely on a bag-of-words document representation, i.e., each word occurring in the document is considered as a separate feature. In this paper, we investigate the use of linguistic phrases as input features for text categoriz... | Learning algorithms; Text categorization; Linguistic phrases; Information extraction patterns; AutoSlog-TS | 1998 |
367 |
|
Hansen, Charles D. | Case study of isosurface extraction algorithm performance | Isosurface extraction is an important and useful visualization method. Over the past ten years, the field has seen numerous isosurface techniques published, leaving the user in a quandary about which one should be used. Some papers have published complexity analysis of the techniques, yet empirical... | Isosurfaces; Contours | 2000 |
368 |
|
Cates, Joshua E.; Whitaker, Ross T.; Jones, Greg M. | Case study: an evaluation of user-assisted hierarchical watershed segmentation | While 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... | Watershed segmentation; Brain tumor imaging | 2004-02-27 |
369 |
|
Organick, Elliott I. | CASL - A language for automating the implementation of computer architectures | The computer Architecture Specification Language (CASL), described in this paper, is intended for use by computer architects CASL is a state machine description language especially useful for describing digital systems at the "register transfer" level and designed to meet the needs of the computer a... | Computer Architecture Specification Language | 1979 |
370 |
|
Regehr, John | Cause reduction for quick testing | Abstract-In random testing, it is often desirable to produce a "quick test" - an extremely inexpensive test suite that can serve as a frequently applied regression and allow the benefits of random testing to be obtained even in very slow or oversubscribed test environments. Delta debugging is an alg... | | 2014-01-01 |
371 |
|
Henderson, Thomas C. | CBCV: A CAD-based vision system | The CBCV system has been developed in order to provide the capability of automatically synthesizing executable vision modules for various functions like object recognition, pose determinaion, quality inspection, etc. A wide range of tools exist for both 2D and 3D vision, including not only software... | CBCV | 1990 |
372 |
|
Myers, Chris J.; Harrison, Reid R.; Schlegel, Christian | Cell library for automatic synthesis of analog error control decoders | This paper presents a cell library for automatic synthesis of analog error control decoders. By using some basic cells, analog ermr control decoders can be automatically synthesized. Also, using automatic synthesis based on this cell library, the circuit performance is not degraded and the circuit i... | | 2002 |
373 |
|
Harrison, Reid R.; Myers, Chris J.; Schlegel, Christian | Cell library for automatic synthesis of analog error control decoders | This paper presents a cell library for automatic synthesis of analog error control decoders. By using some basic cells, analog ermr control decoders can be automatically synthesized. Also, using automatic synthesis based on this cell library, the circuit performance is not degraded and the circuit i... | | 2002 |
374 |
|
Gesteland, Raymond F. | Cell-free synthesis of herpes simplex virus proteins | Polyribosomes isolated from herpes simplex virus type I (HSV-1)-infected cells have been used to program a eucaryotic cell-free translation system. At least 10 HSV-specific polypeptides, with apparent molecular weights of 25,000 to 160,000, are synthesized by wild-type HSV-infected polyribosomes. Po... | Viral Proteins; Herpes Simplex; Peptide Biosynthesis; Thymidine Kinase | 1977 |
375 |
|
Akella, Venkatesh | CFSIM: A concurrent compiled-code functional simulator for hopCP | Control intensive ICs pose a significant challenge to the users of formal methods in designing hardware. These ICs have to support a wide variety of requirements including synchronous and asynchronous operations, polling and interrupt-driven modes of operation, multiple concurrent threads of executi... | CFSIM; Hardware design; hopCP | 1992 |