ACM Refine Library Query

(1:15)

ACM Refined Search

(23)

Interactive Exploration and Refinement of Facial Expression using Manifold Learning

(31)

Milling Rice on the an Air Classifying Mill

(3:12)

Why I Belong to ACM

(2:26)

X-Ray Refine: Supporting the Exploration and Refinement of Information Exposure Resulting from ...

(31)

ACM Digital Library Database

(3:56)

SOSP 2021: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

(10:24)

ACM Digital Library Advanced Search

(8:21)

ACM Laboratoire Boréade Global Anti-Blemish Skincare Texture | Care to Beauty

(21)

The New ACM Digital Library: User and Administrator Training

(39:4)

ACM Reference List

(58)

[ICFP24] Almost-Sure Termination by Guarded Refinement

(13:53)

Advanced Search Using ACM Digital Library

(49)

Sprint 2 for Asset Customization Module | APN-ACM

(21:30)

Correctness by Construction How Can We Build Better Software

(1:1:21)

[POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and...

(22:52)

ACM and the HLF

(3:14)

[FARM'23] Weighted Refinement Types for Counterpoint Composition

(27:25)

Boolean Search Using ACM Digital Library

(1:9)