9 papers:
TLCA-2015-Bagnol #diagrams #equivalence #proving- MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams (MB), pp. 60–75.
SAC-2014-UnoI #music #named #recommendation- MALL: a life log based music recommendation system and portable music player (AU, TI), pp. 939–944.
KDD-2011-RaiJK #video- Video analytics solution for tracking customer locations in retail shopping malls (HGNR, KJ, PRK), pp. 773–776.
ICEIS-J-2009-BogdanovychBS #3d- Recognizing Customers’ Mood in 3D Shopping Malls Based on the Trajectories of Their Avatars (AB, MB, SJS), pp. 745–757.
LICS-2008-DelandeM #approach #proving- A Neutral Approach to Proof and Refutation in MALL (OD, DM), pp. 498–508.
- LICS-2008-LaurentM #proving
- Cut Elimination for Monomial MALL Proof Nets (OL, RM), pp. 486–497.
HCI-AS-2007-YoonK07a #case study #internet- A Study on the Characteristics for the Day and Night Time Consumer Groups of Internet Shopping Malls (ShY, SaK), pp. 150–159.
- ICEIS-2002-ChenS #e-commerce #web
- Virtual Mall of E-Commerce Web Sites (MFC, MKS), pp. 908–914.
- HCI-CCAD-1999-HandlH #framework #named
- MALL2000 — A document-based platform for negotiations in electronic commerce (DH, HJH), pp. 1142–1146.
