Sciweavers

1086 search results - page 145 / 218
» Knowledge-based part correspondence
Sort
View
ASE
1998
81views more  ASE 1998»
13 years 9 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang
CGF
1998
101views more  CGF 1998»
13 years 9 months ago
Rapid and Accurate Contact Determination between Spline Models using ShellTrees
In this paper, we present an e cient algorithm for contact determination between spline models. We make use of a new hierarchy, called ShellTree, that comprises of spherical shell...
Shankar Krishnan, M. Gopi, Ming C. Lin, Dinesh Man...
COGSCI
1998
113views more  COGSCI 1998»
13 years 9 months ago
Conceptual Integration Networks
Conceptual integration—"blending"—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serv...
Gilles Fauconnier, Mark Turner
CORR
1999
Springer
124views Education» more  CORR 1999»
13 years 9 months ago
An Algebraic Programming Style for Numerical Software and its Optimization
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
T. B. Dinesh, Magne Haveraaen, Jan Heering
MP
1998
73views more  MP 1998»
13 years 9 months ago
On proving existence of feasible points in equality constrained optimization problems
Various algorithms can compute approximate feasible points or approximate solutions to equality and bound constrained optimization problems. In exhaustive search algorithms for gl...
R. Baker Kearfott