276 - 300 of 1,977
Number of results to display per page
CreatorTitleDescriptionSubjectDate
276 Stringfellow, Gerald B.; Williams, Clayton C.Atomic ordering of GaInP studied by Kelvin probe force microscopyThe atomic ordering of GaInP has been established and studied by a variety of methods, including transmission electron microscopy, cathodoluminescence, and photoluminescence. In this work, a Kelvin probe force microscope _x0002_KPFM_x0003_ has been employed to image several GaInP samples previous...Cathodoluminescence; Photoluminescence; Surface morphology1995
277 Regehr, JohnAtomicity and visibility in tiny embedded systemsVisibility is a property of a programming language's memory model that determines when values stored by one concurrent computation become visible to other computations. Our work exploits the insight that in nesC, a C-like language with explicit atomicity, the traditional way of ensuring timely visib...2006-01-01
278 Regehr, JohnAugmented CPU reservations: towards predictable execution on general-purpose operating systemsOne problem with performing soft real-time computations on general-purpose operating systems is that these OSs may spend significant amounts of time in the kernel instead of performing work on behalf of the application that is nominally scheduled: the OS effectively steals time from the running appl...2001-01-01
279 Gesteland, Raymond F.; Ives, Jeffrey T.; Stockham, Thomas G.Automated film reader for DNA sequencing based on homomorphic deconvolutionAn automated reader for electrophoresis based DNA sequencing methods is described that provides fast and accurate sequence determination. Digitized sequencing lanes are processed with homomorphic blind deconvolution in preparation for peak detection, interlane alignment, peak refinement and base cal...Sequence Analysis; Electrophoresis; Automated Film Reader; Homomorphic Deconvolution1994
280 Myers, Chris J.Automatic abstraction for synthesis and verification of deterministic timed systemsThis paper presents a new approach for synthesis and verification of asynchronous circuits by using abstraction. It attacks the state explosion problem by avoiding the generation of a flat state space for the whole design. Instead, it breaks the design into sub-blocks and conducts synthesis and veri...2000
281 Stevens, KennethAutomatic addition of reset in asynchronous sequential control circuitsAsynchronous finite state machines (AFSMs) usually require initialization to place them in a desired starting state. This normally occurs by toggling a reset signal upon power-up. This paper presents an algorithm to automatically generate power-up reset circuitry thus adding reset to an AFSM after t...2014-01-01
282 Tasdizen, Tolga; Whitaker, Ross T.Automatic assembly of TEM mosaics and mosaic stacks using phase correlationThis paper discusses automatic Transmission Electron Microscopy (TEM) image registration, TEM slice assembly via tile mosaicking, and TEM volume assembly via slice to slice registration. Several algorithms are presented, including an algorithm for mosaic layout of an unordered set of tiles, an algor...2007
283 Tasdizen, Tolga; Foster, Norman L.Automatic classification of alzheimer's desease vs. frontotemporal dementia: a spatial decision tree aprroach with FDG-PETWe introduce a novel approach for the automatic classification of FDG-PET scans of subjects with Alzheimers Disease (AD) and Frontotemporal dementia (FTD). Unlike previous work in the literature which focuses on principal component analysis and predefined regions of interest, we propose the combined...2008
284 Zhu, XiaohongAutomatic compensating cleanup operationToday's part geometries are becoming ever more complex and require more accurate tool path to manufacture. Machining process efficiency is also a major consideration for designers as well as manufacturing engineers. Although the current advanced CAD/CAM systems have greatly improved the efficiency ...Part geometries1989
285 Myers, Chris J.Automatic derivation of timing constraints by failure analyisAbstract. This work proposes a technique to automatically obtain timing constraints for a given timed circuit to operate correctly. A designated set of delay parameters of a circuit are first set to sufficiently large bounds, and verification runs followed by failure analysis are repeated. Each ver...2002
286 Gooch, Bruce; Shirley, Peter S.Automatic image creation via artistic composition principlesMethods for choosing image parameters in both art and computer graphics are currently subjective. The choice of parameters results in images of varying quality. One aspect of image quality is the composition of the image. While the principles underlying composition are somewhat subjective, a portion...Image parameters2000
287 Tasdizen, TolgaAutomatic markup of neural cell membranes using boosted decision stumpsTo better understand the central nervous system, neurobiologists need to reconstruct the underlying neural circuitry from electron microscopy images. One of the necessary tasks is to segment the individual neurons. For this purpose, we propose a supervised learning approach to detect the cell membra...2009
288 Shirley, Peter S.; Gooch, BruceAutomatic painting with economized strokesWe present a method that takes a raster image as input and produces a painting-like image composed of strokes rather than pixels. Unlike previous automatic painting methods, we attempt to use very few brush-strokes. This is accomplished by first segmenting the image into features, finding the medial...Raster image; Painting-like image; Automatic painting methods2000
289 Brunvand, Erik L.Automatic rapid prototyping of semi-custom VLSI circuits using actel FPGAsAbstract : We describe a technique for translating semi-custom VLSI circuits automatically into field programmable gate arrays (FPGAs) for rapid prototyping to develop a system. Using an array multiplier as an example of this translation, the VLSI circuits are designed using a cell-matrix based envi...1995
290 Smith, Kent F.Automatic rapid prototyping of semi-custom VLSI circuits using FPGAsWe describe a technique for translating semi-custom VLSI circuits automatically, integrating two design environments, into field programmable gate arrays (FPGAs) for rapid and inexpensive prototyping. The VLSI circuits are designed using a cell-matrix based environment that produces chips with densi...Semi-custom; VLSI circuits1994
291 Cohen, ElaineAutomatic sculptured five-axis milling with check surfacesAn approach to 5-axis milling of B-spline surfaces is presented. Within its domain, it provides better check surface handling than APT. The scheme for tool position generation is based on a B-spline curve refinement method and a set of criteria for tolerance control which allows the tool positions ...B-spline surfaces; 5-axis milling; Tool paths1989
292 Fuchs, HenryThe automatic sensing and analysis of 3-D surface points from visual scenesDescribed are the design and implementation of a new range-measuring sensing device and an associated software algorithm for constructing surface descriptions of arbitrary three-dimensional objects from single or multiple views. The sensing device, which measures surface points from objects in its ...Range-measuring; Sensing device1976
293 Stevens, Kenneth; Davis, Alan L.Automatic synthesis of fast compact self-timed control circuitsWe present a tool called MEAT which has been designed to automatically synthesize transistor level. CMOS, self-timed control circuits. MEAT has been used to specify and synthesize self-timed circuits for a fully self-timed 300,000 transistor communication coprocessor. The design is specified using f...1993
294 Stevens, KennethAutomatic synthesis of fast, compact self-timed controlAn automated synthesis tool, called the Most Excellent Asynchronous Tool, or MEAT is presented. This tool has been used to specify and synthesize self-timed circuits for a fully self-timed 300,000 transistor communication co-processor. The Specification is done with stylized state diagrams. This is ...1992
295 Riloff, Ellen M.Automatically constructing a dictionary for information extraction tasksKnowledge-based natural language processing systems have achieved good success with certain tasks but they are often criticized because they depend on a domain-specific dictionary that requires a great deal of manual knowledge engineering. This knowledge engineering bottleneck makes knowledge-based ...Information extraction; Dictionary construction; Knowledge-based systems; AutoSlog; Domain-specific dictionary1993
296 Freire, JulianaAutomatically extracting form labelsWe describe a machine-learning-based approach for extracting attribute labels from Web form interfaces. Having these labels is a requirement for several techniques that attempt to retrieve and integrate data that reside in online databases and that are hidden behind form interfaces, including schema...Learning classifiers2008
297 Riloff, Ellen M.Automatically generating extraction patterns from untagged textMany corpus-based natural language processing systems rely on text corpora that have been manually annotated with syntactic or semantic tags. In particular, all previous dictionary construction systems for information extraction have used an annotated training corpus or some form of annotated input...Information extraction; Automatically generating; Extraction patterns; Untagged text; Corpus-based; AutoSlog-TS; AutoSlog system; MUC-4; Dictionary construction1996
298 Davis, AlAutomating the design of embedded domain specific acceleratorsDomain specific architecture (DSA) design currently involves a lengthy process that requires significant designer knowledge, experience, and time in arriving at a suitable code generator and architecture for the target application suite. Given the stringent time to market constraints and the dyna...Domain specific architecture; Stall cycle analysis; SCA; Domain specific accelerators2008
299 Sobh, Tarek M.Autonomous ObservationWe address the problem of observing an agent. We advocate a modeling approach for the visual system and its observer, where a discrete event dynamic system (DEDS) framework is developed and "events" are defined as ranges on parameter subsets. The dynamic recursive context for finite state machines (...Observation; Manipulation process1992
300 Sobh, Tarek M.Autonomous observationWe address the problem of observing an agent?? We advocate a modeling approach for the visual system and its observer where a discrete event dynamic system DEDS framework is developed and events are de ned as ranges on parameter subsets?? The dynamic recursive context for nite state machine...Autonomous observation1992
276 - 300 of 1,977