17 papers:
- SEKE-2015-ChangCLT #design #framework
- Application of Slow Intelligence Framework for Smart Pet Care System Design (SKC, WHC, WCL, CLT), pp. 51–56.
- CSCW-2014-WhitePA #online #self
- Digital mobilization in disaster response: the work & self-organization of on-line pet advocates in response to hurricane sandy (JW, LP, KMA), pp. 866–876.
- HCI-AIMT-2014-SantosCMJ #behaviour #case study #interactive
- Behavioral Persona for Human-Robot Interaction: A Study Based on Pet Robot (TFdS, DGdC, AAM, PTAJ), pp. 687–696.
- HIMI-DE-2014-MurataUS #interactive
- Effect of Haptic Perception on Remote Human-Pet Interaction (KM, KU, YS), pp. 226–232.
- CSCW-2013-NeustaedterG #chat #interactive #product line #video
- Exploring pet video chat: the remote awareness and interaction needs of families with dogs and cats (CN, JG), pp. 1549–1554.
- VLDB-2012-XuTW #database #energy #named #optimisation #query
- PET: Reducing Database Energy Cost via Query Optimization (ZX, YCT, XW), pp. 1954–1957.
- PEPM-2010-AlbertGP #bytecode #generative #java #named #partial evaluation #testing
- PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.
- ICPR-2010-SeoAD #classification #evaluation #performance #segmentation #tool support
- Performance Evaluation Tools for Zone Segmentation and Classification (PETS) (WS, MA, DSD), pp. 503–506.
- ICPR-2010-SilveiraM #image #using
- Boosting Alzheimer Disease Diagnosis Using PET Images (MS, JSM), pp. 2556–2559.
- KDD-2010-LinZMH #community #named #social #statistics
- PET: a statistical model for popular events tracking in social communities (CXL, BZ, QM, JH), pp. 929–938.
- EDOC-2007-RychkovaRLW
- From Business to IT with SEAM: The J2EE Pet Store Example (IR, GR, LSL, AW), pp. 495–502.
- ICPR-v1-2006-DawoodBLJS #multi
- Transforming Static CT in Gated PET/CT Studies to Multiple Respiratory Phases (MD, FB, NL, XJ, KPS), pp. 1026–1029.
- ICPR-v4-2006-YanY #re-engineering
- A Nonlinear Variational Model for PET Reconstruction (JY, JY), pp. 699–702.
- CAV-2000-GunterKP #interactive #named #testing
- PET: An Interactive Software Testing Tool (ELG, RPK, DP), pp. 552–556.
- CHI-1999-DruinMHMBFPKORSSW #design
- Designing PETS: A Personal Electronic Teller of Stories (AD, JM, JAH, BM, AB, EF, AP, AK, HO, IR, TPS, LS, RW), pp. 326–329.
- ICPR-1996-PhillipsVDBS #algorithm #automation
- An automatic MR-PET registration algorithm (PJP, YV, SMD, MSB, JLSC), pp. 533–537.
- POPL-1983-MannaP #how #proving
- How to Cook a Temporal Proof System for Your Pet Language (ZM, AP), pp. 141–154.