14 papers:
HIMI-LCCB-2013-KanegaeYYW #communication #game studies- Effects of a Communication with Make-Believe Play in a Real-Space Sharing Edutainment System (HK, MY, MY, TW), pp. 326–335.
PPDP-2013-KrienerKB #coq #prolog #proving #semantics- Proofs you can believe in: proving equivalences between Prolog semantics in Coq (JK, AK, SB), pp. 37–48.
CSCW-2012-MorrisCRHS #comprehension #microblog #twitter- Tweeting is believing?: understanding microblog credibility perceptions (MRM, SC, AR, AH, JS), pp. 441–450.
- HCI-MIIE-2011-WangZYZSP #what
- Believe What You Hear, Not What You See — Vision Interferes with Auditory Route Guidance in Complex Environment (YW, HZ, LY, KZ, XS, TP), pp. 346–354.
- OCSC-2011-AhmadL11a #question #what
- Interpreting User-Generated Content: What Makes a Blog Believeable? (RA, WGL), pp. 81–89.
VLDB-2009-GatterbauerBKS #database- Believe It or Not: Adding Belief Annotations to Databases (WG, MB, NK, DS), pp. 1–12.
- OCSC-2009-TaylorS #interactive
- Developing Believable Interactive Cultural Characters for Cross-Cultural Training (GT, ES), pp. 282–291.
- DHM-2007-OhS #behaviour #comprehension #nondeterminism
- Understanding RUTH: Creating Believable Behaviors for a Virtual Human Under Uncertainty (IO, MS), pp. 443–452.
- HIMI-IIE-2007-IbrahimNM #concept #framework #online #trust #web
- “Seeing Is Not Believing But Interpreting”, Inducing Trust Through Institutional Symbolism: A Conceptual Framework for Online Trust Building in a Web Mediated Information Environment (ENMI, NLMN, SM), pp. 64–73.
CSEET-2006-Budgen #nondeterminism #why- Why should they believe us? Determinism, non-determinism and evidence (DB), p. 4.
CHI-2003-CosleyLAKR #how #interface #recommendation- Is seeing believing?: how recommender system interfaces affect users’ opinions (DC, SKL, IA, JAK, JR), pp. 585–592.
HT-1998-HirtleSC #clustering #web- Clusters on the World Wide Web: Creating Neighborhoods of Make-Believe (SCH, MES, GC), pp. 289–290.
LICS-1997-BaillotDE #game studies #linear #logic- Believe it or not, AJM’s Games Model is a Model of Classical Linear Logic (PB, VD, TE, LR), pp. 68–75.
ICDAR-1993-CollinTV #analysis #documentation- Don’t tell mom I’m doing document analysis; she believes I’m in the computer vision field (SC, KT, PV), pp. 619–622.
