Stem present$ (all stems)

388 papers:

HT-2015-AinsworthNS #web

Only One Out of Five Archived Web Pages Existed as Presented (SGA, MLN, HVdS), pp. 257–266.

ITiCSE-2015-ChengSH #named #online

TOPT: A Tree-based Online Presentation Tool (YC, JS, JH), p. 342.

ITiCSE-2015-GreenbergR #tool support

Tools for Outreach Presentations (RIG, DR), p. 331.

CHI-2015-JonesCDTPDH #delphi #information management #using

“For Telling” the Present: Using the Delphi Method to Understand Personal Information Management Practices (WJ, RC, AD, JT, MAPQ, JDD, BMH), pp. 3513–3522.

CHI-2015-OKaneRB #design #mobile

Concealing or Revealing Mobile Medical Devices?: Designing for Onstage and Offstage Presentation (AAO, YR, AEB), pp. 1689–1698.

CHI-2015-TrinhRB #named

DynamicDuo: Co-presenting with Virtual Agents (HT, LR, TWB), pp. 1739–1748.

HCI-IT-2015-KhataeiA #persuasion #trust

Trust-Based Individualization for Persuasive Presentation Builder (AK, AA), pp. 418–428.

HIMI-IKC-2015-GotzeB #comparison #what

Urban Driving: Where to Present What Types of Information — Comparison of Head-Down and Head-Up Displays (MG, KB), pp. 190–200.

HIMI-IKC-2015-SturreCVS #assessment #eye tracking #using

Using Eye Movements to Test Assumptions of the Situation Present Assessment Method (LS, DC, KPLV, TZS), pp. 45–52.

HIMI-IKD-2015-FujinawaSINHTH #behaviour #induction

Induction of Human Behavior by Presentation of Environmental Acoustics (EF, SS, MI, TN, OH, TT, MH), pp. 582–594.

HIMI-IKD-2015-IchiharaHIK #behaviour #metric

Presentation Method of Walking Sensation Based on Walking Behavior Measurement with Inertial Sensors and Pressure Sensors (KI, KH, YI, MK), pp. 374–385.

HIMI-IKD-2015-YoshinoO #using

Proposal of a Data Presentation Technique Using Four-Frame Cartoon Expression for a LifeLog System (TY, IO), pp. 235–246.

SAC-2015-VielMT #approach #multi

An approach for controlling synchronous remote instances of a multimedia presentation (CCV, ELM, CACT), pp. 1285–1290.

ICST-2015-MahajanH #detection #html #locality #using

Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques (SM, WGJH), pp. 1–10.

ICST-2015-MahajanH15a #debugging #html #named

WebSee: A Tool for Debugging HTML Presentation Failures (SM, WGJH), pp. 1–8.

RTA-2015-ClercM #term rewriting

Presenting a Category Modulo a Rewriting System (FC, SM), pp. 89–105.

CBSE-2014-Lau #component #modelling #past present future

Software component models: past, present and future (KKL), pp. 185–186.

ASE-2014-MahajanH #comparison #html #image #using

Finding HTML presentation failures using image comparison techniques (SM, WGJH), pp. 91–96.

DocEng-2014-ChamunPJOM #personalisation #web

Extracting web content for personalized presentation (RC, DP, DJ, JBSdO, IHM), pp. 157–164.

ITiCSE-2014-RomeroTPKCAL #case study #interactive #scalability

Augmenting PBL with large public presentations: a case study in interactive graphics pedagogy (MR, BT, CP, FK, JC, JA, NL), pp. 15–20.

CSMR-WCRE-2014-RoyZK #past present future

The vision of software clone management: Past, present, and future (Keynote paper) (CKR, MFZ, RK), pp. 18–33.

FM-2014-BowenR #interactive #modelling #semantics

A Simplified Z Semantics for Presentation Interaction Models (JB, SR), pp. 148–162.

CHI-2014-ChiLD #named

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

CHI-2014-LiR14a #named

SmartVoice: a presentation support system for overcoming the language barrier (XL, JR), pp. 1563–1570.

CHI-2014-PschetzYE #named

TurningPoint: narrative-driven presentation planning (LP, KY, DE), pp. 1591–1594.

CHI-2014-ThorpeAMS #visual notation

The presentation effect on graphical passwords (JT, MAB, BM, ASA), pp. 2947–2950.

CHI-2014-TrinhYE #named

PitchPerfect: integrated rehearsal environment for structured presentation preparation (HT, KY, DE), pp. 1571–1580.

CSCW-2014-LittSBHSR #facebook #self

Awkward encounters of an “other” kind: collective self-presentation and face threat on facebook (EL, ELS, JPB, JTH, MES, LR), pp. 449–460.

DUXU-DI-2014-AderholdWCJGK #3d #framework #implementation #novel #towards #web

The Common Implementation Framework as Service — Towards Novel Applications for Streamlined Presentation of 3D Content on the Web (AA, KW, MC, YJ, HG, AK), pp. 3–14.

HCI-AIMT-2014-BomsdorfB #3d #design #interactive #prototype

Early Prototyping of 3D-Gesture Interaction within the Presentation-Gesture-Dialog Design Space (BB, RB), pp. 12–23.

HCI-AIMT-2014-WuttkeH #social

Beyond Presentation — Employing Proactive Intelligent Agents as Social Catalysts (MW, MH), pp. 182–190.

HCI-AS-2014-ZhouXDC #future of #interactive #interface #mobile #past present future

Where Is Mobile Projection Interaction Going? The Past, Present and Future of the Mobile Projected Interface (YZ, TX, BD, RC), pp. 189–198.

HIMI-AS-2014-MoriHIT #adaptation

Favor Information Presentation and Its Effect for Collective-Adaptive Situation (AM, TH, YI, KT), pp. 455–466.

ICEIS-v3-2014-PaulinsBA #visualisation

e-Learning Material Presentation and Visualization Types and Schemes (NP, SB, IA), pp. 138–143.

ECIR-2014-KimJHLY #automation #classification

Quality-Based Automatic Classification for Presentation Slides (SK, WJ, KH, JGL, MYY), pp. 638–643.

ICML-c2-2014-BalleHP #comparison #empirical #learning #probability

Methods of Moments for Learning Stochastic Languages: Unified Presentation and Empirical Comparison (BB, WLH, JP), pp. 1386–1394.

KEOD-2014-ParviziMDRP #ontology

Selecting Ontology Entailments for Presentation to Users (AP, CM, KvD, YR, JZP), pp. 382–387.

SEKE-2014-WangKS #semantics

An Exploratory Search for Presentation Contents based on Slide Semantic Structure (YW, YK, KS), pp. 665–670.

SIGIR-2014-LinGHTXL #layout #retrieval

A mathematics retrieval system for formulae in layout presentations (XL, LG, XH, ZT, YX, XL), pp. 697–706.

FSE-2014-YingR #summary

Selection and presentation practices for code example summarization (ATTY, MPR), pp. 460–471.

LICS-CSL-2014-CousotC #abstract interpretation #past present future

Abstract interpretation: past, present and future (PC, RC), p. 10.

DocEng-2013-HoverM

Interchanging and preserving presentation recordings (KMH, MM), pp. 277–280.

FoSSaCS-2013-Staton #algebra #logic

An Algebraic Presentation of Predicate Logic — (Extended Abstract) (SS), pp. 401–417.

CHI-2013-EdgeSY #named #prototype

HyperSlides: dynamic presentation prototyping (DE, JS, KY), pp. 671–680.

CHI-2013-LaucknerH

The presentation of health-related search results and its impact on negative emotional outcomes (CL, GH), pp. 333–342.

CHI-2013-LiuEY #authoring #named

SidePoint: a peripheral knowledge panel for presentation slide authoring (YL, DE, KY), pp. 681–684.

CHI-2013-TamMMK #design

The design and field observation of a haptic notification system for timing awareness during oral presentations (DT, KEM, JM, KJK), pp. 1689–1698.

DHM-SET-2013-MurataKH #effectiveness #multi

Effectiveness of Automotive Warning System Presented with Multiple Sensory Modalities (AM, MK, TH), pp. 88–97.

HCI-IMT-2013-LeMPNT #interactive #multimodal

Multimodal Smart Interactive Presentation System (HAL, KNCM, TAP, VTN, MTT), pp. 67–76.

HCI-UC-2013-KobayashiYOO #community #people #problem

The Present Condition and Problems for Elderly People Participating in Communities (NK, SY, KO, AO), pp. 307–313.

HIMI-D-2013-SilvaZGBSV #question

Are the Intrusive Effects of SPAM Probes Present When Operators Differ by Skill Level and Training? (HIS, JZ, TG, VB, TZS, KPLV), pp. 269–275.

HIMI-HSM-2013-CastronovoMM #interface #what

What, Where, and When? Intelligent Presentation Management for Automotive Human Machine Interfaces and Its Application (SC, AM, CAM), pp. 460–469.

HIMI-HSM-2013-YamanakaUIHSY #design

Web- and Mobile-Based Environment for Designing and Presenting Spatial Audiovisual Content (MY, MU, YI, SH, HS, TY), pp. 430–439.

ICEIS-v3-2013-VielMPT #how #interactive #learning #multi #student

How are they Watching Me — Learning from Student Interactions with Multimedia Objects Captured from Classroom Presentations (CCV, ELM, MdGCP, CACT), pp. 5–16.

KDD-2013-Varian #predict

Predicting the present with search engine data (HV), p. 4.

KDIR-KMIS-2013-TangC #multi

Knowledge Presentation based on Multi-dimension Model for Measuring Planning in Digital Manufacturing (XT, ZC), pp. 67–73.

KEOD-2013-LabadieFR #personalisation #semantics

Personalized Semantic Resources — The SemComp Project Presentation and Preliminary Works (AL, SF, TR), pp. 164–169.

MLDM-2013-KoharaS #learning #self

Typhoon Damage Scale Forecasting with Self-Organizing Maps Trained by Selective Presentation Learning (KK, IS), pp. 16–26.

DocEng-2012-JansenCGB #personalisation #video

Just-in-time personalized video presentations (JJ, PC, RLG, DCAB), pp. 59–68.

ITiCSE-2012-Kurmas #approach #design

The presenter first design approach (ZK), p. 379.

ITiCSE-2012-MorgadoB #problem

Problem presentation in CS1 courses (CM, FB), p. 396.

CHI-2012-BergmanWSNR #how #navigation

How do we find personal files?: the effect of OS, presentation & depth on file navigation (OB, SW, MS, RN, AR), pp. 2977–2980.

CHI-2012-LichtschlagHKB #comprehension #experience #named #user interface

Fly: studying recall, macrostructure understanding, and user experience of canvas presentations (LL, TH, TK, JOB), pp. 1307–1310.

CHI-2012-VardoulakisKMSGT #mobile #using

Using mobile phones to present medical information to hospital patients (LPV, AKK, DM, GS, JG, DST), pp. 1411–1420.

CHI-2012-ZhangCZ #experience #novel #visual notation

Beyond stereo: an exploration of unconventional binocular presentation for novel visual experience (HZ, XC, SZ), pp. 2523–2526.

HILT-2012-Liskov #programming #turing machine

Keynote presentation: Programming the turing machine (BL), pp. 23–24.

CIKM-2012-SteinGH #clustering

Search result presentation based on faceted clustering (BS, TG, DH), pp. 1940–1944.

CIKM-2012-WhitingZJAL #named

CrowdTiles: presenting crowd-based information for event-driven information needs (SW, KZ, JMJ, OA, TL), pp. 2698–2700.

POPL-2012-BlackO #hoare #perspective

Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview (APB, PWO), pp. 1–2.

FSE-2012-WangZXXM #analysis #automation #collaboration #hybrid #web

Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.

ICSE-2012-Kajko-MattssonSGJSHMMEBS #re-engineering

Refounding software engineering: The Semat initiative (Invited presentation) (MKM, MS, MG, IJ, IS, SH, PM, BM, BE, AJB, ES), pp. 1649–1650.

HPDC-2012-Bianchini #energy

Leveraging renewable energy in data centers: present and future (RB), pp. 135–136.

SAT-2012-AbalCHP #problem #term rewriting #using

Using Term Rewriting to Solve Bit-Vector Arithmetic Problems — (Poster Presentation) (IA, AC, JH, JSP), pp. 493–495.

SAT-2012-ArbelaezC #parallel #satisfiability #towards

Towards Massively Parallel Local Search for SAT — (Poster Presentation) (AA, PC), pp. 481–482.

SAT-2012-BaylessH #algorithm

Single-Solver Algorithms for 2QBF — (Poster Presentation) (SB, AJH), pp. 487–488.

SAT-2012-BloomGHSSS #framework #game studies #named #parallel #satisfiability #scalability

SatX10: A Scalable Plug&Play Parallel SAT Framework — (Tool Presentation) (BB, DG, BH, AS, HS, VAS), pp. 463–468.

SAT-2012-BurgKK #clustering #re-engineering #satisfiability

Creating Industrial-Like SAT Instances by Clustering and Reconstruction — (Poster Presentation) (SB, SK, MK), pp. 471–472.

SAT-2012-CorziliusLJA #named

SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox — (Tool Presentation) (FC, UL, SJ, EÁ), pp. 442–448.

SAT-2012-DemirovicG #composition #performance #satisfiability

An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition — (Poster Presentation) (ED, HG), pp. 489–490.

SAT-2012-Gupta #algorithm #proving #reduction

Improved Single Pass Algorithms for Resolution Proof Reduction — (Poster Presentation) (AG), pp. 469–470.

SAT-2012-Hugel #named #random #satisfiability

SATLab: X-Raying Random k-SAT — (Tool Presentation) (TH), pp. 424–429.

SAT-2012-IserTS #optimisation #order #relational

Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod — (Poster Presentation) (MI, MT, CS), pp. 483–484.

SAT-2012-JabbourLS #satisfiability

Intensification Search in Modern SAT Solvers — (Poster Presentation) (SJ, JL, LS), pp. 491–492.

SAT-2012-KatsirelosS #learning #satisfiability

Learning Polynomials over GF(2) in a SAT Solver — (Poster Presentation) (GK, LS), pp. 496–497.

SAT-2012-KottlerZSK #analysis #named #satisfiability

CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers — (Tool Presentation) (SK, CZ, PS, MK), pp. 449–455.

SAT-2012-LiffitonM #constraints #for free

A Cardinality Solver: More Expressive Constraints for Free — (Poster Presentation) (MHL, JCM), pp. 485–486.

SAT-2012-LiL #satisfiability

Satisfying versus Falsifying in Local Search for Satisfiability — (Poster Presentation) (CML, YL), pp. 477–478.

SAT-2012-LiWL #satisfiability

Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability — (Poster Presentation) (CML, WW, YL), pp. 479–480.

SAT-2012-Manthey #flexibility

Coprocessor 2.0 — A Flexible CNF Simplifier — (Tool Presentation) (NM), pp. 436–441.

SAT-2012-MarinMB #design #incremental #preprocessor #verification

Incremental QBF Preprocessing for Partial Design Verification — (Poster Presentation) (PM, CM, BB), pp. 473–474.

SAT-2012-MatsliahSS #learning

Augmenting Clause Learning with Implied Literals — (Poster Presentation) (AM, AS, HS), pp. 500–501.

SAT-2012-NiemetzPLSB

Resolution-Based Certificate Extraction for QBF — (Tool Presentation) (AN, MP, FL, MS, AB), pp. 430–435.

SAT-2012-SabharwalSS #learning #satisfiability

Learning Back-Clauses in SAT — (Poster Presentation) (AS, HS, MS), pp. 498–499.

SAT-2012-TakHB #concurrent

Concurrent Cube-and-Conquer — (Poster Presentation) (PvdT, MH, AB), pp. 475–476.

SAT-2012-TanjoTB #csp #encoding #named #order #satisfiability #using

Azucar: A SAT-Based CSP Solver Using Compact Order Encoding — (Tool Presentation) (TT, NT, MB), pp. 456–462.

DocEng-2011-NebelingMSN #adaptation #effectiveness #layout #web

Adaptive layout template for effective web content presentation in large-screen contexts (MN, FM, LS, MCN), pp. 219–228.

CSEET-2011-Jazayeri #education #re-engineering #summary #tutorial

Structuring a software engineering-based curriculum tutorial presentation summary (MJ), pp. 543–545.

ICFP-2011-ChyzakD #generative #ml #runtime #using #web

Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.

CHI-2011-IqbalGH #cost analysis

Peripheral computing during presentations: perspectives on costs and preferences (STI, JG, EH), pp. 891–894.

CHI-2011-ZhaoJ #difference #image #network #self #social #visual notation

Cultural differences on visual self-presentation through social networking site profile images (CZ, GJ), pp. 1129–1132.

HCI-ITE-2011-MurataKMST #design #interface #visualisation

Design of Shadows on the OHP Metaphor-Based Presentation Interface Which Visualizes a Presenter’s Actions (YM, KK, TM, BS, JT), pp. 557–564.

HCI-ITE-2011-TakaoYW #development #visual notation

Development of Embodied Visual Effects Which Expand the Presentation Motion of Emphasis and Indication (YT, MY, TW), pp. 603–612.

HCI-UA-2011-KallinenKR #case study #experience #multi #tablet #user interface

The Effects of Content Type and Presentation Style on User Experiences of Multimedia Content on a Tablet PC (KK, JK, NR), pp. 466–475.

HIMI-v2-2011-MacchiarellaKCHE #speech #visual notation

Pilot Information Presentation on the Flight Deck: An Application of Synthetic Speech and Visual Digital Displays (NDM, JPK, MSC, TH, ZE), pp. 500–506.

HIMI-v2-2011-TanerYNB #generative #performance #scalability

An Efficient and Scalable Meeting Minutes Generation and Presentation Technique (BT, CY, AON, SB), pp. 345–352.

ICEIS-v4-2011-AlmeidaHRCBM #network #social

Augmenting Accessibility in Social Networks — A Virtual Presenter (LDAA, ECSH, JCdR, PDPC, MCCB, JMDM), pp. 225–234.

KDD-2011-Hsu #realtime

Real-time risk control system for CNP (card not present) (TH), p. 783.

KMIS-2011-JarosHM #named

PreSti — Neuroscience Stimuli Presentation Software (PJ, PH, RM), pp. 390–393.

SEKE-2011-AlspaughAS

Presenting Software License Conflicts through Argumentation (TAA, HUA, WS), pp. 509–514.

Onward-2011-BoulilaCMRB #requirements

Presenting a day in the life of video-based requirements engineering (NB, OC, GAM, SR, RB), pp. 105–106.

SAC-2011-YatakaTTT #smarttech

A context-aware audio presentation method in wearable computing (SY, KT, TT, MT), pp. 405–412.

CASE-2010-RakotondrabeCRN #automation #estimation #framework

Presentation, force estimation and control of an instrumented platform dedicated to automated micromanipulation tasks (MR, CC, KR, KN), pp. 722–727.

DocEng-2010-BeaudouxB

Linking data and presentations: from mapping to active transformations (OB, AB), pp. 107–110.

VLDB-2010-Etzion #past present future

Event Processing — past, present and future (OE), pp. 1651–1652.

CHI-2010-MunsonR #how

Presenting diverse political opinions: how and how much (SAM, PR), pp. 1457–1466.

CAiSE-2010-AalstPS #mining #process

Beyond Process Mining: From the Past to Present and Future (WMPvdA, MP, MS), pp. 38–52.

CIKM-2010-AjiWAG #analysis #modelling #using

Using the past to score the present: extending term weighting models through revision history analysis (AA, YW, EA, EG), pp. 629–638.

ICPR-2010-SwaminathanTFEAB #speech

Improving and Aligning Speech with Presentation Slides (RS, MET, SF, AE, AA, KB), pp. 3280–3283.

KR-2010-BaralHS #information management #reasoning #representation

Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (CB, IH, YS).

KR-2010-MouraLSN #information management #reasoning #representation #tutorial

Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (LMdM, CL, MMCS, BN).

CASE-2009-RakotondrabeR #metric

Presentation and improvement of an AFM-based system for the measurement of adhesion forces (MR, PR), pp. 585–590.

CHI-2009-HarrisonH09a #approach

Texture displays: a passive approach to tactile presentation (CH, SEH), pp. 2261–2264.

CHI-2009-LichtschlagKB #named

Fly: a tool to author planar presentations (LL, TK, JOB), pp. 547–556.

CHI-2009-RaoHNJ #recommendation

My Dating Site Thinks I’m a Loser: effects of personal photos and presentation intervals on perceptions of recommender systems (SR, TH, CN, NJ), pp. 221–224.

CHI-2009-SchrammelLT #clustering #empirical #evaluation #semantics

Semantically structured tag clouds: an empirical evaluation of clustered presentation approaches (JS, ML, MT), pp. 2037–2040.

HCI-AUII-2009-IbenWK #feedback #smarttech #visual notation

The Impact of Different Visual Feedback Presentation Methods in a Wearable Computing Scenario (HI, HW, EMK), pp. 752–759.

HCI-NIMT-2009-GeigerRDKB #diagrams #scalability #user interface

A Zoomable User Interface for Presenting Hierarchical Diagrams on Large Screens (CG, HR, RD, SK, JB), pp. 791–800.

HCI-NIMT-2009-IizukaY #case study

Experimental Study about Effect of Thermal Information Presentation to Mouse (SI, SY), pp. 444–450.

HCI-NIMT-2009-PantforderVS #3d #evaluation #interactive #problem #process #visualisation

Benefit and Evaluation of Interactive 3D Process Data Visualization for the Presentation of Complex Problems (DP, BVH, KS), pp. 869–878.

HCI-NIMT-2009-YonemuraEK #effectiveness

Effectiveness of the Text Display in Bilingual Presentation of JSL/JT for Emergency Information (SY, SE, KK), pp. 761–769.

HCI-NT-2009-WatanabeSMY #design #interface

Time-Oriented Interface Design: Picking the Right Time and Method for Information Presentation (KW, KS, SM, MY), pp. 752–759.

KEOD-2009-Grimm #formal method #ontology #research #semantics #web

A Unifying Formal Ontology Model — A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research (SG), pp. 327–335.

ITiCSE-2008-DicksonAH #automation

Automatic creation of indexed presentations from classroom lectures (PED, WRA, ARH), pp. 12–16.

LATA-2008-CainORT #automation

Automatic Presentations for Cancellative Semigroups (AJC, GPO, NR, RMT), pp. 149–159.

CHI-2008-JokelaLK #editing #mobile #multi

Mobile multimedia presentation editor: enabling creation of audio-visual stories on mobile devices (TJ, JL, HK), pp. 63–72.

CHI-2008-LanirBF #design #visual notation

Observing presenters’ use of visual aids to inform the design of classroom presentation software (JL, KSB, LF), pp. 695–704.

SOFTVIS-2008-Stasko #analysis #visualisation

Visualization for information exploration and analysis: keynote presentation (JTS), pp. 7–8.

CIKM-2008-ChenLYH #approach #effectiveness #graph #on the

On effective presentation of graph patterns: a structural representative approach (CC, CXL, XY, JH), pp. 299–308.

CIKM-2008-OzcanAU #query

Utilization of navigational queries for result presentation and caching in search engines (RO, ISA, ÖU), pp. 1499–1500.

SAC-2008-CollignonVC #editing #multi #user interface

An intelligent editor for multi-presentation user interfaces (BC, JV, GC), pp. 1634–1641.

IJCAR-2008-TourEN #equation #unification

Unification and Matching Modulo Leaf-Permutative Equational Presentations (TBdlT, ME, PN), pp. 332–347.

DATE-2007-AngioliniJABM #design #fault tolerance #interactive

Interactive presentation: Improving the fault tolerance of nanometric PLA designs (FA, MHBJ, DA, LB, GDM), pp. 570–575.

DATE-2007-AnisN #architecture #debugging #interactive #low cost #using

Interactive presentation: Low cost debug architecture using lossy compression for silicon debug (EA, NN), pp. 225–230.

DATE-2007-BabighianKV #data mining #interactive #mining #optimisation

Interactive presentation: PowerQuest: trace driven data mining for power optimization (PB, GK, MYV), pp. 1078–1083.

DATE-2007-BarajasCCMGCBI #behaviour #interactive #modelling #optimisation

Interactive presentation: Behavioral modeling of delay-locked loops and its application to jitter optimization in ultra wide-band impulse radio systems (EB, RC, DC, DM, JLG, IC, SB, MI), pp. 1430–1435.

DATE-2007-BloemGJPPW #automation #case study #hardware #interactive #specification #synthesis

Interactive presentation: Automatic hardware synthesis from specifications: a case study (RB, SJG, BJ, NP, AP, MW), pp. 1188–1193.

DATE-2007-BronckersSPVR #analysis #interactive #simulation #verification

Interactive presentation: Simulation methodology and experimental verification for the analysis of substrate noise on LC-VCO’s (SB, CS, GVdP, GV, YR), pp. 1520–1525.

DATE-2007-ChoudhuryRRM #interactive #memory management

Interactive presentation: Single-ended coding techniques for off-chip interconnects to commodity memory (MRC, KR, SR, KM), pp. 1072–1077.

DATE-2007-DabrowskiR #interactive

Interactive presentation: Boosting SER test for RF transceivers by simple DSP technique (JD, RR), pp. 719–724.

DATE-2007-DevanathanRK #generative #interactive #testing

Interactive presentation: On power-profiling and pattern generation for power-safe scan tests (VRD, CPR, VK), pp. 534–539.

DATE-2007-EckerESSVH #abstraction #interactive #performance #representation #simulation

Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance (WE, VE, LS, TS, MV, MH), pp. 767–772.

DATE-2007-EckerESVH #framework #implementation #interactive #transaction

Interactive presentation: Implementation of a transaction level assertion framework in SystemC (WE, VE, TS, MV, MH), pp. 894–899.

DATE-2007-FavalliM #detection #fault #interactive

Interactive presentation: Pulse propagation for the detection of small delay defects (MF, CM), pp. 1295–1300.

DATE-2007-FengWZKS #automation #black box #generative #interactive #realtime

Interactive presentation: Automatic model generation for black box real-time systems (THF, LW, WZ, SK, SAS), pp. 930–935.

DATE-2007-FummiPPQ #design #embedded #interactive #middleware

Interactive presentation: A middleware-centric design flow for networked embedded systems (FF, GP, RP, DQ), pp. 1048–1053.

DATE-2007-GaneshpureK #automation #fault #generative #interactive #multi

Interactive presentation: Automatic test pattern generation for maximal circuit noise in multiple aggressor crosstalk faults (KPG, SK), pp. 540–545.

DATE-2007-GargM #analysis #design #interactive #multi #process #throughput

Interactive presentation: System-level process variation driven throughput analysis for single and multiple voltage-frequency island designs (SG, DM), pp. 403–408.

DATE-2007-GillPW #fault #interactive #power management #symmetry

Interactive presentation: A new asymmetric SRAM cell to reduce soft errors and leakage power in FPGA (BSG, CAP, FGW), pp. 1460–1465.

DATE-2007-GlassLSHT #interactive #synthesis

Interactive presentation: Reliability-aware system synthesis (MG, ML, TS, CH, JT), pp. 409–414.

DATE-2007-GongW #interactive #optimisation

Interactive presentation: System level power optimization of Sigma-Delta modulator (FG, XW), pp. 297–300.

DATE-2007-HaastregtK #interactive #optimisation #performance #random #using

Interactive presentation: Feasibility of combined area and performance optimization for superscalar processors using random search (SvH, PMWK), pp. 606–611.

DATE-2007-HwangCR #interactive #process #scalability

Interactive presentation: Process tolerant beta-ratio modulation for ultra-dynamic voltage scaling (MEH, TC, KR), pp. 1550–1555.

DATE-2007-IndrusiakTG #behaviour #execution #interactive #modelling #specification #uml

Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns (LSI, AT, MG), pp. 301–306.

DATE-2007-KraemerLAM #interactive #parallel #program transformation #source code #using

Interactive presentation: SoftSIMD — exploiting subword parallelism using source code transformations (SK, RL, GA, HM), pp. 1349–1354.

DATE-2007-KroeningS #image #interactive #proving #refinement #using #word

Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs (DK, NS), pp. 1325–1330.

DATE-2007-KumarHHC #configuration management #design #interactive #multi

Interactive presentation: An FPGA design flow for reconfigurable network-based multi-processor systems on chip (AK, AH, JH, HC), pp. 117–122.

DATE-2007-LataireVP #design #interactive #multi #optimisation #using

Interactive presentation: Optimizing analog filter designs for minimum nonlinear distortions using multisine excitations (JL, GV, RP), pp. 267–272.

DATE-2007-LinH #interactive #reduction #statistics

Interactive presentation: Statistical dual-Vdd assignment for FPGA interconnect power reduction (YL, LH), pp. 636–641.

DATE-2007-ManetMTCMGLAGLB #configuration management #hardware #interactive #programmable

Interactive presentation: RECOPS: reconfiguring programmable devices for military hardware electronics (PM, DM, LT, MDC, OM, YG, JDL, DA, CG, RL, VLB), pp. 994–999.

DATE-2007-MedardoniRBBSP #communication #in memory #industrial #interactive #memory management

Interactive presentation: Capturing the interaction of the communication, memory and I/O subsystems in memory-centric industrial MPSoC platforms (SM, MR, DB, LB, GS, CP), pp. 660–665.

DATE-2007-MeijerKTK #interactive #network #process

Interactive presentation: A process splitting transformation for Kahn process networks (SM, BK, AT, EAdK), pp. 1355–1360.

DATE-2007-MilidonisAPMKG #architecture #interactive #memory management

Interactive presentation: A decoupled architecture of processors with scratch-pad memory hierarchy (AM, NA, VP, HM, AK, CEG), pp. 612–617.

DATE-2007-MucciVCT #architecture #configuration management #implementation #interactive

Interactive presentation: Implementation of AES/Rijndael on a dynamically reconfigurable architecture (CM, LV, FC, MT), pp. 355–360.

DATE-2007-NarayananHMCZ #classification #implementation #interactive

Interactive presentation: An FPGA implementation of decision tree classification (RN, DH, GM, ANC, JZ), pp. 189–194.

DATE-2007-NepalBMPZ #design #interactive #multi

Interactive presentation: Techniques for designing noise-tolerant multi-level combinational circuits (KN, RIB, JLM, WRP, AZ), pp. 576–581.

DATE-2007-NiuQ #energy #interactive #realtime #scheduling

Interactive presentation: Peripheral-conscious scheduling on energy minimization for weakly hard real-time systems (LN, GQ), pp. 791–796.

DATE-2007-NooriMMIG #adaptation #generative #interactive #multi

Interactive presentation: Generating and executing multi-exit custom instructions for an adaptive extensible processor (HN, FM, KM, KI, MG), pp. 325–330.

DATE-2007-PoppNGKP #architecture #evaluation #interactive #towards

Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures (PP, MDN, PG, SK, CP), pp. 504–509.

DATE-2007-QuSN #configuration management #energy #interactive #runtime #scalability #using

Interactive presentation: Using dynamic voltage scaling to reduce the configuration energy of run time reconfigurable devices (YQ, JPS, JN), pp. 147–152.

DATE-2007-RaoOK #fault tolerance #interactive #logic

Interactive presentation: Logic level fault tolerance approaches targeting nanoelectronics PLAs (WR, AO, RK), pp. 865–869.

DATE-2007-SafarSES #configuration management #interactive #satisfiability

Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver (MS, MS, MWEK, AS), pp. 153–158.

DATE-2007-SahinH #algorithm #architecture #hardware #interactive #performance #predict

Interactive presentation: An efficient hardware architecture for H.264 intra prediction algorithm (ES, IH), pp. 183–188.

DATE-2007-SanchezSSR #automation #effectiveness #generative #interactive #source code

Interactive presentation: An enhanced technique for the automatic generation of effective diagnosis-oriented test programs for processor (ES, MS, GS, MSR), pp. 1158–1163.

DATE-2007-SathanurCBMMP #bound #clustering #interactive #performance

Interactive presentation: Efficient computation of discharge current upper bounds for clustered sleep transistor sizing (AVS, AC, LB, AM, EM, MP), pp. 1544–1549.

DATE-2007-SauerGD #composition #framework #interactive

Interactive presentation: Hard- and software modularity of the NOVA MPSoC platform (CS, MG, SD), pp. 1102–1107.

DATE-2007-SchneiderSKW #interactive #simulation #statistics

Interactive presentation: Statistical simulation of high-frequency bipolar circuits (WS, MS, WK, HW), pp. 1397–1402.

DATE-2007-Scholzel #clustering #interactive

Interactive presentation: Time-constrained clustering for DSE of clustered VLIW-ASP (MS), pp. 467–472.

DATE-2007-SheldonVL #design #interactive #paradigm #using

Interactive presentation: Soft-core processor customization using the design of experiments paradigm (DS, FV, SL), pp. 821–826.

DATE-2007-Srivastava #interactive #predict #scalability

Interactive presentation: Radix 4 SRT division with quotient prediction and operand scaling (NRS), pp. 195–200.

DATE-2007-TongbongMC #evaluation #interactive #metric #multi #statistics #testing #using

Interactive presentation: Evaluation of test measures for LNA production testing using a multinormal statistical model (JT, SM, JLC), pp. 731–736.

DATE-2007-VermaHR #automation #behaviour #functional #generative #interactive #modelling

Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions (SV, IGH, KR), pp. 900–905.

DATE-2007-WatanabeKINN #constraints #energy #interactive #multi #performance #scheduling

Interactive presentation: Task scheduling under performance constraints for reducing the energy consumption of the GALS multi-processor SoC (RW, MK, MI, HN, TN), pp. 797–802.

DATE-2007-XuRC #analysis #interactive #pipes and filters #power management

Interactive presentation: Analysis of power consumption and BER of flip-flop based interconnect pipelining (JX, AR, MHC), pp. 1218–1223.

DATE-2007-YeGM #interactive

Interactive presentation: An FPGA based all-digital transmitter with radio frequency output for software defined radio (ZY, JG, GM), pp. 21–26.

DATE-2007-YetikSTD #architecture #interactive #matlab #optimisation

Interactive presentation: A coefficient optimization and architecture selection tool for SigmaDelta modulators in MATLAB (ÖY, OS, ST, GD), pp. 87–92.

DATE-2007-YeungTB #framework #interactive #interface #multi #novel

Interactive presentation: Novel test infrastructure and methodology used for accelerated bring-up and in-system characterization of the multi-gigahertz interfaces on the cell processor (PY, AT, PB), pp. 725–730.

DATE-2007-YonedaIF #algorithm #configuration management #interactive #scheduling #using

Interactive presentation: An SoC test scheduling algorithm using reconfigurable union wrappers (TY, MI, HF), pp. 231–236.

DATE-2007-ZhuSD #functional #interactive #pipes and filters #validation

Interactive presentation: Functional and timing validation of partially bypassed processor pipelines (QZ, AS, ND), pp. 1164–1169.

DATE-2007-ZjajoAG #interactive #monitoring #parametricity #process

Interactive presentation: BIST method for die-level process parameter variation monitoring in analog/mixed-signal integrated circuits (AZ, MJBA, JPdG), pp. 1301–1306.

DocEng-2007-WildeC #html

Presenting in html (EW, PCC), pp. 35–36.

DRR-2007-HarringtonW #documentation

Presentation of structured documents without a style sheet (SJH, EW).

CSEET-2007-HeilF #collaboration #development #effectiveness

Workshop on Developing Effective Teaming & Presentation Skills to Facilitate Collaborative Software Development (MRH, RJF), p. 357.

ITiCSE-2007-MorenoMRI #education #interface #multi

Accessible interface for multimedia presentation in inclusive education (LM, PM, BRM, AI), p. 321.

CHI-2007-GirgensohnSTW #process

Effects of presenting geographic context on tracking activity between cameras (AG, FMSI, TT, LW), pp. 1167–1176.

CHI-2007-HuWNMI #testing #usability

Context & usability testing: user-modeled information presentation in easy and difficult driving conditions (JH, AW, CN, JDM, RI), pp. 1343–1346.

CHI-2007-WangJHDZ #clustering #image #named #semantics #web

IGroup: presenting web image search results in semantic clusters (SW, FJ, JH, QD, LZ), pp. 587–596.

HCI-AS-2007-KikuchiHNK #evaluation #interface #web

Chat-Robot Based Web Content Presentation Interface and Its Evaluation (YK, KH, SN, MK), pp. 934–943.

HCI-IPT-2007-ChenK

Displays Attentive to Unattended Regions: Presenting Information in a Peripheral-Vision-Friendly Way (MCC, RLK), pp. 23–31.

HCI-IPT-2007-ChoH #recognition

Drawing Type Tactile Presentation for Tactile Letter Recognition (JHC, MH), pp. 798–807.

HCI-MIE-2007-Goncalves #how #multi

How Panoramic Photography Changed Multimedia Presentations in Tourism (NG), pp. 862–871.

HIMI-IIE-2007-LaukaitisVG #architecture #information retrieval #natural language

Natural Language Based Heavy Personal Assistant Architecture for Information Retrieval and Presentation (AL, OV, VG), pp. 54–63.

HIMI-IIE-2007-ParkCHNPCJ #artificial reality #navigation

Disposition of Information Entities and Adequate Level of Information Presentation in an In-Car Augmented Reality Navigation System (KSP, IHC, GBH, TJN, JYP, SIC, IHJ), pp. 1098–1108.

HIMI-IIE-2007-SatoA #analysis #behaviour

Analysis of Naturalistic Driving Behavior While Approaching an Intersection and Implications for Route Guidance Presentation (TS, MA), pp. 618–627.

HIMI-MTT-2007-GundelsweilerMR #named #user interface

ZEUS — Zoomable Explorative User Interface for Searching and Object Presentation (FG, TM, HR), pp. 288–297.

OCSC-2007-KimQ #community

Presentation Desire of Digital Identity in Virtual Community (HWK, EQ), pp. 96–105.

RecSys-2007-WinterboerM #recommendation

Evaluating information presentation strategies for spoken recommendations (AW, JDM), pp. 157–160.

RE-2007-SeyffGGM #mobile #requirements

The Mobile Scenario Presenter: A Tool for in situ Requirements Discovery with Scenarios (NS, FG, PG, NAMM), pp. 365–366.

ICSE-2007-ChengDS

Presentations by Programmers for Programmers (LTC, MD, MADS), pp. 788–792.

RTA-2007-TourE

Determining Unify-Stable Presentations (TBdlT, ME), pp. 63–77.

ASE-2006-Rajamani #automation #past present future

Automatic Property Checking for Software: Past, Present and Future (SKR), p. 12.

DocEng-2006-LumleyGR #layout

Resolving layout interdependency with presentational variables (JWL, RG, OR), pp. 95–97.

ITiCSE-2006-GriswoldS #learning #performance #scalability #ubiquitous

Ubiquitous presenter: fast, scalable active learning for the whole classroom (WGG, BS), p. 358.

ITiCSE-2006-TrontEP #named #tablet

WriteOn: a tool for classroom presentations on tablet PCs (JGT, VE, JCP), p. 352.

FoSSaCS-2006-BonsangueK #equation

Presenting Functors by Operations and Equations (MMB, AK), pp. 172–186.

SEFM-2006-Rajamani #automation #past present future

Automatic Property Checking for Software: Past, Present and Future (SKR), pp. 18–20.

CHI-2006-RanjanBC

Searching in audio: the utility of transcripts, dichotic presentation, and time-compression (AR, RB, MHC), pp. 721–730.

ECIR-2006-JohoJ #case study #comparative #effectiveness #web

A Comparative Study of the Effectiveness of Search Result Presentation on the Web (HJ, JMJ), pp. 302–313.

SAC-2006-EliasEC #consistency #multi

Dynamic consistency checking for temporal and spatial relations in multimedia presentations (SE, KSE, RC), pp. 1380–1384.

SAC-2006-OsorioK #analysis #behaviour

An initial analysis and presentation of malware exhibiting swarm-like behavior (FCCO, ZK), pp. 323–329.

SAC-2006-SansL #hypermedia #inheritance #navigation

Navigating with inheritance in hypermedia presentations (VS, DL), pp. 1385–1392.

CSL-2006-Ong #approach #infinity #semantics #verification

Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (CHLO), pp. 31–40.

DATE-2005-Holt #past present future

Wireless LAN: Past, Present, and Future (KH), pp. 92–93.

ITiCSE-2005-TurbanRT

Bridging media breaks in presence presentations (GT, GR, CT), p. 377.

IWPC-2005-MurrayL #comprehension

Presenting Micro-Theories of Program Comprehension in Pattern Form (AM, TCL), pp. 45–54.

IWPC-2005-Storey #comprehension #past present future #tool support

Theories, Methods and Tools in Program Comprehension: Past, Present and Future (MADS), pp. 181–191.

MoDELS-2005-Kimelman #architecture #research

Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.

MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability

Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.

MoDELS-2005-Vieira #case study #experience #generative #modelling #testing

Invited Presentation II: Experiences in Applying Model Based System Testing Generation (MV), p. 430.

MoDELS-2005-Kimelman #architecture #research

Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.

MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability

Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.

MoDELS-2005-Vieira #case study #experience #generative #modelling #testing

Invited Presentation II: Experiences in Applying Model Based System Testing Generation (MV), p. 430.

SOSP-2005-JoshiKDC #detection

Detecting past and present intrusions through vulnerability-specific predicates (AJ, STK, GWD, PMC), pp. 91–104.

DocEng-2004-GancarskiH #documentation #xml

Presenting the results of relevance-oriented search over XML documents (ALG, PRH), pp. 31–33.

DRR-2004-Henzinger #future of #information retrieval #past present future #web

The past, present, and future of web information retrieval (MRH), pp. 23–26.

HT-2004-MacedoCCIP #interactive

Interaction alternatives for linking everyday presentations (AAM, JACG, RGC, VRIJ, MdGCP), pp. 112–113.

PODS-2004-Henzinger #future of #information retrieval #past present future #web

The Past, Present and Future of Web Information Retrieval (MRH), p. 46.

ICALP-2004-Henzinger #future of #past present future #web

The Past, Present, and Future of Web Search Engines (MRH), p. 3.

ICFP-2004-FindlerF #functional #named

Slideshow: functional presentations (RBF, MF), pp. 224–235.

CHI-2004-AndersonHWA #case study

A study of digital ink in lecture presentation (RJA, CH, SAW, REA), pp. 567–574.

LSO-2004-HolzM #learning #past present future #research

Research on Learning Software Organizations — Past, Present, and Future (HH, GM), pp. 1–6.

SAC-2004-FialaHHF #adaptation #component #design #implementation #web

Design and implementation of component-based adaptive Web presentations (ZF, MH, GJH, FF), pp. 1698–1704.

ICDAR-2003-Bunke #past present future #recognition

Recognition of Cursive Roman Handwriting — Past, Present and Future (HB), p. 448–?.

ITiCSE-2003-AndersonAVWY #tablet

Classroom presentation from the tablet PC (RJA, REA, TV, SAW, KY), p. 238.

ITiCSE-2003-CasselIKGFLP #education #library #using

Using an education oriented digital library to organize and present classes in computing and information (LNC, JI, DK, CLG, EAF, JL, MAPQ), p. 260.

FME-2003-SawadaKF #future of #implementation #past present future

Past, Present, and Future of SRA Implementation of CafeOBJ: Annex (TS, KK, KF), pp. 7–17.

TestCom-2003-GecseD

An Intuitive TTCN-3 Data Presentation Format (RG, SD), pp. 63–78.

DATE-2002-OttenCG #automation #design

Design Automation for Deepsubmicron: Present and Future (RHJMO, RC, PG), pp. 650–657.

DocEng-2002-BesR #multi #pretty-printing #process

A presentation language for controlling the formatting process in multimedia presentations (FB, CR), pp. 2–9.

CAiSE-2002-AdibaZ #multi #web

Building Spatio-Temporal Presentations Warehouses from Heterogeneous Multimedia Web Servers (MEA, JLZM), pp. 692–696.

ICEIS-2002-Al-TahatISY #approach #development #framework #multi #using #web

Using Hot-Spot-Driven Approach in the Development of a Framework for Multimedia Presentation on the Web (KSAT, SBI, TMTS, MY), pp. 855–860.

SEKE-2002-CelentanoG #automation #generative #modelling #multi

Schema modelling for automatic generation of multimedia presentations (AC, OG), pp. 593–600.

SIGIR-2002-Hurst #authoring #on the fly

Indexing, searching, and retrieving of recorded live presentations with the AOF (authoring on the fly) search engine (WH), p. 447.

PPDP-2002-FissoreGK #induction #proving #termination

System Presentation — CARIBOO: An induction based proof tool for termination with strategies (OF, IG, HK), pp. 62–73.

SAC-2002-JohoCSB

Hierarchical presentation of expansion terms (HJ, CC, MS, MHB), pp. 645–649.

ASE-2001-LegeardP #case study #functional #generative #industrial #sequence #testing

Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study (BL, FP), pp. 377–381.

DocEng-2001-SampaioLC #consistency #documentation #ide

An integrated environment for the presentation of consistent SMIL 2.0 documents (PNMS, CL, JPC), pp. 115–124.

DocEng-2001-Villard #adaptation #authoring #multi

Authoring transformations by direct manipulation for adaptable multimedia presentations (LV), pp. 125–134.

HT-2001-Francisco-RevillaSFKA #hypermedia

Perception of content, structure, and presentation changes in Web-based hypertext (LFR, FMSI, RF, UK, AA), pp. 205–214.

VLDB-2001-MaedaT #adaptation #named #using

ACTIVIEW: Adaptive data presentation using SuperSQL (YM, MT), pp. 695–696.

CHI-2001-BorovoySGNKRK #community

Folk computing: revisiting oral tradition as a scaffold for co-present communities (RB, BS, TG, MN, BK, MR, JK), pp. 466–473.

SVIS-2001-HundhausenD #algorithm #visualisation

A Language and System for Constructing and Presenting Low Fidelity Algorithm Visualizations (CDH, SAD), pp. 227–240.

ICEIS-v1-2001-TaitP #architecture #information management

Presentation of an Information Systems Architecture Model for Public Sector (TFCT, RCSP), pp. 275–278.

SEKE-2001-Chang #multi #re-engineering

A Special Presentation on Multimedia Software Engineering (SKC), p. 346.

TOOLS-USA-2001-Behravanfar #architecture #generative #internet #using

Separation of Data and Presentation for the Next Generation Internet Using the Four-Tier Architecture (RB), pp. 83–88.

HT-2000-RutledgeBOHG #constraints #generative

Generating presentation constraints from rhetorical structure (LR, BB, JvO, LH, JG), pp. 19–28.

ITiCSE-2000-YooSLL #education

Present status and direction of information curriculum of Korea (IHY, SBS, CHL, TWL), p. 195.

WLC-2000-Inata #monad

Presentations of Right Unitary Submonoids of Monoids (II), pp. 222–227.

WLC-2000-LombardyS #on the

On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.

CHI-2000-BoreczkyGGU #interactive #video

An interactive comic book presentation for exploring video (JSB, AG, GG, SU), pp. 185–192.

CHI-2000-HeSGG #summary

Comparing presentation summaries: slides vs. reading vs. listening (LH, ES, AG, JG), pp. 177–184.

CHI-2000-JanckeGG #design

Presenting to local and remote audiences: design and use of the TELEP system (GJ, JG, AG), pp. 384–391.

CSCW-2000-HeGG #design #on-demand

Designing presentations for on-demand viewing (LH, JG, AG), pp. 127–134.

ICPR-v4-2000-ShimamuraTYY #image #modelling #using

Construction and Presentation of a Virtual Environment Using Panoramic Stereo Images of a Real Scene and Computer Graphics Models (JS, HT, NY, KY), pp. 4463–4467.

ICPR-v4-2000-YamaguchiTYY #generative #image #realtime #sequence #using

Real-Time Generation and Presentation of View-Dependent Binocular Stereo Images Using a Sequence of Omnidirectional Images (KY, HT, KY, NY), pp. 4589–4593.

SIGIR-2000-HurstMM #information retrieval #multi

Multimedia information retrieval from recorded presentations (WH, RM, CM), pp. 339–341.

TOOLS-PACIFIC-2000-Diskin #modelling #on the

On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000) (ZD), pp. 182–189.

SAC-2000-RennieLW #database #network #query #web

Web Access to Environmental Databases: a Database Query and Presentation System for the UK Environmental Change Network (SCR, AMJL, MW), pp. 894–897.

ICSE-2000-Booch #future of

The future of software (abstract of invited presentation) (GB), p. 3.

ICSE-2000-Castells

Is the new economy socially sustainable? (abstract of invited presentation) (MC), p. 2.

ICSE-2000-Horn

Dot com versus bricks and mortar — the impact of portal technology (abstract of invited presentation) (CH), p. 4.

CL-2000-BaralTTK #complexity

Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States (CB, LCT, RT, VK), pp. 882–896.

SIGMOD-1999-AdaliSS #algebra #multi

A Multimedia Presentation Algebra (SA, MLS, VSS), pp. 121–132.

AGTIVE-1999-DrewesK #named

TREEBAG — a Short Presentation (FD, PK), pp. 411–417.

CHI-1999-NelsonIPA #interface #named

Palette: A Paper Interface for Giving Presentations (LN, SI, ERP, LA), pp. 354–361.

CHI-1999-StewartBD #collaboration

Single Display Groupware: A Model for Co-Present Collaboration (JS, BBB, AD), pp. 286–293.

HCI-CCAD-1999-Andre #multi #personalisation #towards

Towards personalized multimedia presentation systems for all (EA), pp. 873–877.

HCI-EI-1999-CastellsS #interface #named

HandsOn: Dynamic Interface Presentations by Example (PC, PAS), pp. 1288–1292.

HCI-EI-1999-RistH #adaptation #generative #visual notation

Adaptive Generation of Graphical Information Presentations in a Heterogeneous Telecooperation Environment (TR, MH), pp. 331–335.

HCI-EI-1999-SunCH #3d #case study #how

A Study on How Depth Perception Is Affected by Different Presentations of 3D Objects (HS, KWC, PAH), pp. 481–485.

SIGAda-1999-Balfour #corba

The current state of CORBA (invited presentation) (BB), p. 223.

ICEIS-1999-Bakker #data type

Advantages of a Hierarchical Presentation of Data Structures (JAB), pp. 173–182.

SIGIR-1999-KretserM #documentation #effectiveness #heuristic #similarity

Effective Document Presentation with a Locality-Based Similarity Heuristic (OdK, AM), pp. 113–120.

SAC-1999-MocellinM #aspect-oriented #behaviour #modelling #multi #using

Modelling Behavioral Aspects of Multimedia Presentations Using an Active Object DBMS (FM, HM), pp. 450–454.

CADE-1999-Horacek #proving

Presenting Proofs in a Human-Oriented Way (HH), pp. 142–156.

CSL-1999-AltenkirchR #induction #monad #using

Monadic Presentations of λ Terms Using Generalized Inductive Types (TA, BR), pp. 453–468.

SIGMOD-1998-Toyama #database #named #sql

SuperSQL: An Extended SQL for Database Publishing and Presentation (MT), pp. 584–586.

ITiCSE-1998-BorstlerJ #education #research #student

The students conference — a tool for the teaching of research, writing, and presentation skills (JB, OJ), pp. 28–31.

ITiCSE-1998-Makkonen

WWW-based presentations as a complementary part of conventional lectures in the basic of informatics (PM), pp. 162–165.

SIGIR-1998-ChenH #web

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

TOOLS-USA-1998-Li #java #virtual machine

Java Virtual Machine — Present and Near Future (QL), p. 480.

RTA-1998-OttoSM #automation #convergence #finite #monad

Automatic Monoids Versus Monoids with Finite Convergent Presentations (FO, ASK, KM), pp. 32–46.

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-SajaniemiK97a #education #named

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

CHI-1997-FaradayS #design #effectiveness #multi

Designing Effective Multimedia Presentations (PF, AGS), pp. 272–278.

HCI-CC-1997-GrinchenkoSLM #integration

Integration of Ukraine into Informational World Space: WWW Presentation Systems (TG, AAS, AL, VM), pp. 109–112.

HCI-SEC-1997-AndreMR #interface

Computer-Generated Presentation Scripts for Life-Like Interface Agents (EA, JM, TR), pp. 643–646.

HCI-SEC-1997-HainesDRH

Information Presentation and Control in a Modern Air Traffic Control Tower Simulator (RFH, SD, BR, SH), pp. 209–212.

HCI-SEC-1997-ShinYY #authoring #documentation #multi #parsing #using

Presentation Jockey: Multimedia Authoring System Using Structured Document Parsing (HSS, WJY, KJY), pp. 659–662.

HCI-SEC-1997-UchiyamaYKT #3d #geometry #interactive

Presentation and Interaction of Virtual 3D Objects Without Geometrical Model (SU, HY, AK, HT), pp. 869–872.

TOOLS-ASIA-1997-ChenWP #approach #multi #object-oriented

Intelligent Multimedia Presentation System: An Object-Oriented Approach (YC, ZW, YP), pp. 304–309.

ICSE-1997-Royce #development #metric

Pragmatic Software Metrics for Iterative Development (Presentation) (WR), p. 585.

RTA-1997-OttoKK #decidability #monad #problem #word

Cross-Sections for Finitely Presented Monoids with Decidable Word Problems (FO, MK, YK), pp. 53–67.

RTA-1997-Sattler-Klein #monad

New Undecidablility Results for Finitely Presented Monoids (ASK), pp. 68–82.

WCRE-1996-ChaseHRY #analysis #architecture

Analysis and Presentation of Recovered Software Architectures (MPC, DRH, SNR, ASY), pp. 153–162.

WPC-1996-BailesBCJ #ada

Derivation and Presentation of an Abstract Program Space for Ada (PAB, PB, MC, DBJ), p. 230–?.

CHI-1996-MarxS #named #navigation

MailCall: Message Presentation and Navigation in a Nonvisual Environment (MM, CS), pp. 165–172.

ICSE-1996-DeMarco #development #past present future

The Role of Software Development Methodologies: Past, Present, and Future (TD), pp. 2–4.

HPDC-1996-HafidBK #distributed #multi #quality

A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications (AH, GvB, BK), pp. 330–339.

CADE-1996-BertotB #named

CtCoq: A System Presentation (JB, YB), pp. 231–234.

CADE-1996-HuangF #proving

Presenting Machine-Found Proofs (XH, AF), pp. 221–225.

CADE-1996-Martin #proving #theorem proving

Theorem Proving with Group Presentations: Examples and Questions (UM), pp. 358–372.

CSL-1996-Otto #invariant #logic

The Logic of Explicitly Presentation-Invariant Circuits (MO), pp. 369–384.

CSEE-1995-MalyRWLOORSP #past present future

Computer Productivity Initiative: Past, Present, Future (KM, DER, JCW, IBL, SO, CMO, NSVR, DS, GP), pp. 15–29.

CHI-1995-IsaacsMRT #comparison #distributed

Comparison of Face-To-Face and Distributed Presentations (EI, TM, TKR, JCT), pp. 354–361.

SEKE-1995-MiyaoC #towards

Toward Uniform Presentation of Software Dynamics (JM, SKC), p. 295.

SEKE-1995-Roman #named #visualisation

Panelists: Software Visualization through Active Presentation (GCR), p. 292.

RE-1995-HughesORRS #process #requirements

Presenting ethnography in the requirements process (JAH, JO, TR, MR, IS), pp. 27–39.

ASF+SDF-1995-Brand #asf+sdf #ide #past present future #pretty-printing

Pretty printing in the ASF+SDF Meta-environment: Past, Present, and Future (MvdB), pp. 155–174.

LICS-1995-PalmgrenS

Logically Presented Domains (EP, VSH), pp. 455–463.

VLDB-1994-Bernstein #database

PC Database Systems — Present and Future (PAB), p. 754.

ICALP-1994-HintermeierKK #dynamic typing #equation #order

Dynamically-Typed Computations for Order-Sorted Equational Presentations (CH, CK, HK), pp. 450–461.

FME-1994-DukeH #formal method

A Theory of Presentations (DJD, MDH), pp. 271–290.

CHI-1994-MynattW94a #user interface #visual notation

Nonvisual presentation of graphical user interfaces: contrasting two approaches (EDM, GW), pp. 166–172.

CHI-1994-RothKMG94a #automation #design #interactive #using

Interactive graphic design using automatic presentation knowledge (SFR, JK, JM, JG), pp. 112–117.

CHI-1994-SutcliffeF94a #design #interface #multi

Designing presentation in multimedia interfaces (AGS, PF), pp. 92–98.

CSCW-1994-IsaacsMR #distributed #interactive

A Forum for Supporting Interactive Presentations to Distributed Audiences (EI, TM, TKR), pp. 405–416.

TOOLS-EUROPE-1994-Hopkins #smalltalk

Smalltalk Essentials Presentation (TPH), p. 441.

TOOLS-EUROPE-1994-McKim #eiffel

Eiffel Essentials Presentation (JCM), p. 333.

HCI-ACS-1993-BextenHM #analysis #named #simulation

AUCA: A Tool for Presentation and Analysis of Simulation Results (EMzB, DH, CM), pp. 267–272.

HCI-SHI-1993-Graf #constraints #layout #multi #named

LAYLAB — A Constraint-Based Layout Manager for Multimedia Presentations (WG), pp. 446–451.

HCI-SHI-1993-LeungA #taxonomy #visual notation

A Taxonomy of Distortion-Oriented Techniques for Graphical Data Presentation (YKL, MDA), pp. 104–109.

HCI-SHI-1993-Reiss #3d #editing

Presentation and Editing of Structured 3-D Graphics (SPR), pp. 397–402.

HCI-SHI-1993-RistA #design #multi

Designing Coherent Multimedia Presentations (TR, EA), pp. 434–439.

HCI-SHI-1993-TamuraCS #image #speech

Effect of Image Presentation to the Cognition of Plural Speech (HT, YC, YS), pp. 62–67.

INTERCHI-1993-KimF #design #user interface

Providing high-level control and expert assistance in the user interface presentation design (WCK, JDF), pp. 430–437.

DAC-1992-KahnG #design

The Electronic Design Interchange Format EDIF: Present and Future (HJK, RG), pp. 666–671.

HT-ECHT-1992-MuzzolonB #artificial reality

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

CHI-1992-ElrodBGGHJLMPPTW #collaboration #interactive #named #scalability

Liveboard: A Large Interactive Display Supporting Group Meetings, Presentations, and Remote Collaboration (SE, RB, RG, DG, FGH, WCJJ, DL, KM, ERP, KAP, JCT, BBW), pp. 599–607.

TRI-Ada-C-1992-LockP #ada #past present future #re-engineering #requirements

Requirements on Ada Reengineering Technology from Past, Present and Future Systems (EDL, NSP), pp. 384–395.

ICSE-1992-Tichy #in the large #named #past present future

Programming-in-the-Large: Past, Present, and Future (WFT), pp. 362–367.

ICALP-1991-MadlenerNO #monad #string #term rewriting

A Specialized Completion Procedure for Monadic String-Rewriting Systems Presenting Groups (KM, PN, FO), pp. 279–290.

VDME-1991-1-DickL #specification #visual notation

The Visual Presentation of VDM Specifications (JD, JL), pp. 670–671.

CHI-1991-Cypher91a #programming #video

Video presentation Eager: programming repetitive tasks by example (AC), pp. 445–446.

KDD-1991-Piatetsky #analysis

Discovery, Analysis, and Presentation of Strong Rules (GPS), pp. 229–248.

IWPTS-1991-CorbiS #embedded #protocol #testing

Common Abstract Test Suite for the Connection Oriented Presentation Protocol Embedded Under Different Application Contexts (CC, GS), pp. 143–149.

GG-1990-Schurr #incremental

Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENvironment (AS), p. 66.

GG-1990-Schurr90a #editing #graph grammar #hybrid #term rewriting

Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems (AS), p. 67.

CHI-1990-RothM

Data characterization for intelligent graphics presentation (SFR, JM), pp. 193–200.

POPL-1990-HeintzeJ #approximate #finite #logic programming #source code #theorem

A Finite Presentation Theorem for Approximating Logic Programs (NH, JJ), pp. 197–209.

CADE-1990-PfenningN #deduction #symmetry

Presenting Intuitive Deductions via Symmetric Simplification (FP, DN), pp. 336–350.

HT-1989-MarshallI #how #hypermedia #online

Guided Tours and On-Line Presentations: How Authors Make Existing Hypertext Intelligible for Readers (CCM, PMI), pp. 15–26.

ECOOP-1989-Deutsch #future of #past present future #smalltalk

The Past, Present and Future of Smalltalk (LPD), pp. 73–87.

RTA-1987-MadlenerO #finite #string #term rewriting

Groups Presented by Certain Classes of Finite Length-Reducing String-Rewriting Systems (KM, FO), pp. 133–144.

RTA-1987-SquierO #canonical #finite #monad #problem #term rewriting #word

Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems (CCS, FO), pp. 74–82.

SIGMOD-1986-ChrstodoulakisHT #approach #multi #symmetry

The Multimedia Object Presentation Manager of MINOS: A Symmetric Approach (SC, FH, MT), pp. 295–310.

SIGIR-1986-GibbsT #documentation #query

Document Presentation and Query Formulation in Muse (SJG, DT), pp. 23–30.

RTA-1985-Kandri-RodyKN #algebra #approach #commutative #problem #unification

An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras (AKR, DK, PN), pp. 345–364.

RTA-1985-Otto #algebra #finite #monad

Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems (FO), pp. 95–106.

CADE-1984-Chenadec #algebra #canonical

Canonical Forms in Finitely Presented Algebras (PlC), pp. 142–165.

VLDB-1983-WilsonDDD #multi

The Multipurpose Presentation System (GAW, EAD, ELD, JSD), pp. 56–69.

Ada-1983-Butler #past present future

Diana Past, Present, and Future (KJB), pp. 3–22.

DAC-1982-Breuer #automation #bibliography #design #state of the art

A survey of the state-of-the-art of design automation an invited presentation (MAB), p. 1.

ICALP-1980-LangmaackO #hoare #programming language

Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions (HL, ERO), pp. 363–373.

ICSE-1979-Vick #on the #past present future #re-engineering #tool support

On Software Engineering Tools: Past, Present and Future (CRV), p. 52.

ICSE-1978-Scott #architecture #functional

An Engineering Methodology for Presenting Software Functional Architecture (LRS), pp. 222–229.

STOC-1977-Kozen #algebra #complexity

Complexity of Finitely Presented Algebras (DK), pp. 164–177.

DAC-1975-GiuglianoB #automation #design #layout

Present and future on P.C.B. layout design automation system at SIT-Siemens (AG, FB), pp. 134–143.

DAC-1973-KitamuraW #automation #design

Present and future in design automation systems (TK, TW), pp. 222–227.