Results 271 to 280 of about 158,796 (306)
Some of the next articles are maybe not open access.
Recursion Structure Simplification
SIAM Journal on Computing, 1975This paper discusses a family of algorithms for transforming a recursive program into an equivalent program with a simplified recursion structure. The simplification is performed by integrating copies of certain procedures into the bodies of other procedures.
Strong, H. R. jun. +2 more
openaire +1 more source
Simplification of nested radicals
30th Annual Symposium on Foundations of Computer Science, 1989Let \(k\) be a field of characteristic zero, and let \(\alpha\) be a nested radical over \(k\). Let \(L\) be the splitting field of the minimal polynomial of \(\alpha\) over \(k\), and let \(G=\text{Gal}(L/k)\). If \(K\) contains all roots of unity then \(\alpha\) can be denested only within \(L\).
openaire +2 more sources
Lazy unification with simplification
1994Unification in the presence of an equational theory is an important problem in theorem-proving and in the integration of functional and logic programming languages. This paper presents an improvement of the proposed lazy unification methods by incorporating simplification into the unification process. Since simplification is a deterministic computation
openaire +2 more sources
High-volume point cloud data simplification based on decomposed graph filtering
Automation in Construction, 2021Zhou Wu, Dongsheng Li, Jiepeng Liu
exaly
The common understanding of simplification approaches in published LCA studies—a review and mapping
International Journal of Life Cycle Assessment, 2020Katja Tasala Gradin +2 more
exaly
Feature-preserving 3D mesh simplification for urban buildings
ISPRS Journal of Photogrammetry and Remote Sensing, 2021Minglei Li, Liangliang Nan
exaly
Quadric-based simplification in any dimension
ACM Transactions on Graphics, 2005Michael Garland
exaly
Structural simplification: an efficient strategy in lead optimization
Acta Pharmaceutica Sinica B, 2019Shengzheng Wang +2 more
exaly