Stem demonstr$ (all stems)

235 papers:

SIGMOD-2015-MeglerM

Demonstrating “Data Near Here”: Scientific Data Search (VMM, DM), pp. 1075–1080.

SIGMOD-2015-YuanWYC #big data #database #scalability

A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 907–912.

VLDB-2015-AlyAMAHEO #adaptation #clustering

A Demonstration of AQWA: Adaptive Query-Workload-Aware Partitioning of Big Spatial Data (AMA, ASA, ARM, WGA, MSH, HE, MO), pp. 1968–1979.

VLDB-2015-EldawyMJ #pipes and filters #visualisation

A Demonstration of HadoopViz: An Extensible MapReduce System for Visualizing Big Spatial Data (AE, MFM, CJ), pp. 1896–1907.

VLDB-2015-ElmoreDSBCGHHKK

A Demonstration of the BigDAWG Polystore System (AJE, JD, MS, MB, UÇ, VG, JH, BH, JK, TK, SM, DM, TGM, SP, JP, NT, MV, SZ), pp. 1908–1919.

VLDB-2015-KumarJYNP #machine learning #normalisation #optimisation

Demonstration of Santoku: Optimizing Machine Learning over Normalized Data (AK, MJ, BY, JFN, JMP), pp. 1864–1875.

VLDB-2015-ShinRC #knowledge base #named

Mindtagger: A Demonstration of Data Labeling in Knowledge Base Construction (JS, CR, MJC), pp. 1920–1931.

VLDB-2015-WylotCG #query #web

A Demonstration of TripleProv: Tracking and Querying Provenance over Web Data (MW, PCM, PTG), pp. 1992–2003.

GPCE-2015-RingertRW #behaviour #code generation #tool support

Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration) (JOR, BR, AW), pp. 113–116.

ESEC-FSE-2015-XuKB #ubiquitous #using

Using software theater for the demonstration of innovative ubiquitous applications (HX, SK, BB), pp. 894–897.

DAC-2014-GuoBS #modelling #self

Modeling and Experimental Demonstration of Accelerated Self-Healing Techniques (XG, WB, MRS), p. 6.

SIGMOD-2014-HalperinACCKMORWWXBHS #big data #data transformation

Demonstration of the Myria big data management service (DH, VTdA, LLC, SC, PK, DM, JO, VR, JW, AW, SX, MB, BH, DS), pp. 881–884.

SIGMOD-2014-KarnagelHLHLHM #performance #query

Demonstrating efficient query processing in heterogeneous environments (TK, MH, ML, DH, WL, MH, VM), pp. 693–696.

VLDB-2014-ZhangJSR #big data #recommendation #using

Getting Your Big Data Priorities Straight: A Demonstration of Priority-based QoS using Social-network-driven Stock Recommendation (RZ, RJ, PS, LR), pp. 1665–1668.

ITiCSE-2014-Frison #algorithm #education #named #programming

AlgoTouch: a programming by demonstration tool for teaching algorithms (PF), p. 334.

CHI-2014-ChiLD #named

DemoWiz: re-performing software demonstrations for a live presentation (PYC, BL, SMD), pp. 1581–1590.

CHI-2014-LafreniereGMF #tool support #video

Investigating the feasibility of extracting tool demonstrations from in-situ video content (BL, TG, JM, GWF), pp. 4007–4016.

CHI-2014-WangCCHC #automation #interactive #named #smarttech

EverTutor: automatically creating interactive guided tutorials on smartphones by user demonstration (CYW, WCC, HRC, CYH, MYC), pp. 4027–4036.

ICEIS-v2-2014-GippMBPN #detection #semantics #similarity #using #visualisation

Web-based Demonstration of Semantic Similarity Detection Using Citation Pattern Visualization for a Cross Language Plagiarism Case (BG, NM, CB, JP, AN), pp. 677–683.

CIKM-2014-XuHCWHBA #framework #performance

A Demonstration of SearchonTS: An Efficient Pattern Search Framework for Time Series Data (XX, SH, YC, CW, IH, KB, MA), pp. 2015–2017.

DATE-2013-HuHMCF #detection #fault #realtime

Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips (KH, BNH, AM, KC, RBF), pp. 559–564.

SIGMOD-2013-NarasayyaDSCLP #as a service #multitenancy #performance #relational

A demonstration of SQLVM: performance isolation in multi-tenant relational database-as-a-service (VRN, SD, MS, SC, FL, HP), pp. 1077–1080.

VLDB-2013-EldawyM #framework #performance #pipes and filters

A Demonstration of SpatialHadoop: An Efficient MapReduce Framework for Spatial Data (AE, MFM), pp. 1230–1233.

VLDB-2013-KondaKRS #data analysis #enterprise #feature model #using

Feature Selection in Enterprise Analytics: A Demonstration using an R-based Data Analytics System (PK, AK, CR, VS), pp. 1306–1309.

VLDB-2013-MoyersSWKVBC #analysis #array #image #parallel

A Demonstration of Iterative Parallel Array Processing in Support of Telescope Image Analysis (MM, ES, SW, KSK, JV, MB, AJC), pp. 1322–1325.

ICSM-2013-CollardDM #analysis #framework #named #semiparsing #source code #tool support

srcML: An Infrastructure for the Exploration, Analysis, and Manipulation of Source Code: A Tool Demonstration (MLC, MJD, JIM), pp. 516–519.

CHI-2013-LafreniereGF #community #multi

Community enhanced tutorials: improving tutorials with multiple demonstrations (BJL, TG, GWF), pp. 1779–1788.

CHI-2013-LuL #authoring #gesture #interactive #multi

Gesture studio: authoring multi-touch interactions through demonstration and declaration (HL, YL), pp. 257–266.

CHI-2013-VellosoBG #analysis #modelling #named

MotionMA: motion modelling and analysis by demonstration (EV, AB, HG), pp. 1309–1318.

VISSOFT-2013-ReissT13a #tool support #visualisation

Tool demonstration: The visualizations of code bubbles (SPR, AT), pp. 1–4.

ICML-c1-2013-GolubCY #learning

Learning an Internal Dynamics Model from Control Demonstration (MG, SC, BY), pp. 606–614.

ICML-c3-2013-AlmingolML #behaviour #learning #multi

Learning Multiple Behaviors from Unlabeled Demonstrations in a Latent Controller Space (JA, LM, ML), pp. 136–144.

KDD-2013-LeeAC #realtime #twitter #using

Real-time disease surveillance using Twitter data: demonstration on flu and cancer (KL, AA, ANC), pp. 1474–1477.

SIGIR-2013-GippMBLN #analysis #detection

Demonstration of citation pattern analysis for plagiarism detection (BG, NM, CB, ML, AN), pp. 1119–1120.

ECMFA-2013-0002G #debugging #execution #model transformation

End-User Support for Debugging Demonstration-Based Model Transformation Execution (YS, JG), pp. 86–100.

Onward-2013-MayerK #game studies #programming

Game programming by demonstration (MM, VK), pp. 75–90.

ICSE-2013-MeneelyL #re-engineering

Vulnerability of the day: concrete demonstrations for software engineering undergraduates (AM, SL), pp. 1154–1157.

ASE-2012-Gabmeyer #model transformation #verification

Formal verification techniques for model transformations specified by-demonstration (SG), pp. 390–393.

DATE-2012-ChenLPCPWHWM #design

Nano-Electro-Mechanical relays for FPGA routing: Experimental demonstration and a design technique (CC, WSL, RP, SC, JP, JW, RTH, HSPW, SM), pp. 1361–1366.

SIGMOD-2012-MeliouSS #named #query

Tiresias: a demonstration of how-to queries (AM, YS, DS), pp. 709–712.

VLDB-2012-BakibayevOZ12a #database #query

Demonstration of the FDB Query Engine for Factorised Databases (NB, DO, JZ), pp. 1950–1953.

VLDB-2012-KoutrisUBHS #online

QueryMarket Demonstration: Pricing for Online Data Markets (PK, PU, MB, BH, DS), pp. 1962–1965.

VLDB-2012-WuMS #query

A Demonstration of DBWipes: Clean as You Query (EW, SM, MS), pp. 1894–1897.

TACAS-2012-MertenHSCJ #automaton #learning

Demonstrating Learning of Register Automata (MM, FH, BS, SC, BJ), pp. 466–471.

CHI-2012-LuL #gesture #multi #programming

Gesture coder: a tool for programming multi-touch gestures by demonstration (HL, YL), pp. 2875–2884.

ICEIS-J-2012-BabaianL12a #automation #interface

Composing Interface Demonstrations Automatically from Usage Logs (TB, WTL), pp. 376–392.

CIKM-2012-SouihliS #predict #probability #query #xml

Demonstrating ProApproX 2.0: a predictive query engine for probabilistic XML (AS, PS), pp. 2734–2736.

KEOD-2012-DiasMS #enterprise #health #ontology #using

Using Enterprise Ontology for Improving the National Health System — Demonstrated in the Case of a Pharmacy and an Emergency Department (DGD, CM, MMdS), pp. 441–451.

RecSys-2012-DongSOMS

The demonstration of the reviewer’s assistant (RD, MS, MPO, KM, BS), pp. 297–298.

SIGMOD-2011-MarcusBBKMM #twitter

Tweets as data: demonstration of TweeQL and Twitinfo (AM, MSB, OB, DRK, SM, RCM), pp. 1259–1262.

SIGMOD-2011-MarcusWKMM #query

Demonstration of Qurk: a query processor for humanoperators (AM, EW, DRK, SM, RCM), pp. 1315–1318.

VLDB-2011-GrundCM #hybrid #in memory #memory management

A Demonstration of HYRISE — A Main Memory Hybrid Storage Engine (MG, PCM, SM), pp. 1434–1437.

AGTIVE-2011-MazanekRM #tool support

Tool Demonstration of the Transformation Judge (SM, CR, MM), pp. 97–104.

VISSOFT-2011-MaleticMNCSR #named #scalability #tool support #visualisation

MosaiCode: Visualizing large scale software: A tool demonstration (JIM, DJM, CDN, MLC, AS, BPR), pp. 1–4.

ICEIS-v2-2011-LiQLZ #policy #research #simulation

Research and Demonstration of Agricultural Policy Simulation based on CGE Model (ZL, QQ, YL, DZ), pp. 13–17.

KMIS-2011-JezekB #case study #deployment #framework #tool support

Extra-functional Properties Framework with Configuration based on Deployment Environment — Tool Demonstration and Case-study (KJ, PB), pp. 322–325.

ICMT-2011-SunGWGW #approach #editing

A Demonstration-based Approach to Support Live Transformations in a Model Editor (YS, JG, CW, MG, JW), pp. 213–227.

Onward-2011-Stangl

Continuous demonstration (HS), pp. 107–108.

REFSQ-2011-WidyaBWLKBJH #education #requirements

Requirements for a Nutrition Education Demonstrator (IW, RB, RdW, BL, NK, RB, VJ, HJH), pp. 48–53.

ICSE-2011-ManganoDLH #design #distributed #sketching

A demonstration of a distributed software design sketching tool (NM, MD, NL, AvdH), pp. 1028–1030.

ICSE-2011-Sun #approach #aspect-oriented #modelling

An end-user demonstration approach to support aspect-oriented modeling (YS), pp. 1176–1178.

LDTA-2011-JorgensenEF #generative #named #tool support #visualisation

VLex: visualizing a lexical analyzer generator — tool demonstration (AJ, GRE, BF), p. 12.

LDTA-2011-SoderbergH #editing #jastadd #semantics #tool support #using

Building semantic editors using JastAdd: tool demonstration (ES, GH), p. 11.

PLEASE-2011-SunCGW #approach #feature model #using

Supporting feature model configuration using a demonstration-based approach (YS, HC, JGG, JW), pp. 55–59.

DATE-2010-ProssGMJLHKS #configuration management #network

Demonstration of an in-band reconfiguration data distribution and network node reconfiguration (UP, SG, EM, MJ, JL, UH, JK, AS), pp. 614–617.

SIGMOD-2010-LevandoskiMKK #evaluation

A demonstration of FlexPref: extensible preference evaluation inside the DBMS engine (JJL, MFM, MEK, VRK), pp. 1247–1250.

KMIS-2010-SonntagR #multimodal #process #semantics #towards

Towards a Process of Building Semantic Multimodal Dialogue Demonstrators (DS, NR), pp. 322–331.

ICMT-2010-LangerWK #model transformation

Model-to-Model Transformations By Demonstration (PL, MW, GK), pp. 153–167.

LOPSTR-2010-SakuraiA #library #named #proving #user interface #visualisation

MikiBeta: A General GUI Library for Visualizing Proof Trees — System Description and Demonstration (KS, KA), pp. 84–98.

ICSE-2010-BragdonRZKCKCAL10a #research

A research demonstration of code bubbles (AB, SPR, RCZ, SK, WC, JK, CC, FA, JJLJ), pp. 293–296.

VLDB-2009-Cudre-MaurouxKLRSSVWBBDHMMPSZ

A Demonstration of SciDB: A Science-Oriented DBMS (PCM, HK, KTL, JR, RS, ES, PV, DLW, MB, JB, DJD, BH, DM, SM, JMP, MS, SBZ), pp. 1534–1537.

VLDB-2009-LetchnerRBP #markov

Lahar Demonstration: Warehousing Markovian Streams (JL, CR, MB, MP), pp. 1610–1613.

VLDB-2009-WuCM

Demonstration of the TrajStore System (EW, PCM, SM), pp. 1554–1557.

ICSM-2009-Reiss #code search #semantics

Semantics-based code search demonstration proposal (SPR), pp. 385–386.

ICSM-2009-Reiss09a #java #visualisation

Visualizing the Java heap demonstration proposal (SPR), pp. 389–390.

SCAM-2009-Ward09a #maintenance #tool support

The FermaT Maintenance Environment Tool Demonstration (MPW), pp. 125–126.

HCD-2009-LewisB #performance

Animated Demonstrations: Evidence of Improved Performance Efficiency and the Worked Example Effect (DL, AB), pp. 247–255.

HCI-AUII-2009-GrammenosGPZSKTAS #agile #prototype

Rapid Prototyping of an AmI-Augmented Office Environment Demonstrator (DG, YG, NP, XZ, TS, SK, PT, AAA, CS), pp. 397–406.

HCI-NIMT-2009-HuangK #gesture #interactive

Interactive Demonstration of Pointing Gestures for Virtual Trainers (YH, MK), pp. 178–187.

CIKM-2009-WangRKH #middleware

Demonstration of an RFID middleware: LIT ALE manager (QW, WR, SK, BH), pp. 2071–2072.

SIGIR-2009-NovakBZ #image #retrieval #similarity

Generic similarity search engine demonstrated by an image retrieval application (DN, MB, PZ), p. 840.

MoDELS-2009-SunWG #model transformation

Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.

MoDELS-2009-SunWG #model transformation

Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.

ASE-2008-BucchiaroneGLTF #tool support

QuARS Express — A Tool Demonstration (AB, SG, GL, GT, AF), pp. 473–474.

CASE-2008-FujitaHSHITNTYN #multi

Robot control cell production system of Senju (thousand-handed) Kannon model that demonstrated optimality to the multi-product production in varying volumes for eight years (TF, NH, YS, HH, KI, TT, MN, WT, HY, TN), pp. 478–485.

DocEng-2008-LumleyGR08a #configuration management #editing #framework

A demonstration of a configurable editing framework (JWL, RG, OR), pp. 217–218.

SIGMOD-2008-KhoussainovaWBBCLLRSW

A demonstration of Cascadia through a digital diary application (NK, EW, MB, GB, GC, JL, YL, CR, DS, JW), pp. 1319–1322.

ESOP-2008-MandelM #programming #tool support

Programming in JoCaml (Tool Demonstration) (LM, LM), pp. 108–111.

CSMR-2008-Bull #tool support

CSMR Tool Demonstration: Welcome (RIB), p. 319.

CSMR-2008-LewisS #tool support

SMART Tool Demonstration (GAL, DBS), pp. 332–334.

CHI-2008-SaponasTMB #interface #using

Demonstrating the feasibility of using forearm electromyography for muscle-computer interfaces (TSS, DST, DM, RB), pp. 515–524.

ICML-2008-CoatesAN #learning #multi

Learning for control from multiple demonstrations (AC, PA, AYN), pp. 144–151.

KR-2008-MichaelV

A First Experimental Demonstration of Massive Knowledge Infusion (LM, LGV), pp. 378–389.

ITiCSE-2007-Pullen #network

Network educationware demonstration (JMP), p. 355.

CHI-2007-HartmannAMK #authoring #interactive #pattern matching #pattern recognition #recognition

Authoring sensor-based interactions by demonstration with direct manipulation and pattern recognition (BH, LA, MM, SRK), pp. 145–154.

CHI-2007-NicholsCM #automation #user interface

Demonstrating the viability of automatically generated user interfaces (JN, DHC, BAM), pp. 1283–1292.

SIGAda-2007-NettletonIM #ada #compilation #towards

Towards a demonstrably-correct ada compiler (CN, WI, CM), pp. 89–96.

ITiCSE-2006-Bruce-LockhartN #embedded #interactive

Interactive embedded examples: a demonstration (MBL, TSN), p. 357.

ITiCSE-2006-Gomez-MartinG #concept #development #performance

Fast application development to demonstrate computer graphics concepts (PPGM, MAGM), pp. 250–254.

ITiCSE-2006-Henriksen

Greenfoot demonstration (PH), p. 355.

SCAM-2006-WykKBJSR #c #compilation #composition #framework #java #tool support

Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (EVW, LK, DB, EJ, AS, PR), p. 161.

CHI-2006-PrabakerBC #authoring #documentation #evaluation #programming #using

An evaluation of using programming by demonstration and guided walkthrough techniques for authoring and utilizing documentation (MP, LDB, VC), pp. 241–250.

LDTA-2006-JuergensP #tool support

The Language Evolver Lever — Tool Demonstration — (EJ, MP), pp. 55–60.

CC-2006-BaconCFGHR #analysis #named #online #realtime #visualisation

Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork (DFB, PC, DF, DG, MH, VTR), pp. 96–100.

CC-2006-LucasFW #compilation #tool support

The CGiS Compiler — A Tool Demonstration (PL, NF, RW), pp. 105–108.

ICLP-2006-UedaKHM #declarative

LMNtal as a Unifying Declarative Language: Live Demonstration (KU, NK, KH, KM), pp. 457–458.

DocEng-2005-LumleyGR05a #documentation #framework

A demonstration of the document description framework (JWL, RG, OR), pp. 227–228.

IWPC-2005-Koskinen #tool support

HyperSoft System: Tool Demonstration and Use Example (JK), pp. 153–156.

IWPC-2005-Reiss #java #specification #tool support

Tool Demonstration: CHET: Checking Specifications in Java Systems (SPR), pp. 165–168.

IWPC-2005-ReissR #java #tool support

Tool Demonstration: JIVE and JOVE: Java as it Happens (SPR, MR), pp. 169–172.

GPCE-2005-Pohjonen #metamodelling #tool support

Metamodeling Made Easy — MetaEdit+ (Tool Demonstration) (RP), pp. 442–446.

ICSE-2005-ReissR #java

Demonstration of JIVE and JOVE: Java as it happens (SPR, MR), pp. 662–663.

LDTA-2005-BrandCOV #debugging #framework #named #tool support

TIDE: A Generic Debugging Framework — Tool Demonstration (MvdB, BC, PAO, JJV), pp. 161–165.

DATE-DF-2004-ChenYSMGH #design #using

Demonstration of a SiGe RF LNA Design Using IBM Design Kits in 0.18um SiGe BiCMOS Technology (YC, XY, DS, JM, JG, DLH), pp. 22–27.

DATE-v2-2004-Singh #co-evolution #design

A Demonstration of Co-Design and Co-Verification in a Synchronous Language (SS), pp. 1394–1395.

CHI-2004-DeyHBLH #programming

a CAPpella: programming by demonstration of context-aware applications (AKD, RH, CB, IL, DH), pp. 33–40.

CIKM-2004-DucksteinB #database

Database support for species extraction from the biosystematics literature: a feasibility demonstration (RD, KB), pp. 515–522.

LDTA-2004-BrandIM04a #tool support

The Action Environment: — Tool Demonstration -- (MvdB, JI, PDM), pp. 177–180.

VISSOFT-2003-EichelbergerW #diagrams #layout #uml

Demonstration of Advanced Layout of UML Class Diagrams by SugiBib (HE, JW), pp. 58–59.

RE-2003-Simmons #monitoring #quality #requirements #specification

From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality (ES), p. 286.

ICSE-2003-ChaysD #database #relational #testing

Demonstration of AGENDA Tool Set for Testing Relational Database Applications (DC, YD), pp. 802–803.

ICSE-2003-Reiss #java #named #visualisation

JIVE: Visualizing Java in Action Demonstration Description (SPR), pp. 820–821.

ICSE-2003-ReissKWK #evolution #named

CLIME: An Environment for Constrained Evolution Demonstration Description (SPR, CMK, TW, SK), pp. 818–819.

FASE-2002-HagererHMNSI #modelling #testing

Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems (AH, HH, TMS, ON, BS, HDI), pp. 336–340.

ICALP-2002-Reif #assembly

Molecular Assembly and Computation: From Theory to Experimental Demonstrations (JHR), pp. 1–21.

KDD-2002-KeoghK #benchmark #bibliography #data mining #empirical #metric #mining #on the

On the need for time series data mining benchmarks: a survey and empirical demonstration (EJK, SK), pp. 102–111.

LDTA-2002-BrandMR #asf+sdf #logic

The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology — System Demonstration (MvdB, PEM, CR), pp. 50–56.

LDTA-2002-KastensS #generative #named #visual notation

VL-Eli: A Generator for Visual Languages — System Demonstration (UK, CS), pp. 139–143.

LDTA-2002-KortLV #deployment

The Grammar Deployment Kit — System Demonstration (JK, RL, CV), pp. 117–123.

LDTA-2002-Mosses #action semantics #asf+sdf #semantics

Action Semantics and ASF+SDF: System Demonstration (PDM), pp. 2–8.

ITiCSE-2001-Fone #concept #network #spreadsheet #using

Using a familiar package to demonstrate a difficult concept: using an excel spreadsheet model to explain the concepts of neural networks to undergraduates (WF), pp. 165–168.

ESOP-2001-KomondoorH #dependence #tool support #using

Tool Demonstration: Finding Duplicated Code Using Program Dependences (RK, SH), pp. 383–386.

FASE-2001-NieseNHKGEH #automation #testing

Demonstration of an Automated Integrated Testing Environment for CTI Systems (ON, MN, AH, KKS, WG, AE, BH), pp. 249–252.

TACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ #editing #named #petri net #simulation #tool support

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS (MBL, WEM, MJ, PA, PJ, HML, KL, KHM, SM, AVR, KR, SC, KJ), pp. 574–577.

TACAS-2001-Castillo #analysis #modelling #state machine #tool support #validation

The ASM Workbench — A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration (GDC), pp. 578–581.

SIGMOD-2000-JarkeQCLFLVV #concept #design

Concept Based Design of Data Warehouses: The DWQ Demonstrators (MJ, CQ, DC, ML, EF, SL, PV, YV), p. 591.

VLDB-2000-BeneventanoBCCGMMV #integration

Information Integration: The MOMIS Project Demonstration (DB, SB, SC, AC, RG, GM, MM, MV), pp. 611–614.

VLDB-2000-DuttaDMRT #named #online #personalisation #scalability #web

Demonstration: Enabling Scalable Online Personalization on the Web (KD, AD, DEV, KR, HMT), pp. 631–634.

ITiCSE-2000-Ellis #java #multi #programming

Toolbook multimedia demonstrations for Java programming (AE), p. 181.

WCRE-2000-ParryLT #tool support

PBS Tool Demonstration Report on Xfig (TPI, EL, JT), pp. 200–202.

WCRE-2000-SimS #comprehension #tool support

A Structured Demonstration of Program Comprehension Tools (SES, MADS), pp. 184–193.

WCRE-2000-SimSW #comprehension #lessons learnt #tool support

A Structured Demonstration of Five Program Comprehension Tools: Lessons Learnt (SES, MADS, AW), p. 210–?.

ICML-2000-LauDW #algebra #programming

Version Space Algebra and its Application to Programming by Demonstration (TAL, PMD, DSW), pp. 527–534.

VLDB-1999-AbiteboulAAACHHMMMMSTV #repository #xml

XML Repository and Active Views Demonstration (SA, VA, SA, BA, SC, BH, FH, JCM, AM, LM, TM, CSdS, BT, AMV), pp. 742–745.

AGTIVE-1999-RodgersV99a #graph grammar #programming language

A Demonstration of the Grrr Graph Rewriting Programming Language (PJR, NV), pp. 473–480.

CHI-1999-HornofK #how #modelling #people

Cognitive Modeling Demonstrates How People Use Anticipated Location Knowledge of Menu Items (AJH, DEK), pp. 410–417.

CHI-1999-McDanielM

Getting More Cut of Programming-by-Demonstration (RGM, BAM), pp. 442–449.

VLDB-1998-SchieferKBLF #database

IBM’s DB2 Universal Database demonstrations at VLDB’98 (KBS, JK, KB, GML, GF), p. 703.

CHI-1998-Myers #visual notation

Scripting Graphical Applications by Demonstration (BAM), pp. 534–541.

SIGIR-1998-ChenH #web

Presenting Web Site Search Results in Context: A Demonstration (MC, MAH), p. 381.

SIGIR-1998-ZamirE #clustering #documentation #web

Web Document Clustering: A Feasibility Demonstration (OZ, OE), pp. 46–54.

ITiCSE-1997-Taylor #communication #online #social #using

Using online seminars to demonstrate the social psychological impacts of computer-mediated communication systems (JT), pp. 80–84.

ITiCSE-WGR-1997-Anderson #education #effectiveness #web

Effective organization and management of computer science curriculum with World Wide Web — schematic model presentation (demonstration) (DA), p. 144.

ITiCSE-WGR-1997-Barikzai #collaboration #learning

Integrating courseware into collaborative learning enviroments (demonstration) (SB), p. 145.

ITiCSE-WGR-1997-Berry97a #algorithm #named

LINK: a software package for discrete mathematics and algorithms (demonstration) (JWB), p. 145.

ITiCSE-WGR-1997-Danielsson #detection #programming

Detecting plagiarism in introductory programming courses (poster and demonstration) (MD), p. 148.

ITiCSE-WGR-1997-DankelH97a

Virtual office hours (demonstration) (DDDI, JH), p. 147.

ITiCSE-WGR-1997-Glazunov #education #on the

On mathematical assistant CARANT-REDUCE and its application to computer science education (demonstration) (NMG), p. 150.

ITiCSE-WGR-1997-Glazunov97a #algebra

Laboratory materials for computation in algebra and informatik (CS)(demonstration) (NMG), p. 150.

ITiCSE-WGR-1997-Goldberg97a #learning

WebCT, a tool for the creation of sophisticated web-based learning environments (demonstration) (MWG), p. 149.

ITiCSE-WGR-1997-Jimenez-PerisPV #functional #prototype #visual notation #visualisation

Visual HIPE: a prototype for the graphical visualization of functional expressions (demonstration) (RJP, MPM, JÁVI, CPF), p. 149.

ITiCSE-WGR-1997-Knox97a #repository

The SIGCSE computing laboratory repository (demonstration) (DLK), p. 151.

ITiCSE-WGR-1997-Lawhead97b #algorithm #java #using

Algorithm demonstrations using Java (demonstration) (PBL), p. 151.

ITiCSE-WGR-1997-MarkkanenSTTR #algorithm #animation

Animation of algorithms with Eliot and Jeliot (demonstration) (JM, ES, TT, JT, ER), p. 152.

ITiCSE-WGR-1997-SajaniemiK97a #education #named

SHOW: a system for the presentation of three-level teaching material during lectures (demonstration) (JS, MK), p. 153.

ICML-1997-AtkesonS #learning

Robot Learning From Demonstration (CGA, SS), pp. 12–20.

ITiCSE-1996-Roberts #source code #tool support

Tools for creating portable demonstration programs (ER), pp. 78–80.

TACAS-1996-BoualiRRS #set #tool support

The FC2TOOLS Set (Tool Demonstration) (AB, AR, VR, RdS), p. 396.

CHI-1996-Wolber #named #programming

Pavlov: Programming by Stimulus-Response Demonstration (DW), pp. 252–259.

SIGIR-1996-Rittberger

System Demonstrations: Abstracts (MR), pp. 338–339.

ICDAR-v2-1995-DowntonHA #programming #recognition #tool support #visual notation

A visual programming toolkit demonstrator for offline handwritten forms recognition (ACD, SJH, AA), pp. 707–710.

SIGMOD-1995-ThomasDM #design #implementation

Design and Implementation of Advanced Knowledge Processing in the KDMS KRISYS (Demonstration Description) (JT, SD, NMM), p. 479.

KBSE-1994-Benner #development #knowledge-based

Knowledge-Based Software Assistant — Advanced Development Model Demonstrations (KB), p. 3.

ICSM-1994-TanD #information management

Abstracting Plan-like Program Information: A Demonstration (EST, HGD), pp. 262–271.

CHI-1994-MyersGG94a

Creating charts by demonstration (BAM, JG, MAG), pp. 106–111.

TRI-Ada-1994-BellBHKKLMOSTWZ #concept #design #reliability #reuse

Software design for reliability and reuse: a proof-of-concept demonstration (JMB, FB, JH, RBK, AK, JL, LM, DO, TS, LT, LW, TZ), pp. 396–404.

SIGMOD-1993-HasanHKNPS #papyrus

Papyrus GIS Demonstration (WH, MLH, CPK, MAN, SP, DAS), pp. 554–555.

WSA-1993-SahlinS #named #static analysis

Demonstration: Static Analysis of AKL (DS, TS), pp. 282–283.

HCI-SHI-1993-WatersonO #multi #using

Using Animated Demonstrations in Multimedia Applications: Some Suggestions Based upon Experimental Evidence (PEW, CO), pp. 543–548.

INTERCHI-1993-MyersMK #named #user interface

Marquise: creating complete user interfaces by demonstration (BAM, RGM, DSK), pp. 293–300.

TRI-Ada-1993-RogersOPL #ada #distributed #fault tolerance

Demonstrable Fault Tolerance for Distributed Ada (PR, SO, MP, KL), pp. 180–188.

TOOLS-USA-1993-RupingWZ #data type #design

Demonstrating Coherent Design: A Data Structure Catalogue (AR, FW, WZ), pp. 363–375.

KBSE-1992-Benner #component #simulation

ARIES Simulation Component (ASC) Demonstration (Demonstration) (KB), p. 30.

KBSE-1992-DebellisMS #concept

The KBSA Concept Demonstration System (Demonstration) (MD, KM, WCS), p. 12.

KBSE-1992-FischerR #design #prototype

Prototypes of Domain-Oriented Design Environments (Demonstration) (GF, DR), p. 13.

KBSE-1992-Heineman #knowledge-based #multi #named

MARVEL: A Multiuser Knowledge-Based Environment (Demonstration) (GH), p. 10.

KBSE-1992-Johnson #evolution #incremental #requirements #specification

Acquisition of Requirements and Incremental Evolution into Specifications (Demonstration) (WLJ), p. 11.

KBSE-1992-Mark

Comet (Demonstration) (WM), p. 14.

KBSE-1992-Smith #development #knowledge-based #named

KIDS: A Knowledge-Based Software Development System (Demonstration) (DRS), p. 29.

KBSE-1992-Turkovich #automation

Automatic Software Technology for GN&C Applications (Demonstration) (JJT), p. 28.

HT-ECHT-1992-Aedo #named

SIHEN: Sistema Integrado Hypertestual para ENciclopedia (Demonstration) (IA), p. 294.

HT-ECHT-1992-Alberti #approach #hypermedia

A Hypermedia and a Hypertext Approach to a Museum Guide (Demonstration) (MAA), p. 296.

HT-ECHT-1992-Anselmo

A Reference Manual for Hydrological Observations (Demonstration) (VA), p. 293.

HT-ECHT-1992-Bassi #multi #named

MuG: Multimedia Guide to the History of European Civilization (Demonstration) (BB), pp. 291–292.

HT-ECHT-1992-Benelli #multi

Multimedia HYPERAGIP (Demonstration) (MB), p. 293.

HT-ECHT-1992-Brody

The Expanded Books (Demonstration) (FB), p. 296.

HT-ECHT-1992-Celentano #authoring #education #named

Hypermovie: An Authoring Tool for Video-Disk Based Teaching (Demonstration) (AC), p. 291.

HT-ECHT-1992-Cesareni #education #hypermedia #prototype

Ecoland, a Hypermedia Prototype for Environmental Education (Demonstration) (DC), p. 293.

HT-ECHT-1992-Clark

Motif Applications + LinkWorks = Hyperenvironment (Demonstration) (WC), p. 295.

HT-ECHT-1992-Colorni #hypermedia #learning #research

A Hypertext for Learning Operational Research (Demonstration) (AC), p. 291.

HT-ECHT-1992-Cordell

Musical Instruments of the World (Demonstration) (AOC), pp. 295–296.

HT-ECHT-1992-Falomo #approach #education #hypermedia #physics

Coulomb and Electrostatics: A Hypermedia Approach to History of Physics in Education (Demonstration) (LF), p. 292.

HT-ECHT-1992-Gasparri #named

HTLEX: A Law Reference System (Demonstration) (PG), p. 293.

HT-ECHT-1992-Haitto #documentation #named

DARC — Document ARchive Controller (Demonstration) (HH), p. 294.

HT-ECHT-1992-Hammwohner #authoring

The KHS Authoring System (Demonstration) (RH), p. 290.

HT-ECHT-1992-Harada

Videobook (Demonstration) (KH), p. 296.

HT-ECHT-1992-Johnson #architecture #hypermedia #named

HyperWriter: An Integrated Hypermedia Architecture (Demonstration) (JSJ), p. 295.

HT-ECHT-1992-Kahn #hypermedia

Hypertext Fiction and Literary Theory (Demonstration) (PK), p. 295.

HT-ECHT-1992-Martucci #editing #multi

The Multimedia Editor PIM (Demonstration) (RM), p. 292.

HT-ECHT-1992-Martucci92a #hypermedia

The CHE Hypermedia Environment (Demonstration) (RM), p. 292.

HT-ECHT-1992-Martucci92b #infinity #multi

From Infinity to Infinity (a Multimedia History of the Universe, Demonstration) (RM), p. 292.

HT-ECHT-1992-McCaskey #education #hypermedia

Teaching Japanese with Hypertext (Demonstration) (MM), p. 295.

HT-ECHT-1992-Mitsunaga #documentation

The Document Sampler (Demonstration) (PM), p. 295.

HT-ECHT-1992-MuzzolonB #artificial reality

Virtual Reality: Present and Future (Demonstration) (PM, PB), p. 294.

HT-ECHT-1992-PacelliP #distributed #hypermedia #named

HYPERCRESTS: A General Purpose Distributed Hypermedia System (Demonstration) (MAP, FP), p. 292.

HT-ECHT-1992-Paolini

Electronic Lecture Notes (Demonstration) (PP), p. 291.

HT-ECHT-1992-PaoliniP #hypermedia

The Hypermedia Encyclopaedia of Philosophical Sciences (Demonstration) (PP, RP), pp. 290–291.

HT-ECHT-1992-Pavanello

The Complete Works of St. Thomas Aquinas on CD-ROM (Demonstration) (AP), p. 294.

HT-ECHT-1992-Quint #documentation #hypermedia

Combining Hypertext and Structured Documents in GRIF (Demonstration) (VQ), p. 290.

HT-ECHT-1992-Rizk #hypermedia #multi #named

Multicard: An Open Hypermedia System (Demonstration) (AR), p. 296.

HT-ECHT-1992-Rossum #editing

The CMIF Editor (Demonstration) (GvR), p. 294.

HT-ECHT-1992-Salvato #named #tool support

INFOSHARE: A Network-Based Cooperation Tool (Demonstration) (GS), p. 291.

HT-ECHT-1992-Scamuzzo #information management #named

KWICK: the Knowledge Worker’s Workbench (Demonstration) (SS), p. 293.

HT-ECHT-1992-Schiff #tool support

The HYTEA Project: Tools and Applications (Demonstration) (JS), p. 290.

HT-ECHT-1992-Simonetti #composition #navigation

SI.MO.N. — A Modular Navigation System (Demonstration) (GS), p. 293.

HT-ECHT-1992-Streitz #authoring #hypermedia

The Hypermedia Authoring Environment SEPIA (Demonstration) (NAS), p. 290.

CHI-1992-EnsorACPS #communication #multi

The Rapport Multimedia Communication System (demonstration) (JRE, SRA, RBC, MP, DDS), pp. 581–582.

TRI-Ada-C-1992-Brookman #object-oriented

Object Oriented Methodology Demonstration (OOMD) and Discussion (DB), pp. 233–238.

CHI-1991-Myers91a #pretty-printing

Text formatting by demonstration (BAM), pp. 251–256.

CHI-1991-MyersCMSS #interface #question

Demonstrational interfaces: Coming soon? (BAM, AC, DM, DCS, BS), pp. 393–396.

CHI-1991-PalmiterE #evaluation #learning

An evaluation of animated demonstrations of learning computer-based tasks (SP, JE), pp. 257–263.

CHI-1991-RossonCS91a #reuse #smalltalk

Demonstrating a view matcher for reusing Smalltalk classes (MBR, JMC, CS), pp. 431–432.

CHI-1991-Stasko #algorithm #animation #using

Using direct manipulation to build algorithm animations by demonstration (JTS), pp. 307–314.

SEI-1988-Stevens #learning

SEI Demonstration: Advanced Learning Technologies Project (SS), p. 120.

SIGIR-1987-KrawczakSS #database #named #semantics

EP-X: A Demonstration of Semantically-Based Search of Bibliographic Databases (DAK, PJS, SJS), pp. 263–271.