pith. machine review for the scientific record. sign in

arxiv: 2605.04524 · v1 · submitted 2026-05-06 · 💻 cs.CV · cs.GR

Recognition: unknown

High-Fidelity Single-Image Head Modeling with Industry-Grade Topology

Yunmu Wang , Zoubin Bi , Bowen Cai , Chenchu Rong , Jinlong Wang , Junchen Deng , Aocheng Huang , Jidong Jia
show 1 more author
Huan Fu
Authors on Pith no claims yet

Pith reviewed 2026-05-08 17:21 UTC · model grok-4.3

classification 💻 cs.CV cs.GR
keywords single image head reconstruction3D mesh topologygeometry regularizationdigital human modelingoptimization pipelineindustry grade meshface identity preservation
0
0 comments X

The pith

A single-image framework produces 3D head meshes with industry-standard topology and preserved identity through staged optimization.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a method for reconstructing detailed 3D head models from one photograph while ensuring the resulting mesh has the clean, consistent structure needed for professional animation and rendering. It uses a three-stage process starting from a template model and progressively refining it to match the image details. Special constraints on surface normals, curvature, and shape consistency help overcome the uncertainty inherent in lifting 2D images to 3D shapes. This approach matters for applications like digital human creation in entertainment and virtual reality, where manual modeling is time-consuming. Professional artists in a study preferred these outputs over other methods for usability.

Core claim

Our hierarchical optimization with geometry-aware regularization yields meshes with semantically meaningful edge flow and industry-grade topology. The coarse-to-fine pipeline refines a rigged template across rig, joint, and vertex stages, employing normal consistency with landmark alignment to preserve identity, and Gaussian curvature plus conformal consistency to enforce topological regularity, along with auxiliary regularizations for fine artifacts.

What carries the argument

The three-stage hierarchical optimization pipeline (rig, joint, vertex) augmented with geometry-aware regularization consisting of normal consistency, landmark alignment, Gaussian curvature constraints, and conformal consistency.

If this is right

  • Produces meshes suitable for direct use in animation pipelines without extensive cleanup.
  • Extractable UV textures and normal maps preserve fine appearance details.
  • Results rated as approaching industry-grade by professional technical artists.
  • 95 percent of artists in the study ranked it as the best among compared methods.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the constraints generalize, the method could apply to full-body modeling from single images.
  • Integration with real-time rendering engines might allow quick avatar generation from selfies.
  • Further tests on extreme poses or lighting could reveal limits in identity preservation.

Load-bearing premise

The normal consistency, landmark alignment, Gaussian curvature, and conformal consistency together provide enough guidance to resolve the single-image 3D reconstruction ambiguity into a topologically correct mesh that matches the person's identity.

What would settle it

Finding a single input image where the output mesh has irregular edge flow or artifacts that require manual topology fixes by artists, or where the user study rankings do not hold in a larger sample.

Figures

Figures reproduced from arXiv: 2605.04524 by Aocheng Huang, Bowen Cai, Chenchu Rong, Huan Fu, Jidong Jia, Jinlong Wang, Junchen Deng, Yunmu Wang, Zoubin Bi.

Figure 1
Figure 1. Figure 1: Single-image head modeling results of our method. Our method generates high-fidelity, industry-grade head meshes with clean topology that can enter downstream binding and animation workflows. Frontalized and de-occluded inputs are shown for reference. Additional results are provided in the accompanying video and supplemental material. Please zoom in to inspect fine details. We present a single-image head m… view at source ↗
Figure 2
Figure 2. Figure 2: Overview of our pipeline. Left: Our method adopts a coarse-to-fine reconstruction framework that hierarchically deforms the template mesh from semantic structure to fine-scale details, yielding semantically meaningful edge flow and industry-grade topology. Right: We introduce Gaussian curvature and conformal consistency losses to simultaneously preserve local surface geometry and enforce topological regula… view at source ↗
Figure 3
Figure 3. Figure 3: Definition of our landmarks. Besides classic corner landmarks, we introduce sequential point trajectories to better guide the reconstruction of identity-relevant features, such as eye shape and overall face contour. reconstruction with surface normals provides a rich geometric sig￾nal beyond classic point-wise correspondence, enabling the model to better capture identity-specific local curvature and fine-s… view at source ↗
Figure 4
Figure 4. Figure 4: Pipeline of texture extraction. The input image is first super-resolved and decomposed to obtain albedo, while a heuristic normal map is estimated in image space. Both albedo and normal maps are then projected onto the UV map via rasterization, preserving high-frequency details. Finally, missing regions due to self-occlusion are completed using Dual-Mask Poisson Blending to ensure color and gradient consis… view at source ↗
Figure 5
Figure 5. Figure 5: Comparison of single-image head reconstruction methods on in-the-wild and synthetic datasets. The two rows on the left show results on in-the-wild images, while the two rows on the right present reconstructions on synthetic data. Across both settings, our method produces noticeably more realistic and identity-faithful heads than existing methods. Input Ours ACAP NR-ICP FLAME view at source ↗
Figure 6
Figure 6. Figure 6: Comparison with registration-based methods. From left to right in each row: ground-truth rendering, our method, ACAP [Yoshiyasu et al. 2014], NR-ICP [Amberg et al. 2007], and FLAME [Li et al. 2017]. Benefiting from our coarse-to-fine framework and geometry-aware regularization, our method reconstructs head geometry with topology regularity comparable to registration-based approaches view at source ↗
Figure 7
Figure 7. Figure 7: ArcFace score distribution on the synthetic dataset. Our method (blue) yields consistently higher ArcFace scores than other single-image ap￾proaches on this evaluation set. Ours w/o LGCC w/o Lconf w/o coarse stg view at source ↗
Figure 10
Figure 10. Figure 10: Comparison with DreamFace. Each row from left to right: input image, our reconstruction, and DreamFace reconstruction, repeated for two examples. Our method better preserves global facial structure and fine-grained details in these examples view at source ↗
Figure 11
Figure 11. Figure 11: More reconstruction and downstream deformation results produced by our method. From left to right: the input image, reconstructed geometry, mesh topology, textured reconstruction, and a sequence of extreme deformation tests. These examples show that our reconstructed meshes remain stable in challenging downstream deformation tests. , Vol. 1, No. 1, Article . Publication date: May 2026 view at source ↗
read the original abstract

We present a single-image head mesh reconstruction framework that addresses the longstanding challenge of simultaneously preserving facial identity and producing industry-grade topology. Our framework adopts a coarse-to-fine optimization pipeline that refines a rigged template across three stages -- rig, joint, and vertex -- achieving stable convergence and consistent topology. To mitigate the ill-posed nature of single-image 3D face reconstruction and ensure identity preservation, we employ a normal consistency objective jointly with landmark alignment. To further preserve local surface structure and enforce topological regularity, we introduce geometry-aware constraints based on Gaussian curvature and conformal consistency, along with auxiliary regularizations that correct fine artifacts such as lip seams and eyelid discontinuities. Our hierarchical optimization with geometry-aware regularization yields meshes with semantically meaningful edge flow and industry-grade topology. After geometry reconstruction, we extract UV-space texture and normal maps to preserve appearance details for visualization and downstream use. In a user study with 22 professional technical artists, our results were assessed as approaching industry-grade usability, and 95% of participants ranked our method as the top-performing approach, underscoring its effectiveness for real-world digital human production.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The paper presents a single-image head mesh reconstruction framework using a coarse-to-fine hierarchical optimization pipeline with three stages (rig, joint, vertex) on a rigged template. It combines normal consistency with landmark alignment to preserve identity, introduces geometry-aware constraints based on Gaussian curvature and conformal consistency plus auxiliary regularizations for artifacts like lip seams, and extracts UV-space texture and normal maps post-reconstruction. A user study with 22 professional technical artists is reported, in which results approach industry-grade usability and 95% of participants ranked the method highest.

Significance. If the quantitative support and implementation details hold, the work would be significant for computer vision and graphics applications in digital human production. Industry-grade topology with semantically meaningful edge flow is a practical requirement for animation pipelines that many single-image methods fail to meet; the hierarchical approach and specific regularizations target this gap directly. The user study provides initial evidence of real-world relevance, though broader validation would strengthen the case.

major comments (2)
  1. [Abstract] Abstract: The central claims of identity preservation and industry-grade topology rest on the normal consistency objective, landmark alignment, Gaussian curvature, and conformal consistency constraints, yet no quantitative metrics, ablation studies, error analysis, or baseline comparisons are supplied to demonstrate that these terms resolve the ill-posed problem without introducing artifacts or losing detail. This absence directly affects verifiability of the hierarchical optimization's effectiveness.
  2. [Abstract] User study description: The claim that 95% of 22 professional technical artists ranked the method top-performing is load-bearing for the usability conclusion, but the abstract supplies no details on study design, comparison methods, rating criteria, or statistical analysis, preventing assessment of whether the results support the assertion of approaching industry-grade usability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments on the abstract. We will revise the abstract to improve verifiability while preserving conciseness, incorporating brief references to the quantitative support and study details already present in the full manuscript.

read point-by-point responses

  1. Referee: [Abstract] Abstract: The central claims of identity preservation and industry-grade topology rest on the normal consistency objective, landmark alignment, Gaussian curvature, and conformal consistency constraints, yet no quantitative metrics, ablation studies, error analysis, or baseline comparisons are supplied to demonstrate that these terms resolve the ill-posed problem without introducing artifacts or losing detail. This absence directly affects verifiability of the hierarchical optimization's effectiveness.

    Authors: We agree that the abstract, being concise by design, does not enumerate the supporting experiments. The full manuscript supplies these elements in Sections 4 (method details and constraints) and 5 (quantitative evaluation, ablations on each term including normal consistency, curvature, and conformality, error metrics against ground-truth scans, and baseline comparisons). These results show the constraints mitigate artifacts while preserving detail and identity. To address the verifiability concern directly from the abstract, we will revise it to include one or two key quantitative highlights and a pointer to the evaluation sections. revision: yes

  2. Referee: [Abstract] User study description: The claim that 95% of 22 professional technical artists ranked the method top-performing is load-bearing for the usability conclusion, but the abstract supplies no details on study design, comparison methods, rating criteria, or statistical analysis, preventing assessment of whether the results support the assertion of approaching industry-grade usability.

    Authors: We acknowledge the abstract omits these specifics. Section 6 of the manuscript fully describes the study: 22 professional technical artists, comparisons against prior single-image methods, rating criteria focused on topology suitability for animation pipelines, identity fidelity, and artifact absence, plus the ranking procedure and 95% top-rank result. We will revise the abstract to concisely note the participant count, professional expertise, and evaluation focus to strengthen the claim without exceeding length limits. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The abstract and available text describe a coarse-to-fine optimization pipeline employing standard constraints (normal consistency jointly with landmark alignment, Gaussian curvature, conformal consistency) to address single-image head reconstruction. No equations, derivations, or parameter-fitting steps are presented that reduce a claimed prediction or result back to the inputs by construction. No self-citations, uniqueness theorems, or ansatzes are invoked in the provided content. The central claim—that the hierarchical optimization yields industry-grade topology—rests on the described regularization objectives without evident self-referential reduction or renaming of known results. The derivation chain is therefore self-contained against external benchmarks, consistent with the default expectation for most papers.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the approach relies on standard geometric constraints and optimization from the broader 3D reconstruction literature.

pith-pipeline@v0.9.0 · 5520 in / 1253 out tokens · 52991 ms · 2026-05-08T17:21:09.306063+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. TOPOS: High-Fidelity and Efficient Industry-Grade 3D Head Generation

    cs.CV 2026-05 unverdicted novelty 6.0

    TOPOS creates high-fidelity 3D heads with fixed industry topology from single images via a specialized VAE with Perceiver Resampler and a rectified flow transformer.

Reference graph

Works this paper leans on

201 extracted references · 28 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Abril and Robert Plant

    Patricia S. Abril and Robert Plant. The patent holder's dilemma: Buy, sell, or troll?. Communications of the ACM. doi:10.1145/1188913.1188915

    work page doi:10.1145/1188913.1188915

  2. [2]

    Deciding equivalances among conjunctive aggregate queries

    Sarah Cohen and Werner Nutt and Yehoshua Sagic. Deciding equivalances among conjunctive aggregate queries. doi:10.1145/1219092.1219093

    work page doi:10.1145/1219092.1219093

  3. [3]

    Special issue: Digital Libraries. 1996

    1996

  4. [4]

    Understanding Policy-Based Networking

    David Kosiur. Understanding Policy-Based Networking

  5. [7]

    Editor (Ed.), title The title of book two , The name of the series two, edition 2nd

    The title of book two. doi:10.1007/3-540-09237-4

    work page doi:10.1007/3-540-09237-4

  6. [8]

    Asad Z. Spector. Achieving application requirements. Distributed Systems. doi:10.1145/90417.90738

    work page doi:10.1145/90417.90738

  7. [9]

    Douglass and David Harel and Mark B

    Bruce P. Douglass and David Harel and Mark B. Trakhtenbrot. Statecarts in use: structured analysis and object-orientation. Lectures on Embedded Systems. doi:10.1007/3-540-65193-4_29

    work page doi:10.1007/3-540-65193-4_29

  8. [10]

    Donald E. Knuth. The Art of Computer Programming, Vol. 1: Fundamental Algorithms (3rd. ed.)

  9. [11]

    Donald E. Knuth. The Art of Computer Programming

  10. [12]

    Structured Variational Inference Procedures and their Realizations (as incol)

    Dan Geiger and Christopher Meek. Structured Variational Inference Procedures and their Realizations (as incol). Proceedings of Tenth International Workshop on Artificial Intelligence and Statistics, The Barbados

  11. [13]

    Stan W. Smith. An experiment in bibliographic mark-up: Parsing metadata for XML export. Proceedings of the 3rd. annual workshop on Librarians and Computers

  12. [14]

    Catch me, if you can: Evading network signatures with web-based polymorphic worms

    Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna. Catch me, if you can: Evading network signatures with web-based polymorphic worms. Proceedings of the first USENIX workshop on Offensive Technologies

  13. [15]

    Predicate Path expressions

    Sten Andler. Predicate Path expressions. Proceedings of the 6th. ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages. doi:10.1145/567752.567774

    work page doi:10.1145/567752.567774

  14. [16]

    LOGICS of Programs: AXIOMATICS and DESCRIPTIVE POWER

    David Harel. LOGICS of Programs: AXIOMATICS and DESCRIPTIVE POWER

  15. [17]

    Anisi , title =

    David A. Anisi , title =

  16. [18]

    Clarkson

    Kenneth L. Clarkson. Algorithms for Closest-Point Problems (Computational Geometry)

  17. [19]

    Introduction to Bayesian Statistics

    Harry Thornburg. Introduction to Bayesian Statistics. 2001

    2001

  18. [20]

    CLIFFORD: a Maple 11 Package for Clifford Algebra Computations, version 11

    Rafal Ablamowicz and Bertfried Fauser. CLIFFORD: a Maple 11 Package for Clifford Algebra Computations, version 11. 2007

    2007

  19. [21]

    Stats and Analysis

    Poker-Edge.Com. Stats and Analysis. 2006

    2006

  20. [22]

    A more perfect union

    Barack Obama. A more perfect union

  21. [23]

    The fountain of youth

    Joseph Scientist. The fountain of youth

  22. [24]

    Solder man

    Dave Novak. Solder man. ACM SIGGRAPH 2003 Video Review on Animation theater Program: Part I - Vol. 145 (July 27--27, 2003). doi:10.945/woot07-S422

    2003

  23. [25]

    Interview with Bill Kinder: January 13, 2005

    Newton Lee. Interview with Bill Kinder: January 13, 2005. Comput. Entertain. doi:10.1145/1057270.1057278

    work page doi:10.1145/1057270.1057278 2005

  24. [26]

    The Enabling of Digital Libraries

    Bernard Rous. The Enabling of Digital Libraries. Digital Libraries

  25. [28]

    (new) Finding minimum congestion spanning trees , journal =

    Werneck, Renato and Setubal, Jo\. (new) Finding minimum congestion spanning trees , journal =. doi:10.1145/351827.384253 , acmid = 384253, publisher =

    work page doi:10.1145/351827.384253

  26. [30]

    and Mei, Alessandro , title =

    Conti, Mauro and Di Pietro, Roberto and Mancini, Luigi V. and Mei, Alessandro , title =. Inf. Fusion , volume =. 2009 , issn =. doi:10.1016/j.inffus.2009.01.002 , acmid =

    work page doi:10.1016/j.inffus.2009.01.002 2009

  27. [31]

    and Hutchful, David K

    Li, Cheng-Lun and Buyuktur, Ayse G. and Hutchful, David K. and Sant, Natasha B. and Nainwal, Satyendra K. , title =. CHI '08 extended abstracts on Human factors in computing systems , year =. doi:10.1145/1358628.1358946 , acmid =

    work page doi:10.1145/1358628.1358946

  28. [32]

    , title =

    Hollis, Billy S. , title =. 1999 , isbn =

    1999

  29. [33]

    Goossens, Michel and Rahtz, S. P. and Moore, Ross and Sutor, Robert S. , title =. 1999 , isbn =

    1999

  30. [34]

    and Rosenberg, Arnold L

    Buss, Jonathan F. and Rosenberg, Arnold L. and Knott, Judson D. , title =. 1987 , source =

    1987

  31. [35]

    CHI '08: CHI '08 extended abstracts on Human factors in computing systems , year =

    , note =. CHI '08: CHI '08 extended abstracts on Human factors in computing systems , year =

  32. [36]

    Algorithms for Closest-Point Problems (Computational Geometry) , year =

    Clarkson, Kenneth Lee , advisor =. Algorithms for Closest-Point Problems (Computational Geometry) , year =

  33. [37]

    SIGCOMM Comput. Commun. Rev. , year =

  34. [38]

    2004 , isbn =

    IEEE TCSC Executive Committee , booktitle =. 2004 , isbn =. doi:http://dx.doi.org/10.1109/ICWS.2004.64 , acmid =

    work page doi:10.1109/icws.2004.64 2004

  35. [39]

    Distributed systems (2nd Ed.) , year =

  36. [40]

    , title =

    Petrie, Charles J. , title =. 1986 , source =

    1986

  37. [41]

    Donald E. Knuth. Seminumerical Algorithms. 1981

    1981

  38. [42]

    E-commerce and cultural values , year =

    Kong, Wei-Chang , Title =. E-commerce and cultural values , year =

  39. [43]

    E-commerce and cultural values , year =

    Kong, Wei-Chang , type =. E-commerce and cultural values , year =

  40. [44]

    Chapter 9 , booktitle =

    Kong, Wei-Chang , editor =. Chapter 9 , booktitle =

  41. [45]

    E-commerce and cultural values , editor =

    Kong, Wei-Chang , title =. E-commerce and cultural values , editor =. 2003 , isbn =

    2003

  42. [46]

    E-commerce and cultural values - (InBook-num-in-chap) , chapter =

    Kong, Wei-Chang , editor =. E-commerce and cultural values - (InBook-num-in-chap) , chapter =. 2004 , address =

    2004

  43. [47]

    E-commerce and cultural values (Inbook-text-in-chap) , chapter =

    Kong, Wei-Chang , editor =. E-commerce and cultural values (Inbook-text-in-chap) , chapter =. 2005 , address =

    2005

  44. [48]

    E-commerce and cultural values (Inbook-num chap) , chapter =

    Kong, Wei-Chang , editor =. E-commerce and cultural values (Inbook-num chap) , chapter =. 2006 , address =

    2006

  45. [49]

    Microelectron

    Mehdi Saeedi and Morteza Saheb Zamani and Mehdi Sedighi , title =. Microelectron. J. , volume =. 2010 , pages =

    2010

  46. [50]

    Mehdi Saeedi and Morteza Saheb Zamani and Mehdi Sedighi and Zahra Sasanian , title =. J. Emerg. Technol. Comput. Syst. , volume =

  47. [51]

    Kirschmer, Markus and Voight, John , title =. SIAM J. Comput. , issue_date =. 2010 , issn =. doi:https://doi.org/10.1137/080734467 , acmid =

    work page doi:10.1137/080734467 2010

  48. [52]

    Hoare, C. A. R. , title =. Structured programming (incoll) , editor =. 1972 , isbn =

    1972

  49. [53]

    History of programming languages I (incoll) , editor =

    Lee, Jan , title =. History of programming languages I (incoll) , editor =. 1981 , isbn =. doi:http://doi.acm.org/10.1145/800025.1198348 , acmid =

    work page doi:10.1145/800025.1198348 1981

  50. [54]

    , title =

    Dijkstra, E. , title =. Classics in software engineering (incoll) , year =

  51. [55]

    , title =

    Wenzel, Elizabeth M. , title =. Multimedia interface design (incoll) , year =. doi:10.1145/146022.146089 , acmid =

    work page doi:10.1145/146022.146089

  52. [56]

    , title =

    Mumford, E. , title =. Critical issues in information systems research (incoll) , year =

  53. [57]

    and Golden, Donald G

    McCracken, Daniel D. and Golden, Donald G. , title =. 1990 , isbn =

    1990

  54. [58]

    The analysis of linear partial differential operators

    H. The analysis of linear partial differential operators. 1985 , PAGES =

    1985

  55. [59]

    IEEE", address =

    A. Adya and P. Bahl and J. Padhye and A.Wolman and L. Zhou , title =. Proceedings of the IEEE 1st International Conference on Broadnets Networks (BroadNets'04) , publisher = "IEEE", address = "Los Alamitos, CA", year =

  56. [60]

    I. F. Akyildiz and W. Su and Y. Sankarasubramaniam and E. Cayirci , title =. Comm. ACM , volume = 38, number = "4", year =

  57. [61]

    I. F. Akyildiz and T. Melodia and K. R. Chowdhury , title =. Computer Netw. , volume = 51, number = "4", year =

  58. [62]

    ACM", address =

    P. Bahl and R. Chancre and J. Dungeon , title =. Proceeding of the 10th International Conference on Mobile Computing and Networking (MobiCom'04) , publisher = "ACM", address = "New York, NY", year =

  59. [63]

    8 (Special Issue on Sensor Networks)

    D. Culler and D. Estrin and M. Srivastava , title =. IEEE Comput. , volume = 37, number = "8 (Special Issue on Sensor Networks)", publisher = "IEEE", address = "Los Alamitos, CA", year =

  60. [64]

    Natarajan and M

    A. Natarajan and M. Motani and B. de Silva and K. Yap and K. C. Chua , title =. Network Architectures , editor =. 960935712

  61. [65]

    Tzamaloukas and J

    A. Tzamaloukas and J. J. Garcia-Luna-Aceves , title =

  62. [66]

    Zhou and J

    G. Zhou and J. Lu and C.-Y. Wan and M. D. Yarvis and J. A. Stankovic , title =

  63. [67]

    Mapping Powerlists onto Hypercubes

    Jacob Kornerup. Mapping Powerlists onto Hypercubes. 1994

    1994

  64. [68]

    Automatic Parallelization for Distributed-Memory Multiprocessing Systems

    Michael Gerndt. Automatic Parallelization for Distributed-Memory Multiprocessing Systems

  65. [69]

    J. E. Archer, Jr. and R. Conway and F. B. Schneider. User recovery and reversal in interactive systems. ACM Trans. Program. Lang. Syst

  66. [70]

    D. D. Dunlop and V. R. Basili. Generalizing specifications for uniformly implemented loops. ACM Trans. Program. Lang. Syst

  67. [71]

    Heering and P

    J. Heering and P. Klint. Towards monolingual programming environments. ACM Trans. Program. Lang. Syst

  68. [72]

    Donald E. Knuth. The book

  69. [73]

    Korach and D

    E. Korach and D. Rotem and N. Santoro. Distributed algorithms for finding centers and medians in networks. ACM Trans. Program. Lang. Syst

  70. [74]

    : A Document Preparation System

    Leslie Lamport. : A Document Preparation System

  71. [75]

    F. Nielson. Program transformations in a denotational setting. ACM Trans. Program. Lang. Syst

  72. [76]

    Brian K. Reid. A high-level approach to computer document formatting. Proceedings of the 7th Annual Symposium on Principles of Programming Languages

  73. [77]

    and Abdelzaher, Tarek F

    Zhou, Gang and Wu, Yafeng and Yan, Ting and He, Tian and Huang, Chengdu and Stankovic, John A. and Abdelzaher, Tarek F. , title =. ACM Trans. Embed. Comput. Syst. , issue_date =. doi:10.1145/1721695.1721705 , acmid = 1721705, publisher =

    work page doi:10.1145/1721695.1721705

  74. [78]

    Institutional members of the Users Group

  75. [79]

    Boris Veytsman , title =

  76. [80]

    Robin Schneider , title =

  77. [81]

    and Peterson, Larry L

    Bowman, Mic and Debray, Saumya K. and Peterson, Larry L. , title =. ACM Trans. Program. Lang. Syst. , volume =. 1993 , doi =

    1993

  78. [82]

    TUGboat , volume =

    Braams, Johannes , title =. TUGboat , volume =

  79. [83]

    Post Congress Tristesse

    Malcolm Clark. Post Congress Tristesse. TeX90 Conference Proceedings

  80. [84]

    ACM Trans

    Herlihy, Maurice , title =. ACM Trans. Program. Lang. Syst. , volume =. 1993 , doi =

    1993

Showing first 80 references.