Stem ufo$ (all stems)

5 papers:

TACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification

UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.

CAV-2012-AlbarghouthiLGC #framework #named #verification

Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.

SEKE-2010-CerriYRS #fuzzy #named

UFOCoRe: Exploring Fuzzy Relations According to Specific Contexts (MJC, CAY, MXR, MTPS), pp. 529–542.

VLDB-2009-GubanovPHPCC #repository

IBM UFO Repository (MNG, LP, CTHH, HP, JYC, SCC), pp. 1598–1601.

SIGIR-1986-Doszkocs #information retrieval #natural language #online #problem

IR, NLP, AI and UFOS: Or IR-Relevance, Natural Language Problems, Artful Intelligence and User-Friendly Online Systems (TED), pp. 49–57.