Travelled to:1 × Austria
1 × Canada
1 × Denmark
4 × USA
Collaborated with:D.R.Karger M.Shanahan K.Panovich E.Bakke I.Diakidoy A.C.Kakas L.Michael A.Russo B.Nuseibeh J.Kramer J.Dinkelacker P.K.Garg D.Nelson A.Marcus S.Madden S.Oh H.Zhang E.Law K.Gajos D.C.Parkes E.Horvitz
Talks about:approach (2) event (2) base (2) relationship (1) spreadsheet (1) discontinu (1) constraint (1) comprehens (1) psycholog (1) structur (1)
Person: Rob Miller
DBLP: Miller:Rob
Contributed to:
2014
2012
2012
20122011
2002
20021996Wrote 8 papers:
- KR-2014-DiakidoyKM0 #approach #automation #comprehension
- A Psychology-Inspired Approach to Automated Narrative Text Comprehension (IAD, ACK, LM, RM).
- VLDB-2013-0002KMMO12
- Counting with the Crowd (AM, DRK, SM, RM, SO), pp. 109–120.
- CHI-2012-ZhangLMGPH #constraints
- Human computation tasks with global constraints (HZ, EL, RM, KG, DCP, EH), pp. 217–226.
- CSCW-2012-PanovichMK #network #social
- Tie strength in question & answer on social network sites (KP, RM, DRK), pp. 1057–1066.
- CHI-2011-BakkeKM #user interface
- A spreadsheet-based user interface for managing plural relationships in structured data (EB, DRK, RM), pp. 2541–2550.
- ICLP-2002-RussoMNK #abduction #approach #requirements #specification
- An Abductive Approach for Analysing Event-Based Requirements Specifications (AR, RM, BN, JK), pp. 22–37.
- ICSE-2002-DinkelackerGMN #open source
- Progressive open source (JD, PKG, RM, DN), pp. 177–184.
- KR-1996-MillerS #calculus #reasoning
- Reasoning about Discontinuities in the Event Calculus (RM, MS), pp. 63–74.