30 search results - page 6 / 6 » Equational Reasoning using AC Constraints |
ENTCS
2008
13 years 5 months ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
SMA
1995
ACM
13 years 9 months ago
1995
ACM
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...
CDC
2008
IEEE
13 years 12 months ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
JCPHY
2011
12 years 8 months ago
2011
We propose a novel method to implicitly two-way couple Eulerian compressible flow to volumetric Lagrangian solids. The method works for both deformable and rigid solids and for a...
LOPSTR
2005
Springer
13 years 11 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...