Stem instead$ (all stems)

11 papers:

SIGMOD-2014-HoweFFFKR #database #education #question

Should we all be teaching “intro to data science” instead of “intro to databases”? (BH, MJF, JF, JF, TK, RR), pp. 917–918.

CHI-2014-KobsaKL #behaviour #personalisation #privacy

Let’s do it at my place instead?: attitudinal and behavioral study of privacy in client-side personalization (AK, BPK, BL), pp. 81–90.

DATE-2013-HoofP #health #smarttech

Addressing the healthcare cost dilemma by managing health instead of managing illness: an opportunity for wearable wireless sensors (CVH, JP), pp. 1537–1539.

PLDI-2013-BoddenTRBBM #named #product line

SPL^LIFT: statically analyzing software product lines in minutes instead of years (EB, TT, MR, CB, PB, MM), pp. 355–364.

ITiCSE-2001-HabermanK #black box #concept #education

Activating “black boxes” instead of opening “zipper” — a method of teaching novices basic CS concepts (BH, YBDK), pp. 41–44.

SAC-2000-Khalili #assembly #using

Using Pads Instead of Fiducial Marks in Vision Assisted Assembly of PCB’s (KK), pp. 5–9.

DAC-1999-BiereCCFZ #model checking #satisfiability #using

Symbolic Model Checking Using SAT Procedures instead of BDDs (AB, AC, EMC, MF, YZ), pp. 317–320.

HCI-CCAD-1999-Pederson #design #information management #physics

Physical-virtual instead of physical or virtual — designing artefacts for future knowledge work environments (TP), pp. 1070–1074.

CAV-1998-SternD #in memory #memory management #using #verification

Using Magnatic Disk Instead of Main Memory in the Murphi Verifier (US, DLD), pp. 172–183.

CHI-1996-RiceFPG #using #web

Using the Web Instead of a Window System (JR, AF, PP, TRG), pp. 103–110.

HCI-SHI-1993-HerrmannK #layout

Supporting Instead of Replacing the Planner — An Intelligent Assistant System for Factory Layout Planning (JH, MK), pp. 796–801.