Stem pic$ (all stems)

6 papers:

SIGIR-2014-ZerrSPHZ #exclamation

NicePic!: a system for extracting attractive photos from flickr streams (SZ, SS, JSP, JSH, XZ), pp. 1259–1260.

TACAS-2013-MateescuS #model checking #model transformation #named #π-calculus

PIC2LNT: Model Transformation for Model Checking an Applied π-Calculus (RM, GS), pp. 192–198.

CIKM-2012-ZerrSH #classification #exclamation #image #privacy #retrieval

PicAlert!: a system for privacy-aware image classification and retrieval (SZ, SS, JSH), pp. 2710–2712.

SCAM-2006-HenriksenG #abstract interpretation #logic programming #source code

Abstract Interpretation of PIC Programs through Logic Programming (KSH, JPG), pp. 184–196.

ICPR-1996-CoxMOY #feedback #image #named #retrieval

PicHunter: Bayesian relevance feedback for image retrieval (IJC, MLM, SMO, PNY), pp. 361–369.

ICSE-1985-WolfCW #development #incremental #interface

Interface Control and Incremental Development in the PIC Environment (ALW, LAC, JCW), pp. 75–82.