13 papers:
- CASE-2015-HuZW
- Direct computation of minimal rotation for support slimming (KH, XZ, CCLW), pp. 936–941.
- ICSME-2015-KranasZV #flexibility #interface
- Fitness workout for fat interfaces: Be slim, clean, and flexible (SK, AVZ, PV), pp. 526–530.
- Onward-2015-LiPPK #semantics
- Slimming languages by reducing sugar: a case for semantics-altering transformations (JL, JP, JGP, SK), pp. 90–106.
- SAC-2015-Zheng #algorithm #recommendation
- Improve general contextual slim recommendation algorithms by factorizing contexts (YZ), pp. 929–930.
- CIKM-2014-ZhengMB #recommendation
- Deviation-Based Contextual SLIM Recommenders (YZ, BM, RDB), pp. 271–280.
- RecSys-2014-Zheng #algorithm #recommendation #similarity
- Deviation-based and similarity-based contextual SLIM recommendation algorithms (YZ), pp. 437–440.
- RecSys-2014-ZhengMB #algorithm #named #recommendation
- CSLIM: contextual SLIM recommendation algorithms (YZ, BM, RDB), pp. 301–304.
- MoDELS-2009-ThumSS #collaboration #lightweight #modelling #named
- SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
- MoDELS-2009-ThumSS #collaboration #lightweight #modelling #named
- SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
- SOSP-1999-SchmidtLN #architecture #interactive #performance
- The interactive performance of SLIM: a stateless, thin-client architecture (BKS, MSL, JDN), pp. 32–47.
- CADE-1990-McMichael #automation #named #set
- SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory (AFM), pp. 308–321.
- DAC-1983-McGarityS
- Experiments with the SLIM Circuit Compactor (RM, DPS), pp. 740–746.
- DAC-1980-Dunlop
- SLIM-the translation of symbolic layouts into mask data (AED), pp. 595–602.