|
|
Creator | Title | Description | Subject | Date |
201 |
|
Kessler, Robert R. | Concurrent Scheme | This paper describes an evolution of the Scheme language to support parallelism with tight coupling of control and data. Mechanisms are presented to address the difficult and related problems of mutual exclusion and data sharing which arise in concurrent language systems. The mechanisms are tailored... | Concurrent Scheme; Parallelism | 1990 |
202 |
|
Pascucci, Valerio | Conforming Morse-Smale complexes | Morse-Smale (MS) complexes have been gaining popularity as a tool for feature-driven data analysis and visualization. However, the quality of their geometric embedding and the sole dependence on the input scalar field data can limit their applicability when expressing application-dependent features.... | | 2014-01-01 |
203 |
|
Lindstrom, Gary E. | CONSIM: a converstional simulation language implemented through interpretive control self-modeling | This paper describes an implementation technique termed interpretive control self-modeling (ICSM) and outlines its application in the implementation of CONSIM, a prototype conversational simulation language. ICSM may be defined as the use of a higher-level programming language (HLL) to specify its o... | CONSIM; Converstional simulation language; Interpretive control self-modeling; ICSM | 1977 |
204 |
|
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 |
205 |
|
Cohen, Elaine | Constant scallop height tool path generation | An approach for the automatic generation of constant scallop height tool paths is presented. An example is shown generated from a B-spline model, although it can be used with many types of sculptured surfaces. The approach utilizes surface subdivision techniques and a new algorithm for tool path gen... | Scallop height; Tool path generation; B-spline model | 1989 |
206 |
|
Hansen, Charles D. | Constrained inverse volume rendering for planetary nebulae | Determining the three-dimensional structure of distant astronomical objects is a challenging task, given that terrestrial observations provide only one viewpoint. For this task, bipolar planetary nebulae are interesting objects of study because of their pronounced axial symmetry due to fundamental p... | Volume rendering; Axial symmetry | 2004 |
207 |
|
Nelson, Donald | Constraint Jacobians for constant-time inverse kinematics and assembly optimization | An algorithm for the constant-time solution of systems of geometric constraint equations is presented in this work. constraint equations and their Jacobians may be used in conjunction with other numerical methods to solve for a variety of kinematics, dynamics, and assembly optimization problems. The... | Constant-time; Inverse kinematics; Constraint Jacobians | 1998 |
208 |
|
Bruderlin, Beat | Constraint objects - integrating constraint definition and interaction | This paper describes the implementation of a new constraint-based technique for direct manipulation in interactive CAD, which will simplify the design process, especially in the early stages. We introduce so called Constraint Objects and Parameter Objects which constitute an object-oriented view on ... | Constraint objects; Parameter objects | 1992 |
209 |
|
Bruderlin, Beat | Constraint objects - integrating constraint definition and interaction | This paper describes the implementation of a new constraint-based technique for direct manipulation in interactive CAD. We introduce so called Constraint Objects and Parameter Objects which constitute an object-oriented view on constraints. A graph algorithm is employed to analyze the relative degr... | Constraint objects | 1993 |
210 |
|
Bruderlin, Beat | Constraint objects ? integrating constraint definition and graphical interaction | This paper describes the implementation of a new constraint??based tech?? nique for direct manipulation in interactive CAD which will simplify the design process especially in the early stages We introduce so called Constraint Objects and Parameter Objects which constitute an object??oriented ... | Constraint objects | 1992 |
211 |
|
Hansen, Charles D.; Johnson, Christopher R. | Constraint-based technique for haptic volume exploration | We present a haptic rendering technique that uses directional constraints to facilitate enhanced exploration modes for volumetric datasets. The algorithm restricts user motion in certain directions by incrementally moving a proxy point along the axes of a local reference frame. Reaction forces are g... | Haptic rendering; Immersive visualization; Human-computer interaction | 2003 |
212 |
|
Johnson, Christopher R. | Construction of a human torso model from magnetic resonance images for problems in computational electrocardiography | Applying mathematical models to real situations often requires the use of discrete geometrical models of the solution domain. In some cases destructive measurement of the objects under examination is acceptable, but in biomedical applications the measurements come from imaging techniques such as X-r... | Human torso model; MRI | 1994 |
213 |
|
Riloff, Ellen M. | Conundrums in noun phrase coreference resolution: making sense of the state-of-the-art | We aim to shed light on the state-of-the-art in NP coreference resolution by teasing apart the differences in the MUC and ACE task definitions, the assumptions made in evaluation methodologies, and inherent differences in text corpora. First, we examine three subproblems that play a role in coref... | Noun phrase; Coreference resolution; MUC; ACE | 2009 |
214 |
|
Ikits, Milan | Coregistration of pose measurement devices using nonlinear least squares parameter estimation | Multimodal visual haptic user interfaces can be made more effective by accurately colocating the workspaces of their components. We have developed a coregistration technique for pose measurement devices based on nonlinear least squares parameter estimation. A reduced quaternion parameterization is u... | Coregistration; Pose measurement; Haptic interfaces | 2000 |
215 |
|
Riloff, Ellen M. | Corpus-based approach for building semantic lexicons | Semantic knowledge can be a great asset to natural language processing systems, but it is usually hand-coded for each application. Although some semantic information is available in general-purpose knowledge bases such as Word Net and Cyc, many applications require domain-specific lexicons that repr... | Corpus-based method; Semantic lexicons | 1997 |
216 |
|
Riloff, Ellen M. | Corpus-based bootstrapping algorithm for semi-automated semantic lexicon construction | Many applications need a lexicon that represents semantic information but acquiring lexical information is time consuming. We present a corpus-based bootstrapping algorithm that assists users in creating domain-specifi c semantic lexicons quickly. Our algorithm uses a representative text corpus for ... | Bootstrapping algorithm; Lexicon construction | 1999-06 |
217 |
|
Riloff, Ellen M. | Corpus-based identification of non-anaphoric noun phrases | Coreference resolution involves finding antecedents for anaphoric discourse entities, such as definite noun phrases. But many definite noun phrases are not anaphoric because their meaning can be understood from general world knowledge (e.g., "the White House" or "the news media"). We have develope... | Corpus-based identification; Non-anaphoric noun phrases; Coreference resolution; MUC-4; Discourse entity; DE | 1999 |
218 |
|
Riloff, Ellen M. | Corpus-based semantic lexicon induction with web-based corroboration | Various techniques have been developed to automatically induce semantic dictionaries from text corpora and from the Web. Our research combines corpus-based semantic lexicon induction with statistics acquired from the Web to improve the accuracy of automatically acquired domain-specific dictionari... | Corpus-based; Text corpora; Domain-specific dictionaries; Bootstrapping algorithm | 2009 |
219 |
|
Regehr, John | Correctness proofs for device drivers in embedded systems | Computer systems do not exist in isolation: they must interact with the world through I/O devices. Our work, which focuses on constrained embedded systems, provides a framework for verifying device driver software at the machine code level. We created an abstract device model that can be plugged... | | 2010 |
220 |
|
Hansen, Charles D. | Cost-effective data-parallel load balancing | Load balancing algorithms improve a program's performance on unbalanced datasets, but can degrade performance on balanced datasets, because unnecessary load redistributions occur. This paper presents a cost-effective data-parallel load balancing algorithm which performs load redistributions only... | Load balancing | 1995 |
221 |
|
Regehr, John | CPU reservations and time constraints: implementation experience on windows NT | This paper presents an implementation of scheduling abstractions originally developed for the Rialto real-time operating system within a research version of Windows NT called Rialto/NT. These abstractions, CPU Reservations and Time Constraints, as described in the 1997 SOSP paper [Jones et al. 97], ... | | 1999-01-01 |
222 |
|
Tasdizen, Tolga; Whitaker, Ross T. | Cramer-Rao bounds for nonparametric surface reconstruction from range data | The Cramer-Rao error bound provides a fundamental limit on the expected performance of a statistical estimator. The error bound depends on the general properties of the system, but not on the specific properties of the estimator or the solution. The Cramer-Rao error bound has been applied to scal... | Cramer-Rao bounds; Error bounds; 3D reconstruction | 2003-04-18 |
223 |
|
Brunvand, Erik L. | Critical hazard free test generation for asynchronous circuits | We describe a technique to generate critical hazard-free tests for self-timed control circuits build using a macromodule library, in a partial scan based DFT environment. We propose a 6 valued algebra to generate these tests which are guaranteed to be critical hazard free under an unbounded delay m... | | 1997 |
224 |
|
Mates, Phillip Lopes; Silva, Claudio T. | crowdLabs: a provenance enabled web repository | The National Science Foundation Science and Technology Center for Coastal Margin Observation and Prediction (CMPO) is a multi-institutional center dedicated to coastal margins, which are regions consisting of very productive ecosystems that play an important role in global elemental cycles. CMPO ma... | CrowdLabs; Web repository; Coastal margins; Trapeze Interactive Poster | 2010-03-15 |
225 |
|
Whitaker, Ross T. | Curve boxplot: Generalization of boxplot for ensembles of curves | In simulation science, computational scientists often study the behavior of their simulations by repeated solutions with variations in parameters and/or boundary values or initial conditions. Through such simulation ensembles, one can try to understand or quantify the variability or uncertainty in a... | | 2014-01-01 |