pith. sign in

arxiv: 2605.23192 · v1 · pith:GJULYYYXnew · submitted 2026-05-22 · 💻 cs.CV

Occlusion-Aware Physics-Semantic Keyframe Selection for Robust Video Editing

Lin Liu , Zhihan Xiao , Haohang Xu , Rong Cong , Zhibo Zhang , Xiaopeng Zhang , Qi Tian This is my paper

Pith reviewed 2026-05-25 04:58 UTC · model grok-4.3

classification 💻 cs.CV
keywords keyframe selectionocclusion handlingvideo editingdiffusion modelsmask propagationtemporal consistencyanchor framephysics-semantic scoring
0
0 comments X

The pith

Selecting keyframes by structural completeness, tracking stability, and semantic visibility enables consistent video editing under occlusion without annotations.

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

The paper argues that unreliable visual observations under occlusion, viewpoint shifts, and fast motion are the core reason diffusion-based video editing produces flickering and inaccurate results. It addresses this by scoring candidate frames on structural completeness to avoid partial views, cycle-consistent tracking stability to ensure physical reliability, and vision-language attribute visibility to confirm semantic clarity, then selecting the best frame as an anchor. Masks from this anchor are propagated bidirectionally to create dense supervision signals for the editing model. A reader would care because the approach removes the need for manual frame annotations while turning occlusion management into a selection problem rather than a reconstruction one.

Core claim

The paper claims that the absence of reliable visual anchors is the fundamental bottleneck in occlusion-robust video editing. Its occlusion-aware physics-semantic keyframe selection framework automatically identifies an optimal anchor frame by evaluating structural completeness, cycle-consistent tracking stability, and vision-language-based attribute visibility. The selected keyframe's masks are then propagated through bidirectional tracking to generate dense spatiotemporal supervision for a diffusion-based video editing backbone, enabling precise and temporally consistent edits.

What carries the argument

Occlusion-aware physics-semantic keyframe selection that scores frames on structural completeness, cycle-consistent tracking stability, and vision-language attribute visibility before bidirectional mask propagation.

If this is right

  • Precise and temporally consistent object-level edits are achieved on videos with occlusion and motion without manual annotations.
  • Occlusion handling shifts from explicit reconstruction to reliable anchor selection.
  • The method produces high-quality results on benchmarks involving viewpoint changes and fast object motion.
  • Dense spatiotemporal masks from the anchor serve as effective auxiliary supervision for diffusion editing.

Where Pith is reading between the lines

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

  • The anchor selection idea could extend to other video tasks requiring consistent object localization, such as synthesis or prediction.
  • Similar scoring criteria might apply to non-diffusion editing methods that also rely on mask guidance.
  • Incorporating additional cues like audio or depth into the visibility scoring could strengthen anchor choice in complex scenes.

Load-bearing premise

Scoring candidate frames on structural completeness, cycle-consistent tracking stability, and vision-language attribute visibility will reliably identify an anchor frame whose propagated masks improve downstream diffusion editing quality under occlusion.

What would settle it

An experiment on occluded videos that compares editing quality metrics when using the automatically selected keyframe versus a manually chosen optimal frame or random frame, checking whether the automatic choice shows no gain or a loss in temporal consistency and localization accuracy.

Figures

Figures reproduced from arXiv: 2605.23192 by Haohang Xu, Lin Liu, Qi Tian, Rong Cong, Xiaopeng Zhang, Zhibo Zhang, Zhihan Xiao.

Figure 1
Figure 1. Figure 1: Comparison of video editing paradigms under occlusion. Unlike text-driven or manually guided methods, our approach identifies a reliable keyframe [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Overview of the proposed framework. Given an input video and a text prompt, an occlusion-aware physics-semantic keyframe selector identifies the [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Overview of the mask generation pipeline. During training, masks are generated from frame differences and bounding-box extraction; during inference, [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Visualization of the proposed keyframe selection strategy under [PITH_FULL_IMAGE:figures/full_fig_p006_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Visual comparision between baseline methods on [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Visualizations of video occlusion scenarios demonstrate that the proposed method achieves robust and consistently superior performance. [PITH_FULL_IMAGE:figures/full_fig_p008_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The proposed method intelligently selects key frames, enabling temporal consistency and precise instruction following. [PITH_FULL_IMAGE:figures/full_fig_p008_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: More visualization examples of our proposed Occlusion-Bench. The frames in red box means that the object to be modified in the prompt is occluded. [PITH_FULL_IMAGE:figures/full_fig_p011_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Comparison of baseline methods on one add example of Occlusion-Bench. SAMA incorrectly generated a wooden bench and a cat in the early frames. Kiwi-Edit missed the cat addition and unintentionally modified the bench. Meanwhile, LucyEdit mistakenly transformed the person into a cat [PITH_FULL_IMAGE:figures/full_fig_p011_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: More visualization results on remove task of ReCo-Bench. Input Ours Replace the man's black chef's jacket with a formal white double-breasted chef's jacket Input Ours Replace the man’s cap with a classic brown fedora hat Input Ours change the silvery-white car to a black car [PITH_FULL_IMAGE:figures/full_fig_p012_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: More visualization results on replace task (Samples are from Openve-Bench and Occlusion-Bench) [PITH_FULL_IMAGE:figures/full_fig_p012_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: More visualization results on add task (Samples are from Openve-Bench and Occlusion-Bench) [PITH_FULL_IMAGE:figures/full_fig_p013_12.png] view at source ↗
read the original abstract

Video editing has recently achieved remarkable progress with diffusion-based generative models, enabling diverse object-level manipulations from natural language instructions. However, existing methods often struggle under occlusion, viewpoint changes, and fast object motion, where unreliable visual observations lead to inaccurate localization, temporal flickering, and inconsistent edits. In this work, we identify the absence of reliable visual anchors as a fundamental bottleneck in occlusion-robust video editing. To address this issue, we propose an occlusion-aware physics-semantic keyframe selection framework that automatically identifies an optimal anchor frame for downstream editing. Specifically, our method evaluates candidate frames from three complementary perspectives: structural completeness for avoiding truncated observations, cycle-consistent tracking stability for measuring physical reliability, and vision-language-based attribute visibility for ensuring semantic clarity. The selected keyframe is then propagated through bidirectional tracking to generate dense spatiotemporal masks, which are used as auxiliary supervision for a diffusion-based video editing backbone. By transforming occlusion handling from explicit reconstruction into reliable anchor selection, our framework enables precise and temporally consistent editing without requiring manual annotations. Extensive experiments on challenging video editing benchmarks demonstrate the effectiveness and high-quality performance of our method.

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

1 major / 0 minor

Summary. The manuscript proposes an occlusion-aware physics-semantic keyframe selection framework for diffusion-based video editing. It automatically selects an optimal anchor frame by scoring candidates on structural completeness, cycle-consistent tracking stability, and vision-language attribute visibility; the selected frame is then used to propagate dense spatiotemporal masks via bidirectional tracking as auxiliary supervision for the editing backbone. The central claim is that this anchor-selection approach addresses occlusion, viewpoint changes, and fast motion more reliably than explicit reconstruction, enabling precise and temporally consistent edits without manual annotations. The abstract states that experiments on challenging benchmarks demonstrate effectiveness and high-quality performance.

Significance. If the three-criteria selection reliably identifies anchors whose propagated masks improve downstream diffusion editing under occlusion, the work would offer a practical alternative to reconstruction-heavy methods and could reduce reliance on manual annotations in video editing pipelines. The transformation of the occlusion problem into a selection task is logically coherent, but the manuscript provides no quantitative results, baselines, or ablation details to support the empirical correlation asserted in the abstract.

major comments (1)
  1. [Abstract] Abstract: the claim that 'extensive experiments on challenging video editing benchmarks demonstrate the effectiveness and high-quality performance of our method' is unsupported because the manuscript contains no quantitative results, baseline comparisons, ablation studies, or specific metrics; this absence directly undermines verification of the central claim that the three-criteria scoring yields anchors whose masks improve editing quality under occlusion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed review and for identifying the mismatch between the abstract and the manuscript content. We agree that the empirical claims require support that is absent from the current submission.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that 'extensive experiments on challenging video editing benchmarks demonstrate the effectiveness and high-quality performance of our method' is unsupported because the manuscript contains no quantitative results, baseline comparisons, ablation studies, or specific metrics; this absence directly undermines verification of the central claim that the three-criteria scoring yields anchors whose masks improve editing quality under occlusion.

    Authors: We acknowledge that the submitted manuscript contains only the method description and does not include any quantitative results, baselines, ablations, or metrics. The abstract statement was therefore unsupported. We will revise the abstract to remove or qualify the claim about experimental validation, limiting it to a description of the proposed occlusion-aware keyframe selection approach. If the revision includes new experimental results, they will be added with appropriate comparisons and metrics; otherwise the claim will be excised. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper describes a procedural keyframe selection method that scores candidate frames on structural completeness, cycle-consistent tracking stability, and vision-language attribute visibility, then propagates masks for diffusion editing. No equations, fitted parameters, self-citations, or derivations are present in the provided text; the approach is a heuristic pipeline whose central claim rests on external benchmark experiments rather than any internal reduction of outputs to inputs by construction. The transformation from explicit reconstruction to anchor selection is presented as a design choice validated empirically, with no load-bearing steps that collapse to self-definition or renamed fits.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract introduces no free parameters, mathematical axioms, or new postulated entities; the contribution is a selection procedure.

pith-pipeline@v0.9.0 · 5740 in / 1016 out tokens · 20057 ms · 2026-05-25T04:58:17.061555+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

129 extracted references · 129 canonical work pages · 4 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

    work page 1996

  4. [4]

    Understanding Policy-Based Networking

    David Kosiur. Understanding Policy-Based Networking

    work page

  5. [7]

    doi:10.1007/3-540-09237-4

    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.)

    work page

  9. [11]

    Donald E. Knuth. The Art of Computer Programming

    work page

  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

    work page

  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

    work page

  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

    work page

  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

    work page

  15. [17]

    Anisi , title =

    David A. Anisi , title =

    work page

  16. [18]

    Clarkson

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

    work page

  17. [19]

    Introduction to Bayesian Statistics

    Harry Thornburg. Introduction to Bayesian Statistics. 2001

    work page 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

    work page 2007

  19. [21]

    Stats and Analysis

    Poker-Edge.Com. Stats and Analysis. 2006

    work page 2006

  20. [22]

    A more perfect union

    Barack Obama. A more perfect union

    work page

  21. [23]

    The fountain of youth

    Joseph Scientist. The fountain of youth

    work page

  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

    work page 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

    work page

  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 =

    work page 1999

  29. [33]

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

    work page 1999

  30. [34]

    and Rosenberg, Arnold L

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

    work page 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 =

    work page

  32. [36]

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

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

    work page

  33. [37]

    SIGCOMM Comput. Commun. Rev. , year =

    work page

  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 =

    work page

  36. [40]

    , title =

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

    work page 1986

  37. [41]

    Donald E. Knuth. Seminumerical Algorithms. 1981

    work page 1981

  38. [42]

    E-commerce and cultural values , year =

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

    work page

  39. [43]

    E-commerce and cultural values , year =

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

    work page

  40. [44]

    Chapter 9 , booktitle =

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

    work page

  41. [45]

    E-commerce and cultural values , editor =

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

    work page 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 =

    work page 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 =

    work page 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 =

    work page 2006

  45. [49]

    Microelectron

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

    work page 2010

  46. [50]

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

    work page

  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 =

    work page 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 =

    work page

  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 =

    work page

  53. [57]

    and Golden, Donald G

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

    work page 1990

  54. [58]

    The analysis of linear partial differential operators

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

    work page 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 =

    work page

  56. [60]

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

    work page

  57. [61]

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

    work page

  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 =

    work page

  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 =

    work page

  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

    work page

  61. [65]

    Tzamaloukas and J

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

    work page

  62. [66]

    Zhou and J

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

    work page

  63. [67]

    Mapping Powerlists onto Hypercubes

    Jacob Kornerup. Mapping Powerlists onto Hypercubes. 1994

    work page 1994

  64. [68]

    Automatic Parallelization for Distributed-Memory Multiprocessing Systems

    Michael Gerndt. Automatic Parallelization for Distributed-Memory Multiprocessing Systems

    work page

  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

    work page

  66. [70]

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

    work page

  67. [71]

    Heering and P

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

    work page

  68. [72]

    Donald E. Knuth. The book

    work page

  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

    work page

  70. [74]

    : A Document Preparation System

    Leslie Lamport. : A Document Preparation System

    work page

  71. [75]

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

    work page

  72. [76]

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

    work page

  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

    work page

  75. [79]

    Boris Veytsman , title =

    work page

  76. [80]

    Robin Schneider , title =

    work page

  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 =

    work page 1993

  78. [82]

    TUGboat , volume =

    Braams, Johannes , title =. TUGboat , volume =

    work page

  79. [83]

    Post Congress Tristesse

    Malcolm Clark. Post Congress Tristesse. TeX90 Conference Proceedings

    work page

  80. [84]

    ACM Trans

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

    work page 1993

Showing first 80 references.