BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
proof (3)
shop (3)
base (3)
commerc (2)
music (2)

Stem mall$ (all stems)

9 papers:

TLCATLCA-2015-Bagnol #diagrams #equivalence #proving
MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams (MB), pp. 60–75.
SACSAC-2014-UnoI #music #named #recommendation
MALL: a life log based music recommendation system and portable music player (AU, TI), pp. 939–944.
KDDKDD-2011-RaiJK #video
Video analytics solution for tracking customer locations in retail shopping malls (HGNR, KJ, PRK), pp. 773–776.
ICEISICEIS-J-2009-BogdanovychBS #3d
Recognizing Customers’ Mood in 3D Shopping Malls Based on the Trajectories of Their Avatars (AB, MB, SJS), pp. 745–757.
LICSLICS-2008-DelandeM #approach #proving
A Neutral Approach to Proof and Refutation in MALL (OD, DM), pp. 498–508.
LICSLICS-2008-LaurentM #proving
Cut Elimination for Monomial MALL Proof Nets (OL, RM), pp. 486–497.
HCIHCI-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.
ICEISICEIS-2002-ChenS #e-commerce #web
Virtual Mall of E-Commerce Web Sites (MFC, MKS), pp. 908–914.
HCIHCI-CCAD-1999-HandlH #framework #named
MALL2000 — A document-based platform for negotiations in electronic commerce (DH, HJH), pp. 1142–1146.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.