201 - 225 of 957
Number of results to display per page
CreatorTitleDescriptionSubjectDate
201 Kessler, Robert R.Concurrent SchemeThis 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; Parallelism1990
202 Pascucci, ValerioConforming Morse-Smale complexesMorse-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-modelingThis 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; ICSM1977
204 Lindstrom, Gary E.Consistency and currency in functional databasesWe 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 databases1982
205 Cohen, ElaineConstant scallop height tool path generationAn 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 model1989
206 Hansen, Charles D.Constrained inverse volume rendering for planetary nebulaeDetermining 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 symmetry2004
207 Nelson, DonaldConstraint Jacobians for constant-time inverse kinematics and assembly optimizationAn 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 Jacobians1998
208 Bruderlin, BeatConstraint objects - integrating constraint definition and interactionThis 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 objects1992
209 Bruderlin, BeatConstraint objects - integrating constraint definition and interactionThis 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 objects1993
210 Bruderlin, BeatConstraint objects ? integrating constraint definition and graphical interactionThis 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 objects1992
211 Hansen, Charles D.; Johnson, Christopher R.Constraint-based technique for haptic volume explorationWe 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 interaction2003
212 Johnson, Christopher R.Construction of a human torso model from magnetic resonance images for problems in computational electrocardiographyApplying 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; MRI1994
213 Riloff, Ellen M.Conundrums in noun phrase coreference resolution: making sense of the state-of-the-artWe 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; ACE2009
214 Ikits, MilanCoregistration of pose measurement devices using nonlinear least squares parameter estimationMultimodal 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 interfaces2000
215 Riloff, Ellen M.Corpus-based approach for building semantic lexiconsSemantic 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 lexicons1997
216 Riloff, Ellen M.Corpus-based bootstrapping algorithm for semi-automated semantic lexicon constructionMany 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 construction1999-06
217 Riloff, Ellen M.Corpus-based identification of non-anaphoric noun phrasesCoreference 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; DE1999
218 Riloff, Ellen M.Corpus-based semantic lexicon induction with web-based corroborationVarious 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 algorithm2009
219 Regehr, JohnCorrectness proofs for device drivers in embedded systemsComputer 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 balancingLoad 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 balancing1995
221 Regehr, JohnCPU reservations and time constraints: implementation experience on windows NTThis 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 dataThe 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 reconstruction2003-04-18
223 Brunvand, Erik L.Critical hazard free test generation for asynchronous circuitsWe 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 repositoryThe 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 Poster2010-03-15
225 Whitaker, Ross T.Curve boxplot: Generalization of boxplot for ensembles of curvesIn 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
201 - 225 of 957