BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
interact (72)
system (48)
base (34)
futur (33)
use (32)

Stem present$ (all stems)

388 papers:

HTHT-2015-AinsworthNS #web
Only One Out of Five Archived Web Pages Existed as Presented (SGA, MLN, HVdS), pp. 257–266.
ITiCSEITiCSE-2015-ChengSH #named #online
TOPT: A Tree-based Online Presentation Tool (YC, JS, JH), p. 342.
ITiCSEITiCSE-2015-GreenbergR #tool support
Tools for Outreach Presentations (RIG, DR), p. 331.
CHICHI-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.
CHICHI-2015-OKaneRB #design #mobile
Concealing or Revealing Mobile Medical Devices?: Designing for Onstage and Offstage Presentation (AAO, YR, AEB), pp. 1689–1698.
CHICHI-2015-TrinhRB #named
DynamicDuo: Co-presenting with Virtual Agents (HT, LR, TWB), pp. 1739–1748.
HCIHCI-IT-2015-KhataeiA #persuasion #trust
Trust-Based Individualization for Persuasive Presentation Builder (AK, AA), pp. 418–428.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-IKD-2015-FujinawaSINHTH #behaviour #induction
Induction of Human Behavior by Presentation of Environmental Acoustics (EF, SS, MI, TN, OH, TT, MH), pp. 582–594.
HCIHIMI-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.
HCIHIMI-IKD-2015-YoshinoO #using
Proposal of a Data Presentation Technique Using Four-Frame Cartoon Expression for a LifeLog System (TY, IO), pp. 235–246.
SACSAC-2015-VielMT #approach #multi
An approach for controlling synchronous remote instances of a multimedia presentation (CCV, ELM, CACT), pp. 1285–1290.
ICSTICST-2015-MahajanH #detection #html #locality #using
Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques (SM, WGJH), pp. 1–10.
ICSTICST-2015-MahajanH15a #debugging #html #named
WebSee: A Tool for Debugging HTML Presentation Failures (SM, WGJH), pp. 1–8.
RTARTA-2015-ClercM #term rewriting
Presenting a Category Modulo a Rewriting System (FC, SM), pp. 89–105.
CBSECBSE-2014-Lau #component #modelling #past present future
Software component models: past, present and future (KKL), pp. 185–186.
ASEASE-2014-MahajanH #comparison #html #image #using
Finding HTML presentation failures using image comparison techniques (SM, WGJH), pp. 91–96.
DocEngDocEng-2014-ChamunPJOM #personalisation #web
Extracting web content for personalized presentation (RC, DP, DJ, JBSdO, IHM), pp. 157–164.
ITiCSEITiCSE-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.
SANERCSMR-WCRE-2014-RoyZK #past present future
The vision of software clone management: Past, present, and future (Keynote paper) (CKR, MFZ, RK), pp. 18–33.
FMFM-2014-BowenR #interactive #modelling #semantics
A Simplified Z Semantics for Presentation Interaction Models (JB, SR), pp. 148–162.
CHICHI-2014-ChiLD #named
DemoWiz: re-performing software demonstrations for a live presentation (PYC, BL, SMD), pp. 1581–1590.
CHICHI-2014-LiR14a #named
SmartVoice: a presentation support system for overcoming the language barrier (XL, JR), pp. 1563–1570.
CHICHI-2014-PschetzYE #named
TurningPoint: narrative-driven presentation planning (LP, KY, DE), pp. 1591–1594.
CHICHI-2014-ThorpeAMS #visual notation
The presentation effect on graphical passwords (JT, MAB, BM, ASA), pp. 2947–2950.
CHICHI-2014-TrinhYE #named
PitchPerfect: integrated rehearsal environment for structured presentation preparation (HT, KY, DE), pp. 1571–1580.
CSCWCSCW-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.
HCIDUXU-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.
HCIHCI-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.
HCIHCI-AIMT-2014-WuttkeH #social
Beyond Presentation — Employing Proactive Intelligent Agents as Social Catalysts (MW, MH), pp. 182–190.
HCIHCI-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.
HCIHIMI-AS-2014-MoriHIT #adaptation
Favor Information Presentation and Its Effect for Collective-Adaptive Situation (AM, TH, YI, KT), pp. 455–466.
ICEISICEIS-v3-2014-PaulinsBA #visualisation
e-Learning Material Presentation and Visualization Types and Schemes (NP, SB, IA), pp. 138–143.
ECIRECIR-2014-KimJHLY #automation #classification
Quality-Based Automatic Classification for Presentation Slides (SK, WJ, KH, JGL, MYY), pp. 638–643.
ICMLICML-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.
KEODKEOD-2014-ParviziMDRP #ontology
Selecting Ontology Entailments for Presentation to Users (AP, CM, KvD, YR, JZP), pp. 382–387.
SEKESEKE-2014-WangKS #semantics
An Exploratory Search for Presentation Contents based on Slide Semantic Structure (YW, YK, KS), pp. 665–670.
SIGIRSIGIR-2014-LinGHTXL #layout #retrieval
A mathematics retrieval system for formulae in layout presentations (XL, LG, XH, ZT, YX, XL), pp. 697–706.
FSEFSE-2014-YingR #summary
Selection and presentation practices for code example summarization (ATTY, MPR), pp. 460–471.
LICSLICS-CSL-2014-CousotC #abstract interpretation #past present future
Abstract interpretation: past, present and future (PC, RC), p. 10.
DocEngDocEng-2013-HoverM
Interchanging and preserving presentation recordings (KMH, MM), pp. 277–280.
FoSSaCSFoSSaCS-2013-Staton #algebra #logic
An Algebraic Presentation of Predicate Logic — (Extended Abstract) (SS), pp. 401–417.
CHICHI-2013-EdgeSY #named #prototype
HyperSlides: dynamic presentation prototyping (DE, JS, KY), pp. 671–680.
CHICHI-2013-LaucknerH
The presentation of health-related search results and its impact on negative emotional outcomes (CL, GH), pp. 333–342.
CHICHI-2013-LiuEY #authoring #named
SidePoint: a peripheral knowledge panel for presentation slide authoring (YL, DE, KY), pp. 681–684.
CHICHI-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.
HCIDHM-SET-2013-MurataKH #effectiveness #multi
Effectiveness of Automotive Warning System Presented with Multiple Sensory Modalities (AM, MK, TH), pp. 88–97.
HCIHCI-IMT-2013-LeMPNT #interactive #multimodal
Multimodal Smart Interactive Presentation System (HAL, KNCM, TAP, VTN, MTT), pp. 67–76.
HCIHCI-UC-2013-KobayashiYOO #community #people #problem
The Present Condition and Problems for Elderly People Participating in Communities (NK, SY, KO, AO), pp. 307–313.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
ICEISICEIS-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.
KDDKDD-2013-Varian #predict
Predicting the present with search engine data (HV), p. 4.
KDIRKDIR-KMIS-2013-TangC #multi
Knowledge Presentation based on Multi-dimension Model for Measuring Planning in Digital Manufacturing (XT, ZC), pp. 67–73.
KEODKEOD-2013-LabadieFR #personalisation #semantics
Personalized Semantic Resources — The SemComp Project Presentation and Preliminary Works (AL, SF, TR), pp. 164–169.
MLDMMLDM-2013-KoharaS #learning #self
Typhoon Damage Scale Forecasting with Self-Organizing Maps Trained by Selective Presentation Learning (KK, IS), pp. 16–26.
DocEngDocEng-2012-JansenCGB #personalisation #video
Just-in-time personalized video presentations (JJ, PC, RLG, DCAB), pp. 59–68.
ITiCSEITiCSE-2012-Kurmas #approach #design
The presenter first design approach (ZK), p. 379.
ITiCSEITiCSE-2012-MorgadoB #problem
Problem presentation in CS1 courses (CM, FB), p. 396.
CHICHI-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.
CHICHI-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.
CHICHI-2012-VardoulakisKMSGT #mobile #using
Using mobile phones to present medical information to hospital patients (LPV, AKK, DM, GS, JG, DST), pp. 1411–1420.
CHICHI-2012-ZhangCZ #experience #novel #visual notation
Beyond stereo: an exploration of unconventional binocular presentation for novel visual experience (HZ, XC, SZ), pp. 2523–2526.
HILTHILT-2012-Liskov #programming #turing machine
Keynote presentation: Programming the turing machine (BL), pp. 23–24.
CIKMCIKM-2012-SteinGH #clustering
Search result presentation based on faceted clustering (BS, TG, DH), pp. 1940–1944.
CIKMCIKM-2012-WhitingZJAL #named
CrowdTiles: presenting crowd-based information for event-driven information needs (SW, KZ, JMJ, OA, TL), pp. 2698–2700.
POPLPOPL-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.
FSEFSE-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.
ICSEICSE-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.
HPDCHPDC-2012-Bianchini #energy
Leveraging renewable energy in data centers: present and future (RB), pp. 135–136.
ICSTSAT-2012-AbalCHP #problem #term rewriting #using
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems — (Poster Presentation) (IA, AC, JH, JSP), pp. 493–495.
ICSTSAT-2012-ArbelaezC #parallel #satisfiability #towards
Towards Massively Parallel Local Search for SAT — (Poster Presentation) (AA, PC), pp. 481–482.
ICSTSAT-2012-BaylessH #algorithm
Single-Solver Algorithms for 2QBF — (Poster Presentation) (SB, AJH), pp. 487–488.
ICSTSAT-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.
ICSTSAT-2012-BurgKK #clustering #re-engineering #satisfiability
Creating Industrial-Like SAT Instances by Clustering and Reconstruction — (Poster Presentation) (SB, SK, MK), pp. 471–472.
ICSTSAT-2012-CorziliusLJA #named
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox — (Tool Presentation) (FC, UL, SJ, ), pp. 442–448.
ICSTSAT-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.
ICSTSAT-2012-Gupta #algorithm #proving #reduction
Improved Single Pass Algorithms for Resolution Proof Reduction — (Poster Presentation) (AG), pp. 469–470.
ICSTSAT-2012-Hugel #named #random #satisfiability
SATLab: X-Raying Random k-SAT — (Tool Presentation) (TH), pp. 424–429.
ICSTSAT-2012-IserTS #optimisation #order #relational
Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod — (Poster Presentation) (MI, MT, CS), pp. 483–484.
ICSTSAT-2012-JabbourLS #satisfiability
Intensification Search in Modern SAT Solvers — (Poster Presentation) (SJ, JL, LS), pp. 491–492.
ICSTSAT-2012-KatsirelosS #learning #satisfiability
Learning Polynomials over GF(2) in a SAT Solver — (Poster Presentation) (GK, LS), pp. 496–497.
ICSTSAT-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.
ICSTSAT-2012-LiffitonM #constraints #for free
A Cardinality Solver: More Expressive Constraints for Free — (Poster Presentation) (MHL, JCM), pp. 485–486.
ICSTSAT-2012-LiL #satisfiability
Satisfying versus Falsifying in Local Search for Satisfiability — (Poster Presentation) (CML, YL), pp. 477–478.
ICSTSAT-2012-LiWL #satisfiability
Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability — (Poster Presentation) (CML, WW, YL), pp. 479–480.
ICSTSAT-2012-Manthey #flexibility
Coprocessor 2.0 — A Flexible CNF Simplifier — (Tool Presentation) (NM), pp. 436–441.
ICSTSAT-2012-MarinMB #design #incremental #preprocessor #verification
Incremental QBF Preprocessing for Partial Design Verification — (Poster Presentation) (PM, CM, BB), pp. 473–474.
ICSTSAT-2012-MatsliahSS #learning
Augmenting Clause Learning with Implied Literals — (Poster Presentation) (AM, AS, HS), pp. 500–501.
ICSTSAT-2012-NiemetzPLSB
Resolution-Based Certificate Extraction for QBF — (Tool Presentation) (AN, MP, FL, MS, AB), pp. 430–435.
ICSTSAT-2012-SabharwalSS #learning #satisfiability
Learning Back-Clauses in SAT — (Poster Presentation) (AS, HS, MS), pp. 498–499.
ICSTSAT-2012-TakHB #concurrent
Concurrent Cube-and-Conquer — (Poster Presentation) (PvdT, MH, AB), pp. 475–476.
ICSTSAT-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.
DocEngDocEng-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.
CSEETCSEET-2011-Jazayeri #education #re-engineering #summary #tutorial
Structuring a software engineering-based curriculum tutorial presentation summary (MJ), pp. 543–545.
ICFPICFP-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.
CHICHI-2011-IqbalGH #cost analysis
Peripheral computing during presentations: perspectives on costs and preferences (STI, JG, EH), pp. 891–894.
CHICHI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-v2-2011-TanerYNB #generative #performance #scalability
An Efficient and Scalable Meeting Minutes Generation and Presentation Technique (BT, CY, AON, SB), pp. 345–352.
ICEISICEIS-v4-2011-AlmeidaHRCBM #network #social
Augmenting Accessibility in Social Networks — A Virtual Presenter (LDAA, ECSH, JCdR, PDPC, MCCB, JMDM), pp. 225–234.
KDDKDD-2011-Hsu #realtime
Real-time risk control system for CNP (card not present) (TH), p. 783.
KMISKMIS-2011-JarosHM #named
PreSti — Neuroscience Stimuli Presentation Software (PJ, PH, RM), pp. 390–393.
SEKESEKE-2011-AlspaughAS
Presenting Software License Conflicts through Argumentation (TAA, HUA, WS), pp. 509–514.
OnwardOnward-2011-BoulilaCMRB #requirements
Presenting a day in the life of video-based requirements engineering (NB, OC, GAM, SR, RB), pp. 105–106.
SACSAC-2011-YatakaTTT #smarttech
A context-aware audio presentation method in wearable computing (SY, KT, TT, MT), pp. 405–412.
CASECASE-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.
DocEngDocEng-2010-BeaudouxB
Linking data and presentations: from mapping to active transformations (OB, AB), pp. 107–110.
VLDBVLDB-2010-Etzion #past present future
Event Processing — past, present and future (OE), pp. 1651–1652.
CHICHI-2010-MunsonR #how
Presenting diverse political opinions: how and how much (SAM, PR), pp. 1457–1466.
CAiSECAiSE-2010-AalstPS #mining #process
Beyond Process Mining: From the Past to Present and Future (WMPvdA, MP, MS), pp. 38–52.
CIKMCIKM-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.
ICPRICPR-2010-SwaminathanTFEAB #speech
Improving and Aligning Speech with Presentation Slides (RS, MET, SF, AE, AA, KB), pp. 3280–3283.
KRKR-2010-BaralHS #information management #reasoning #representation
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (CB, IH, YS).
KRKR-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).
CASECASE-2009-RakotondrabeR #metric
Presentation and improvement of an AFM-based system for the measurement of adhesion forces (MR, PR), pp. 585–590.
CHICHI-2009-HarrisonH09a #approach
Texture displays: a passive approach to tactile presentation (CH, SEH), pp. 2261–2264.
CHICHI-2009-LichtschlagKB #named
Fly: a tool to author planar presentations (LL, TK, JOB), pp. 547–556.
CHICHI-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.
CHICHI-2009-SchrammelLT #clustering #empirical #evaluation #semantics
Semantically structured tag clouds: an empirical evaluation of clustered presentation approaches (JS, ML, MT), pp. 2037–2040.
HCIHCI-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.
HCIHCI-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.
HCIHCI-NIMT-2009-IizukaY #case study
Experimental Study about Effect of Thermal Information Presentation to Mouse (SI, SY), pp. 444–450.
HCIHCI-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.
HCIHCI-NIMT-2009-YonemuraEK #effectiveness
Effectiveness of the Text Display in Bilingual Presentation of JSL/JT for Emergency Information (SY, SE, KK), pp. 761–769.
HCIHCI-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.
KEODKEOD-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.
ITiCSEITiCSE-2008-DicksonAH #automation
Automatic creation of indexed presentations from classroom lectures (PED, WRA, ARH), pp. 12–16.
LATALATA-2008-CainORT #automation
Automatic Presentations for Cancellative Semigroups (AJC, GPO, NR, RMT), pp. 149–159.
CHICHI-2008-JokelaLK #editing #mobile #multi
Mobile multimedia presentation editor: enabling creation of audio-visual stories on mobile devices (TJ, JL, HK), pp. 63–72.
CHICHI-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.
SOFTVISSOFTVIS-2008-Stasko #analysis #visualisation
Visualization for information exploration and analysis: keynote presentation (JTS), pp. 7–8.
CIKMCIKM-2008-ChenLYH #approach #effectiveness #graph #on the
On effective presentation of graph patterns: a structural representative approach (CC, CXL, XY, JH), pp. 299–308.
CIKMCIKM-2008-OzcanAU #query
Utilization of navigational queries for result presentation and caching in search engines (RO, ISA, ÖU), pp. 1499–1500.
SACSAC-2008-CollignonVC #editing #multi #user interface
An intelligent editor for multi-presentation user interfaces (BC, JV, GC), pp. 1634–1641.
IJCARIJCAR-2008-TourEN #equation #unification
Unification and Matching Modulo Leaf-Permutative Equational Presentations (TBdlT, ME, PN), pp. 332–347.
DATEDATE-2007-AngioliniJABM #design #fault tolerance #interactive
Interactive presentation: Improving the fault tolerance of nanometric PLA designs (FA, MHBJ, DA, LB, GDM), pp. 570–575.
DATEDATE-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.
DATEDATE-2007-BabighianKV #data mining #interactive #mining #optimisation
Interactive presentation: PowerQuest: trace driven data mining for power optimization (PB, GK, MYV), pp. 1078–1083.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-DabrowskiR #interactive
Interactive presentation: Boosting SER test for RF transceivers by simple DSP technique (JD, RR), pp. 719–724.
DATEDATE-2007-DevanathanRK #generative #interactive #testing
Interactive presentation: On power-profiling and pattern generation for power-safe scan tests (VRD, CPR, VK), pp. 534–539.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-FavalliM #detection #fault #interactive
Interactive presentation: Pulse propagation for the detection of small delay defects (MF, CM), pp. 1295–1300.
DATEDATE-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.
DATEDATE-2007-FummiPPQ #design #embedded #interactive #middleware
Interactive presentation: A middleware-centric design flow for networked embedded systems (FF, GP, RP, DQ), pp. 1048–1053.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-GlassLSHT #interactive #synthesis
Interactive presentation: Reliability-aware system synthesis (MG, ML, TS, CH, JT), pp. 409–414.
DATEDATE-2007-GongW #interactive #optimisation
Interactive presentation: System level power optimization of Sigma-Delta modulator (FG, XW), pp. 297–300.
DATEDATE-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.
DATEDATE-2007-HwangCR #interactive #process #scalability
Interactive presentation: Process tolerant beta-ratio modulation for ultra-dynamic voltage scaling (MEH, TC, KR), pp. 1550–1555.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-LinH #interactive #reduction #statistics
Interactive presentation: Statistical dual-Vdd assignment for FPGA interconnect power reduction (YL, LH), pp. 636–641.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-MeijerKTK #interactive #network #process
Interactive presentation: A process splitting transformation for Kahn process networks (SM, BK, AT, EAdK), pp. 1355–1360.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-NarayananHMCZ #classification #implementation #interactive
Interactive presentation: An FPGA implementation of decision tree classification (RN, DH, GM, ANC, JZ), pp. 189–194.
DATEDATE-2007-NepalBMPZ #design #interactive #multi
Interactive presentation: Techniques for designing noise-tolerant multi-level combinational circuits (KN, RIB, JLM, WRP, AZ), pp. 576–581.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-RaoOK #fault tolerance #interactive #logic
Interactive presentation: Logic level fault tolerance approaches targeting nanoelectronics PLAs (WR, AO, RK), pp. 865–869.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2007-SauerGD #composition #framework #interactive
Interactive presentation: Hard- and software modularity of the NOVA MPSoC platform (CS, MG, SD), pp. 1102–1107.
DATEDATE-2007-SchneiderSKW #interactive #simulation #statistics
Interactive presentation: Statistical simulation of high-frequency bipolar circuits (WS, MS, WK, HW), pp. 1397–1402.
DATEDATE-2007-Scholzel #clustering #interactive
Interactive presentation: Time-constrained clustering for DSE of clustered VLIW-ASP (MS), pp. 467–472.
DATEDATE-2007-SheldonVL #design #interactive #paradigm #using
Interactive presentation: Soft-core processor customization using the design of experiments paradigm (DS, FV, SL), pp. 821–826.
DATEDATE-2007-Srivastava #interactive #predict #scalability
Interactive presentation: Radix 4 SRT division with quotient prediction and operand scaling (NRS), pp. 195–200.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DocEngDocEng-2007-WildeC #html
Presenting in html (EW, PCC), pp. 35–36.
DRRDRR-2007-HarringtonW #documentation
Presentation of structured documents without a style sheet (SJH, EW).
CSEETCSEET-2007-HeilF #collaboration #development #effectiveness
Workshop on Developing Effective Teaming & Presentation Skills to Facilitate Collaborative Software Development (MRH, RJF), p. 357.
ITiCSEITiCSE-2007-MorenoMRI #education #interface #multi
Accessible interface for multimedia presentation in inclusive education (LM, PM, BRM, AI), p. 321.
CHICHI-2007-GirgensohnSTW #process
Effects of presenting geographic context on tracking activity between cameras (AG, FMSI, TT, LW), pp. 1167–1176.
CHICHI-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.
CHICHI-2007-WangJHDZ #clustering #image #named #semantics #web
IGroup: presenting web image search results in semantic clusters (SW, FJ, JH, QD, LZ), pp. 587–596.
HCIHCI-AS-2007-KikuchiHNK #evaluation #interface #web
Chat-Robot Based Web Content Presentation Interface and Its Evaluation (YK, KH, SN, MK), pp. 934–943.
HCIHCI-IPT-2007-ChenK
Displays Attentive to Unattended Regions: Presenting Information in a Peripheral-Vision-Friendly Way (MCC, RLK), pp. 23–31.
HCIHCI-IPT-2007-ChoH #recognition
Drawing Type Tactile Presentation for Tactile Letter Recognition (JHC, MH), pp. 798–807.
HCIHCI-MIE-2007-Goncalves #how #multi
How Panoramic Photography Changed Multimedia Presentations in Tourism (NG), pp. 862–871.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-MTT-2007-GundelsweilerMR #named #user interface
ZEUS — Zoomable Explorative User Interface for Searching and Object Presentation (FG, TM, HR), pp. 288–297.
HCIOCSC-2007-KimQ #community
Presentation Desire of Digital Identity in Virtual Community (HWK, EQ), pp. 96–105.
RecSysRecSys-2007-WinterboerM #recommendation
Evaluating information presentation strategies for spoken recommendations (AW, JDM), pp. 157–160.
RERE-2007-SeyffGGM #mobile #requirements
The Mobile Scenario Presenter: A Tool for in situ Requirements Discovery with Scenarios (NS, FG, PG, NAMM), pp. 365–366.
ICSEICSE-2007-ChengDS
Presentations by Programmers for Programmers (LTC, MD, MADS), pp. 788–792.
RTARTA-2007-TourE
Determining Unify-Stable Presentations (TBdlT, ME), pp. 63–77.
ASEASE-2006-Rajamani #automation #past present future
Automatic Property Checking for Software: Past, Present and Future (SKR), p. 12.
DocEngDocEng-2006-LumleyGR #layout
Resolving layout interdependency with presentational variables (JWL, RG, OR), pp. 95–97.
ITiCSEITiCSE-2006-GriswoldS #learning #performance #scalability #ubiquitous
Ubiquitous presenter: fast, scalable active learning for the whole classroom (WGG, BS), p. 358.
ITiCSEITiCSE-2006-TrontEP #named #tablet
WriteOn: a tool for classroom presentations on tablet PCs (JGT, VE, JCP), p. 352.
FoSSaCSFoSSaCS-2006-BonsangueK #equation
Presenting Functors by Operations and Equations (MMB, AK), pp. 172–186.
SEFMSEFM-2006-Rajamani #automation #past present future
Automatic Property Checking for Software: Past, Present and Future (SKR), pp. 18–20.
CHICHI-2006-RanjanBC
Searching in audio: the utility of transcripts, dichotic presentation, and time-compression (AR, RB, MHC), pp. 721–730.
ECIRECIR-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.
SACSAC-2006-EliasEC #consistency #multi
Dynamic consistency checking for temporal and spatial relations in multimedia presentations (SE, KSE, RC), pp. 1380–1384.
SACSAC-2006-OsorioK #analysis #behaviour
An initial analysis and presentation of malware exhibiting swarm-like behavior (FCCO, ZK), pp. 323–329.
SACSAC-2006-SansL #hypermedia #inheritance #navigation
Navigating with inheritance in hypermedia presentations (VS, DL), pp. 1385–1392.
CSLCSL-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.
DATEDATE-2005-Holt #past present future
Wireless LAN: Past, Present, and Future (KH), pp. 92–93.
ITiCSEITiCSE-2005-TurbanRT
Bridging media breaks in presence presentations (GT, GR, CT), p. 377.
IWPCIWPC-2005-MurrayL #comprehension
Presenting Micro-Theories of Program Comprehension in Pattern Form (AM, TCL), pp. 45–54.
IWPCIWPC-2005-Storey #comprehension #past present future #tool support
Theories, Methods and Tools in Program Comprehension: Past, Present and Future (MADS), pp. 181–191.
MODELSMoDELS-2005-Kimelman #architecture #research
Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.
MODELSMoDELS-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.
MODELSMoDELS-2005-Vieira #case study #experience #generative #modelling #testing
Invited Presentation II: Experiences in Applying Model Based System Testing Generation (MV), p. 430.
MODELSMoDELS-2005-Kimelman #architecture #research
Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.
MODELSMoDELS-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.
MODELSMoDELS-2005-Vieira #case study #experience #generative #modelling #testing
Invited Presentation II: Experiences in Applying Model Based System Testing Generation (MV), p. 430.
SOSPSOSP-2005-JoshiKDC #detection
Detecting past and present intrusions through vulnerability-specific predicates (AJ, STK, GWD, PMC), pp. 91–104.
DocEngDocEng-2004-GancarskiH #documentation #xml
Presenting the results of relevance-oriented search over XML documents (ALG, PRH), pp. 31–33.
DRRDRR-2004-Henzinger #future of #information retrieval #past present future #web
The past, present, and future of web information retrieval (MRH), pp. 23–26.
HTHT-2004-MacedoCCIP #interactive
Interaction alternatives for linking everyday presentations (AAM, JACG, RGC, VRIJ, MdGCP), pp. 112–113.
PODSPODS-2004-Henzinger #future of #information retrieval #past present future #web
The Past, Present and Future of Web Information Retrieval (MRH), p. 46.
ICALPICALP-2004-Henzinger #future of #past present future #web
The Past, Present, and Future of Web Search Engines (MRH), p. 3.
ICFPICFP-2004-FindlerF #functional #named
Slideshow: functional presentations (RBF, MF), pp. 224–235.
CHICHI-2004-AndersonHWA #case study
A study of digital ink in lecture presentation (RJA, CH, SAW, REA), pp. 567–574.
LSOLSO-2004-HolzM #learning #past present future #research
Research on Learning Software Organizations — Past, Present, and Future (HH, GM), pp. 1–6.
SACSAC-2004-FialaHHF #adaptation #component #design #implementation #web
Design and implementation of component-based adaptive Web presentations (ZF, MH, GJH, FF), pp. 1698–1704.
ICDARICDAR-2003-Bunke #past present future #recognition
Recognition of Cursive Roman Handwriting — Past, Present and Future (HB), p. 448–?.
ITiCSEITiCSE-2003-AndersonAVWY #tablet
Classroom presentation from the tablet PC (RJA, REA, TV, SAW, KY), p. 238.
ITiCSEITiCSE-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.
FMFME-2003-SawadaKF #future of #implementation #past present future
Past, Present, and Future of SRA Implementation of CafeOBJ: Annex (TS, KK, KF), pp. 7–17.
ICTSSTestCom-2003-GecseD
An Intuitive TTCN-3 Data Presentation Format (RG, SD), pp. 63–78.
DATEDATE-2002-OttenCG #automation #design
Design Automation for Deepsubmicron: Present and Future (RHJMO, RC, PG), pp. 650–657.
DocEngDocEng-2002-BesR #multi #pretty-printing #process
A presentation language for controlling the formatting process in multimedia presentations (FB, CR), pp. 2–9.
CAiSECAiSE-2002-AdibaZ #multi #web
Building Spatio-Temporal Presentations Warehouses from Heterogeneous Multimedia Web Servers (MEA, JLZM), pp. 692–696.
ICEISICEIS-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.
SEKESEKE-2002-CelentanoG #automation #generative #modelling #multi
Schema modelling for automatic generation of multimedia presentations (AC, OG), pp. 593–600.
SIGIRSIGIR-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.
PPDPPPDP-2002-FissoreGK #induction #proving #termination
System Presentation — CARIBOO: An induction based proof tool for termination with strategies (OF, IG, HK), pp. 62–73.
SACSAC-2002-JohoCSB
Hierarchical presentation of expansion terms (HJ, CC, MS, MHB), pp. 645–649.
ASEASE-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.
DocEngDocEng-2001-SampaioLC #consistency #documentation #ide
An integrated environment for the presentation of consistent SMIL 2.0 documents (PNMS, CL, JPC), pp. 115–124.
DocEngDocEng-2001-Villard #adaptation #authoring #multi
Authoring transformations by direct manipulation for adaptable multimedia presentations (LV), pp. 125–134.
HTHT-2001-Francisco-RevillaSFKA #hypermedia
Perception of content, structure, and presentation changes in Web-based hypertext (LFR, FMSI, RF, UK, AA), pp. 205–214.
VLDBVLDB-2001-MaedaT #adaptation #named #using
ACTIVIEW: Adaptive data presentation using SuperSQL (YM, MT), pp. 695–696.
CHICHI-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.
VISSOFTSVIS-2001-HundhausenD #algorithm #visualisation
A Language and System for Constructing and Presenting Low Fidelity Algorithm Visualizations (CDH, SAD), pp. 227–240.
ICEISICEIS-v1-2001-TaitP #architecture #information management
Presentation of an Information Systems Architecture Model for Public Sector (TFCT, RCSP), pp. 275–278.
SEKESEKE-2001-Chang #multi #re-engineering
A Special Presentation on Multimedia Software Engineering (SKC), p. 346.
TOOLSTOOLS-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.
HTHT-2000-RutledgeBOHG #constraints #generative
Generating presentation constraints from rhetorical structure (LR, BB, JvO, LH, JG), pp. 19–28.
ITiCSEITiCSE-2000-YooSLL #education
Present status and direction of information curriculum of Korea (IHY, SBS, CHL, TWL), p. 195.
WLCWLC-2000-Inata #monad
Presentations of Right Unitary Submonoids of Monoids (II), pp. 222–227.
WLCWLC-2000-LombardyS #on the
On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.
CHICHI-2000-BoreczkyGGU #interactive #video
An interactive comic book presentation for exploring video (JSB, AG, GG, SU), pp. 185–192.
CHICHI-2000-HeSGG #summary
Comparing presentation summaries: slides vs. reading vs. listening (LH, ES, AG, JG), pp. 177–184.
CHICHI-2000-JanckeGG #design
Presenting to local and remote audiences: design and use of the TELEP system (GJ, JG, AG), pp. 384–391.
CSCWCSCW-2000-HeGG #design #on-demand
Designing presentations for on-demand viewing (LH, JG, AG), pp. 127–134.
ICPRICPR-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.
ICPRICPR-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.
SIGIRSIGIR-2000-HurstMM #information retrieval #multi
Multimedia information retrieval from recorded presentations (WH, RM, CM), pp. 339–341.
TOOLSTOOLS-PACIFIC-2000-Diskin #modelling #on the
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000) (ZD), pp. 182–189.
SACSAC-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.
ICSEICSE-2000-Booch #future of
The future of software (abstract of invited presentation) (GB), p. 3.
ICSEICSE-2000-Castells
Is the new economy socially sustainable? (abstract of invited presentation) (MC), p. 2.
ICSEICSE-2000-Horn
Dot com versus bricks and mortar — the impact of portal technology (abstract of invited presentation) (CH), p. 4.
ICLPCL-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.
SIGMODSIGMOD-1999-AdaliSS #algebra #multi
A Multimedia Presentation Algebra (SA, MLS, VSS), pp. 121–132.
AGTIVEAGTIVE-1999-DrewesK #named
TREEBAG — a Short Presentation (FD, PK), pp. 411–417.
CHICHI-1999-NelsonIPA #interface #named
Palette: A Paper Interface for Giving Presentations (LN, SI, ERP, LA), pp. 354–361.
CHICHI-1999-StewartBD #collaboration
Single Display Groupware: A Model for Co-Present Collaboration (JS, BBB, AD), pp. 286–293.
HCIHCI-CCAD-1999-Andre #multi #personalisation #towards
Towards personalized multimedia presentation systems for all (EA), pp. 873–877.
HCIHCI-EI-1999-CastellsS #interface #named
HandsOn: Dynamic Interface Presentations by Example (PC, PAS), pp. 1288–1292.
HCIHCI-EI-1999-RistH #adaptation #generative #visual notation
Adaptive Generation of Graphical Information Presentations in a Heterogeneous Telecooperation Environment (TR, MH), pp. 331–335.
HCIHCI-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.
AdaSIGAda-1999-Balfour #corba
The current state of CORBA (invited presentation) (BB), p. 223.
ICEISICEIS-1999-Bakker #data type
Advantages of a Hierarchical Presentation of Data Structures (JAB), pp. 173–182.
SIGIRSIGIR-1999-KretserM #documentation #effectiveness #heuristic #similarity
Effective Document Presentation with a Locality-Based Similarity Heuristic (OdK, AM), pp. 113–120.
SACSAC-1999-MocellinM #aspect-oriented #behaviour #modelling #multi #using
Modelling Behavioral Aspects of Multimedia Presentations Using an Active Object DBMS (FM, HM), pp. 450–454.
CADECADE-1999-Horacek #proving
Presenting Proofs in a Human-Oriented Way (HH), pp. 142–156.
CSLCSL-1999-AltenkirchR #induction #monad #using
Monadic Presentations of λ Terms Using Generalized Inductive Types (TA, BR), pp. 453–468.
SIGMODSIGMOD-1998-Toyama #database #named #sql
SuperSQL: An Extended SQL for Database Publishing and Presentation (MT), pp. 584–586.
ITiCSEITiCSE-1998-BorstlerJ #education #research #student
The students conference — a tool for the teaching of research, writing, and presentation skills (JB, OJ), pp. 28–31.
ITiCSEITiCSE-1998-Makkonen
WWW-based presentations as a complementary part of conventional lectures in the basic of informatics (PM), pp. 162–165.
SIGIRSIGIR-1998-ChenH #web
Presenting Web Site Search Results in Context: A Demonstration (MC, MAH), p. 381.
TOOLSTOOLS-USA-1998-Li #java #virtual machine
Java Virtual Machine — Present and Near Future (QL), p. 480.
RTARTA-1998-OttoSM #automation #convergence #finite #monad
Automatic Monoids Versus Monoids with Finite Convergent Presentations (FO, ASK, KM), pp. 32–46.
ITiCSEITiCSE-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.
ITiCSEITiCSE-WGR-1997-SajaniemiK97a #education #named
SHOW: a system for the presentation of three-level teaching material during lectures (demonstration) (JS, MK), p. 153.
CHICHI-1997-FaradayS #design #effectiveness #multi
Designing Effective Multimedia Presentations (PF, AGS), pp. 272–278.
HCIHCI-CC-1997-GrinchenkoSLM #integration
Integration of Ukraine into Informational World Space: WWW Presentation Systems (TG, AAS, AL, VM), pp. 109–112.
HCIHCI-SEC-1997-AndreMR #interface
Computer-Generated Presentation Scripts for Life-Like Interface Agents (EA, JM, TR), pp. 643–646.
HCIHCI-SEC-1997-HainesDRH
Information Presentation and Control in a Modern Air Traffic Control Tower Simulator (RFH, SD, BR, SH), pp. 209–212.
HCIHCI-SEC-1997-ShinYY #authoring #documentation #multi #parsing #using
Presentation Jockey: Multimedia Authoring System Using Structured Document Parsing (HSS, WJY, KJY), pp. 659–662.
HCIHCI-SEC-1997-UchiyamaYKT #3d #geometry #interactive
Presentation and Interaction of Virtual 3D Objects Without Geometrical Model (SU, HY, AK, HT), pp. 869–872.
TOOLSTOOLS-ASIA-1997-ChenWP #approach #multi #object-oriented
Intelligent Multimedia Presentation System: An Object-Oriented Approach (YC, ZW, YP), pp. 304–309.
ICSEICSE-1997-Royce #development #metric
Pragmatic Software Metrics for Iterative Development (Presentation) (WR), p. 585.
RTARTA-1997-OttoKK #decidability #monad #problem #word
Cross-Sections for Finitely Presented Monoids with Decidable Word Problems (FO, MK, YK), pp. 53–67.
RTARTA-1997-Sattler-Klein #monad
New Undecidablility Results for Finitely Presented Monoids (ASK), pp. 68–82.
WCREWCRE-1996-ChaseHRY #analysis #architecture
Analysis and Presentation of Recovered Software Architectures (MPC, DRH, SNR, ASY), pp. 153–162.
WPCWPC-1996-BailesBCJ #ada
Derivation and Presentation of an Abstract Program Space for Ada (PAB, PB, MC, DBJ), p. 230–?.
CHICHI-1996-MarxS #named #navigation
MailCall: Message Presentation and Navigation in a Nonvisual Environment (MM, CS), pp. 165–172.
ICSEICSE-1996-DeMarco #development #past present future
The Role of Software Development Methodologies: Past, Present, and Future (TD), pp. 2–4.
HPDCHPDC-1996-HafidBK #distributed #multi #quality
A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications (AH, GvB, BK), pp. 330–339.
CADECADE-1996-BertotB #named
CtCoq: A System Presentation (JB, YB), pp. 231–234.
CADECADE-1996-HuangF #proving
Presenting Machine-Found Proofs (XH, AF), pp. 221–225.
CADECADE-1996-Martin #proving #theorem proving
Theorem Proving with Group Presentations: Examples and Questions (UM), pp. 358–372.
CSLCSL-1996-Otto #invariant #logic
The Logic of Explicitly Presentation-Invariant Circuits (MO), pp. 369–384.
CSEETCSEE-1995-MalyRWLOORSP #past present future
Computer Productivity Initiative: Past, Present, Future (KM, DER, JCW, IBL, SO, CMO, NSVR, DS, GP), pp. 15–29.
CHICHI-1995-IsaacsMRT #comparison #distributed
Comparison of Face-To-Face and Distributed Presentations (EI, TM, TKR, JCT), pp. 354–361.
SEKESEKE-1995-MiyaoC #towards
Toward Uniform Presentation of Software Dynamics (JM, SKC), p. 295.
SEKESEKE-1995-Roman #named #visualisation
Panelists: Software Visualization through Active Presentation (GCR), p. 292.
RERE-1995-HughesORRS #process #requirements
Presenting ethnography in the requirements process (JAH, JO, TR, MR, IS), pp. 27–39.
ASF+SDFASF+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.
LICSLICS-1995-PalmgrenS
Logically Presented Domains (EP, VSH), pp. 455–463.
VLDBVLDB-1994-Bernstein #database
PC Database Systems — Present and Future (PAB), p. 754.
ICALPICALP-1994-HintermeierKK #dynamic typing #equation #order
Dynamically-Typed Computations for Order-Sorted Equational Presentations (CH, CK, HK), pp. 450–461.
FMFME-1994-DukeH #formal method
A Theory of Presentations (DJD, MDH), pp. 271–290.
CHICHI-1994-MynattW94a #user interface #visual notation
Nonvisual presentation of graphical user interfaces: contrasting two approaches (EDM, GW), pp. 166–172.
CHICHI-1994-RothKMG94a #automation #design #interactive #using
Interactive graphic design using automatic presentation knowledge (SFR, JK, JM, JG), pp. 112–117.
CHICHI-1994-SutcliffeF94a #design #interface #multi
Designing presentation in multimedia interfaces (AGS, PF), pp. 92–98.
CSCWCSCW-1994-IsaacsMR #distributed #interactive
A Forum for Supporting Interactive Presentations to Distributed Audiences (EI, TM, TKR), pp. 405–416.
TOOLSTOOLS-EUROPE-1994-Hopkins #smalltalk
Smalltalk Essentials Presentation (TPH), p. 441.
TOOLSTOOLS-EUROPE-1994-McKim #eiffel
Eiffel Essentials Presentation (JCM), p. 333.
HCIHCI-ACS-1993-BextenHM #analysis #named #simulation
AUCA: A Tool for Presentation and Analysis of Simulation Results (EMzB, DH, CM), pp. 267–272.
HCIHCI-SHI-1993-Graf #constraints #layout #multi #named
LAYLAB — A Constraint-Based Layout Manager for Multimedia Presentations (WG), pp. 446–451.
HCIHCI-SHI-1993-LeungA #taxonomy #visual notation
A Taxonomy of Distortion-Oriented Techniques for Graphical Data Presentation (YKL, MDA), pp. 104–109.
HCIHCI-SHI-1993-Reiss #3d #editing
Presentation and Editing of Structured 3-D Graphics (SPR), pp. 397–402.
HCIHCI-SHI-1993-RistA #design #multi
Designing Coherent Multimedia Presentations (TR, EA), pp. 434–439.
HCIHCI-SHI-1993-TamuraCS #image #speech
Effect of Image Presentation to the Cognition of Plural Speech (HT, YC, YS), pp. 62–67.
CHIINTERCHI-1993-KimF #design #user interface
Providing high-level control and expert assistance in the user interface presentation design (WCK, JDF), pp. 430–437.
DACDAC-1992-KahnG #design
The Electronic Design Interchange Format EDIF: Present and Future (HJK, RG), pp. 666–671.
HTHT-ECHT-1992-MuzzolonB #artificial reality
Virtual Reality: Present and Future (Demonstration) (PM, PB), p. 294.
CHICHI-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.
AdaTRI-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.
ICSEICSE-1992-Tichy #in the large #named #past present future
Programming-in-the-Large: Past, Present, and Future (WFT), pp. 362–367.
ICALPICALP-1991-MadlenerNO #monad #string #term rewriting
A Specialized Completion Procedure for Monadic String-Rewriting Systems Presenting Groups (KM, PN, FO), pp. 279–290.
FMVDME-1991-1-DickL #specification #visual notation
The Visual Presentation of VDM Specifications (JD, JL), pp. 670–671.
CHICHI-1991-Cypher91a #programming #video
Video presentation Eager: programming repetitive tasks by example (AC), pp. 445–446.
KDDKDD-1991-Piatetsky #analysis
Discovery, Analysis, and Presentation of Strong Rules (GPS), pp. 229–248.
ICTSSIWPTS-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.
ICGTGG-1990-Schurr #incremental
Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENvironment (AS), p. 66.
ICGTGG-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.
CHICHI-1990-RothM
Data characterization for intelligent graphics presentation (SFR, JM), pp. 193–200.
POPLPOPL-1990-HeintzeJ #approximate #finite #logic programming #source code #theorem
A Finite Presentation Theorem for Approximating Logic Programs (NH, JJ), pp. 197–209.
CADECADE-1990-PfenningN #deduction #symmetry
Presenting Intuitive Deductions via Symmetric Simplification (FP, DN), pp. 336–350.
HTHT-1989-MarshallI #how #hypermedia #online
Guided Tours and On-Line Presentations: How Authors Make Existing Hypertext Intelligible for Readers (CCM, PMI), pp. 15–26.
ECOOPECOOP-1989-Deutsch #future of #past present future #smalltalk
The Past, Present and Future of Smalltalk (LPD), pp. 73–87.
RTARTA-1987-MadlenerO #finite #string #term rewriting
Groups Presented by Certain Classes of Finite Length-Reducing String-Rewriting Systems (KM, FO), pp. 133–144.
RTARTA-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.
SIGMODSIGMOD-1986-ChrstodoulakisHT #approach #multi #symmetry
The Multimedia Object Presentation Manager of MINOS: A Symmetric Approach (SC, FH, MT), pp. 295–310.
SIGIRSIGIR-1986-GibbsT #documentation #query
Document Presentation and Query Formulation in Muse (SJG, DT), pp. 23–30.
RTARTA-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.
RTARTA-1985-Otto #algebra #finite #monad
Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems (FO), pp. 95–106.
CADECADE-1984-Chenadec #algebra #canonical
Canonical Forms in Finitely Presented Algebras (PlC), pp. 142–165.
VLDBVLDB-1983-WilsonDDD #multi
The Multipurpose Presentation System (GAW, EAD, ELD, JSD), pp. 56–69.
AdaAda-1983-Butler #past present future
Diana Past, Present, and Future (KJB), pp. 3–22.
DACDAC-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.
ICALPICALP-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.
ICSEICSE-1979-Vick #on the #past present future #re-engineering #tool support
On Software Engineering Tools: Past, Present and Future (CRV), p. 52.
ICSEICSE-1978-Scott #architecture #functional
An Engineering Methodology for Presenting Software Functional Architecture (LRS), pp. 222–229.
STOCSTOC-1977-Kozen #algebra #complexity
Complexity of Finitely Presented Algebras (DK), pp. 164–177.
DACDAC-1975-GiuglianoB #automation #design #layout
Present and future on P.C.B. layout design automation system at SIT-Siemens (AG, FB), pp. 134–143.
DACDAC-1973-KitamuraW #automation #design
Present and future in design automation systems (TK, TW), pp. 222–227.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.