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:
model (29)
base (20)
design (19)
user (18)
system (18)

Stem beyond$ (all stems)

352 papers:

PODSPODS-2015-KhamisNRR #geometry #worst-case
Joins via Geometric Resolutions: Worst-case and Beyond (MAK, HQN, CR, AR), pp. 213–228.
PODSPODS-2015-Ullman #linear #multi #query
Private Multiplicative Weights Beyond Linear Queries (JU), pp. 303–312.
SANERSANER-2015-LeL #metric #mining #rule-based #specification
Beyond support and confidence: Exploring interestingness measures for rule-based specification mining (TDBL, DL), pp. 331–340.
STOCSTOC-2015-KawarabayashiS #approximate #graph
Beyond the Euler Characteristic: Approximating the Genus of General Graphs (KiK, AS), pp. 675–682.
STOCSTOC-2015-ZhuLO #matrix #multi
Spectral Sparsification and Regret Minimization Beyond Matrix Multiplicative Updates (ZAZ, ZL, LO), pp. 237–245.
CHICHI-2015-EntwistleRVBA #framework #human-computer #research
Beyond the Individual: The Contextual Wheel of Practice as a Research Framework for Sustainable HCI (JME, MKR, NV, RSB, MSA), pp. 1125–1134.
CHICHI-2015-GreenBNSBCSWO
Beyond Participatory Production: Digitally Supporting Grassroots Documentary (DPG, SJB, CN, GS, TB, CC, AS, PCW, PO), pp. 3157–3166.
CHICHI-2015-IacovidesC #experience #game studies
Moving Beyond Fun: Evaluating Serious Experience in Digital Games (II, ALC), pp. 2245–2254.
CHICHI-2015-KendallMT #health #metric
Blood Pressure Beyond the Clinic: Rethinking a Health Metric for Everyone (LK, DM, DST), pp. 1679–1688.
CHICHI-2015-StawarzCB #design #self #smarttech
Beyond Self-Tracking and Reminders: Designing Smartphone Apps That Support Habit Formation (KS, ALC, AB), pp. 2653–2662.
CHICHI-2015-YunASLZL #automation #online
Beyond Eco-Feedback: Adding Online Manual and Automated Controls to Promote Workplace Sustainability (RY, AA, PS, BL, CZ, VL), pp. 1989–1992.
HCIDUXU-UI-2015-Passera #contract #design #how
Beyond the Wall of Text: How Information Design Can Make Contracts User-Friendly (SP), pp. 341–352.
HCIHCI-IT-2015-MeleMR #communication #predict #type system #user interface
Beyond Direct Gaze Typing: A Predictive Graphic User Interface for Writing and Communicating by Gaze (MLM, DM, CER), pp. 66–77.
ECIRECIR-2015-Moghaddam #analysis #fault #feedback #mining #sentiment
Beyond Sentiment Analysis: Mining Defects and Improvements from Customer Feedback (SM), pp. 400–410.
KDDKDD-2015-ElenbergSBD #distributed #framework #graph #scalability
Beyond Triangles: A Distributed Framework for Estimating 3-profiles of Large Graphs (ERE, KS, MB, AGD), pp. 229–238.
RecSysRecSys-2015-JannachLK #continuation #generative #music
Beyond “Hitting the Hits”: Generating Coherent Music Playlist Continuations with the Right Tracks (DJ, LL, IK), pp. 187–194.
MoDELSMoDELS-2015-Moawad0FNKT #modelling #performance
Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
SACSAC-2015-RodriguesMSS #3d #education #game studies #interactive
Beyond fun: an interactive and educational 3D traffic rules game controlled by non-traditional devices (MAFR, DVdM, YRS, YRS), pp. 239–246.
ASPLOSASPLOS-2015-ChisnallRWWVMRD #architecture #automaton #c
Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine (DC, CR, RNMW, JW, MV, SWM, MR, BD, PGN), pp. 117–130.
LICSLICS-2015-ClementeR #multi #problem #worst-case
Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives (LC, JFR), pp. 257–268.
DACDAC-2014-OderPG
Beyond ECDSA and RSA: Lattice-based Digital Signatures on Constrained Devices (TO, TP, TG), p. 6.
DACDAC-2014-YuP #composition #layout
Layout Decomposition for Quadruple Patterning Lithography and Beyond (BY, DZP), p. 6.
DATEDATE-2014-ChenTCC #effectiveness
Cost-effective decap selection for beyond die power integrity (YEC, THT, SHC, HMC), pp. 1–4.
DATEDATE-2014-NarayananDCCLW #using #video
Video analytics using beyond CMOS devices (VN, SD, GC, DMC, SPL, PW), pp. 1–5.
PODSPODS-2014-NgoNRR #analysis #worst-case
Beyond worst-case analysis for joins with minesweeper (HQN, DTN, CR, AR), pp. 234–245.
SIGMODSIGMOD-2014-LevandoskiLSBD #hardware
Indexing on modern hardware: hekaton and beyond (JJL, DBL, SS, AB, CD), pp. 717–720.
VLDBVLDB-2015-ThirumuruganathanRAD14 #mining
Beyond Itemsets: Mining Frequent Featuresets over Structured Items (ST, HR, SA, GD), pp. 257–268.
ESOPESOP-2014-Fu #abstraction #analysis #memory management
Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.
ICALPICALP-v1-2014-CaiGW #algorithm #artificial reality
Holographic Algorithms Beyond Matchgates (JYC, HG, TW), pp. 271–282.
ICALPICALP-v2-2014-0002HKSV #independence #online #set #worst-case
Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods (OG, MH, TK, TS, BV), pp. 508–519.
CHICHI-2014-BreretonRSH #design #research
Beyond ethnography: engagement and reciprocity as foundations for design research out here (MB, PR, RS, ALH), pp. 1183–1186.
CSCWCSCW-2014-MatthewsWBS #collaboration #community #social #tool support
Beyond end user content to collaborative knowledge mapping: interrelations among community social tools (TM, SW, HB, BAS), pp. 900–910.
CSCWCSCW-2014-MorganGMZ #editing
Editing beyond articles: diversity & dynamics of teamwork in open collaborations (JTM, MG, DWM, MZ), pp. 550–563.
HCIDHM-2014-Delgado-GonzaloRCSLBL #algorithm #embedded #energy #modelling #state of the art
Human Energy Expenditure Models: Beyond State-of-the-Art Commercialized Embedded Algorithms (RDG, PR, EMC, JS, CL, MB, ML), pp. 3–14.
HCIDUXU-DI-2014-HesseyCW #gesture #multi #user interface
Beyond Fingers and Thumbs — A Graceful Touch UI — Elegant Multi-touch and Gesture UI with Context Dependent Prompting (SH, SHC, CW), pp. 562–573.
HCIDUXU-DI-2014-MullingLC #android #design #gesture #interactive #interface
Gestural Interfaces Touchscreen: Thinking Interactions beyond the Button from Interaction Design for Gmail Android App (TM, CL, AC), pp. 279–288.
HCIDUXU-DI-2014-WojdziakG #3d #approach #design #interface #modelling
Beyond Perspective — A Model-Based Approach for Camera-Based 3D-Interface Design (JW, RG), pp. 488–498.
HCIDUXU-DP-2014-GomezH #case study #design #experience #roadmap #smarttech
Beyond Wearables: Experiences and Trends in Design of Portable Medical Devices (RG, AH), pp. 261–272.
HCIHCI-AIMT-2014-WuttkeH #social
Beyond Presentation — Employing Proactive Intelligent Agents as Social Catalysts (MW, MH), pp. 182–190.
HCIHIMI-DE-2014-TavaresB #interactive #user interface #visualisation
A Step Beyond Visualization: Applying User Interface Techniques to Improve Satellite Data Interaction (TAT, HB), pp. 98–107.
HCISCSM-2014-SolingerHHFL #approach #facebook #multi #predict #social #social media
Beyond Facebook Personality Prediction: — A Multidisciplinary Approach to Predicting Social Media Users’ Personality (CS, LMH, SHH, RF, CL), pp. 486–493.
CAiSECAiSE-2014-SkoulisVZ #database #evolution #open source #question
Open-Source Databases: Within, Outside, or Beyond Lehman’s Laws of Software Evolution? (IS, PV, AZ), pp. 379–393.
KRKR-2014-HaanS #complexity #problem #reasoning
The Parameterized Complexity of Reasoning Problems Beyond NP (RdH, SS).
RecSysRecSys-2014-Christakopoulou #independence #recommendation
Moving beyond linearity and independence in top-N recommender systems (EC), pp. 409–412.
RecSysRecSys-2014-YiHZLR #personalisation
Beyond clicks: dwell time for personalization (XY, LH, EZ, NNL, SR), pp. 113–120.
SACSAC-2014-ShangHHCK #personalisation #recommendation #towards
Beyond personalization and anonymity: towards a group-based recommender system (SS, YH, PH, PC, SRK), pp. 266–273.
FSEFSE-2014-SwansonCDGF #adaptation #configuration management #self
Beyond the rainbow: self-adaptive failure avoidance in configurable systems (JS, MBC, MBD, BJG, JF), pp. 377–388.
HPCAHPCA-2014-ZhaoVZLZ0 #memory management #specification
Over-clocked SSD: Safely running beyond flash memory chip I/O clock specs (KZ, KSV, XZ, JL, NZ, TZ), pp. 536–545.
PPoPPPPoPP-2014-Olukotun #domain-specific language #parallel #programming
Beyond parallel programming with domain specific languages (KO), pp. 179–180.
ICSTICST-2014-PapadakisHT #analysis #combinator #interactive #mutation testing #testing
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.
DACDAC-2013-CongX #fault #programmable
Defect tolerance in nanodevice-based programmable interconnects: utilization beyond avoidance (JC, BX), p. 8.
DATEDATE-2013-BeerGCCZ #challenge #metric #simulation
Metastability challenges for 65nm and beyond: simulation and measurements (SB, RG, JC, TC, DMZ), pp. 1297–1302.
DocEngDocEng-2013-VielMPT #bound
Go beyond boundaries of iTV applications (CCV, ELM, MdGCP, CACT), pp. 263–272.
DocEngDocEng-2013-YelogluMZ #clustering #concept #documentation #wiki
Beyond term clusters: assigning Wikipedia concepts to scientific documents (OY, EEM, ANZH), pp. 233–234.
VLDBVLDB-2013-SchalerGSSKS #named
QuEval: Beyond high-dimensional indexing a la carte (MS, AG, RS, SS, VK, GS), pp. 1654–1665.
ITiCSEITiCSE-2013-SettleGB
Beyond computer science: computational thinking across disciplines (AS, DSG, VB), pp. 311–312.
STOCSTOC-2013-CheungCD
Tatonnement beyond gross substitutes?: gradient descent to the rescue (YKC, RC, NRD), pp. 191–200.
STOCSTOC-2013-HardtR #analysis #worst-case
Beyond worst-case analysis in private singular vector computation (MH, AR), pp. 331–340.
DLTDLT-J-2012-HolzerJ13 #automaton #equivalence #fault
From Equivalence to Almost-Equivalence, and beyond: Minimizing Automata with Errors (MH, SJ), pp. 1083–1098.
DLTDLT-2013-Jez #equation #named #word
Recompression: Word Equations and Beyond (AJ), pp. 12–26.
ICALPICALP-v2-2013-BartheO #composition #difference #logic #privacy #probability #relational #source code #theorem
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (GB, FO), pp. 49–60.
CHICHI-2013-Feinberg13a #concept #human-computer #physics
Beyond digital and physical objects: the intellectual work as a concept of interest for HCI (MF), pp. 3317–3326.
CHICHI-2013-HakanssonS #product line
Beyond being green: simple living families and ICT (MH, PS), pp. 2725–2734.
CHICHI-2013-LiaoF #interactive #topic
Beyond the filter bubble: interactive effects of perceived threat and topic involvement on selective exposure to information (QVL, WTF), pp. 2359–2368.
CHICHI-2013-Salvucci #interactive #predict
Distraction beyond the driver: predicting the effects of in-vehicle interaction on surrounding traffic (DDS), pp. 3131–3134.
CSCWCSCW-2013-QuinonesTL #design
Appropriation by unanticipated users: looking beyond design intent and expected use (PAQ, SDT, SL), pp. 1515–1526.
CSCWCSCW-2013-RollandL #collaboration #reliability #research #reuse #trust
Beyond trust and reliability: reusing data in collaborative cancer epidemiology research (BR, CPL), pp. 435–444.
HCIDUXU-CXC-2013-SturmSG #locality #performance
Localization beyond National Characteristics: The Impact of Language on Users’ Performance with Different Menu Structures (CS, GS, SG), pp. 105–114.
HCIDUXU-PMT-2013-Evans #bibliography #online
Beyond Satisfaction Questionnaires: “Hacking” the Online Survey (ALE), pp. 222–231.
HCIDUXU-WM-2013-SpinilloS #comprehension #usability
Beyond Comprehension: A Usability Study on User Instruction Manual for Stove with Steam Function (CGS, KCASS), pp. 441–449.
HCIDUXU-WM-2013-Velez-RojasMRGK #enterprise #network #visualisation
Looking beyond the Single Pane of Glass: Visualization and Perspective in Enterprise Network (MCVR, SM, MR, SG, EK), pp. 581–590.
CIKMCIKM-2013-ChuklinSR #modelling
Modeling clicks beyond the first result page (AC, PS, MdR), pp. 1217–1220.
KDDKDD-2013-MontgomerySCM #experience #predict
Experience from hosting a corporate prediction market: benefits beyond the forecasts (TAM, PMS, MJC, PEM), pp. 1384–1392.
KDDKDD-2013-Ramakrishnan
Scale-out beyond map-reduce (RR), p. 1.
KDDKDD-2013-RamanSGJ #big data #pipes and filters
Beyond myopic inference in big data pipelines (KR, AS, JG, TJ), pp. 86–94.
RecSysRecSys-2013-Adamopoulos #predict #rating #recommendation
Beyond rating prediction accuracy: on new perspectives in recommender systems (PA), pp. 459–462.
RecSysRecSys-2013-PizzatoB #network #people #recommendation #social
Beyond friendship: the art, science and applications of recommending people to people in social networks (LAP, AB), pp. 495–496.
SIGIRSIGIR-2013-Belem #recommendation
Beyond relevance: on novelty and diversity in tag recommendation (FB), p. 1140.
ICSEICSE-2013-CordySHL #model checking #multi #product line
Beyond boolean product-line model checking: dealing with feature attributes and multi-features (MC, PYS, PH, AL), pp. 472–481.
LICSLICS-2013-FacchiniMS #automaton #problem
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata (AF, FM, MS), pp. 499–508.
RTARTA-2013-WinklerZM #automation #proving #sequence #termination
Beyond Peano Arithmetic — Automatically Proving Termination of the Goodstein Sequence (SW, HZ, AM), pp. 335–351.
DATEDATE-2012-HsuingCG
Salvaging chips with caches beyond repair (HH, BC, SKG), pp. 1263–1268.
DATEDATE-2012-TorresAGPR #benchmark #metric
Beyond CMOS — benchmarking for future technologies (CMST, JA, MWMG, RMP, WR), pp. 129–134.
HTHT-2012-JainHVYS #detection #linked data #open data
Moving beyond SameAs with PLATO: partonomy detection for linked data (PJ, PH, KV, PZY, APS), pp. 33–42.
VLDBVLDB-2012-EberiusTBL #named #open data #web
DrillBeyond: Enabling Business Analysts to Explore the Web of Open Data (JE, MT, KB, WL), pp. 1978–1981.
ITiCSEITiCSE-2012-MillerR #interactive #towards
Beyond PDF and ePub: toward an interactive textbook (BNM, DR), pp. 150–155.
WCREWCRE-2012-TrudelFNMO #c
C to O-O Translation: Beyond the Easy Stuff (MT, CAF, MN, BM, MO), pp. 19–28.
DLTDLT-2012-HolzerJ #automaton #equivalence #fault
From Equivalence to Almost-Equivalence, and Beyond — Minimizing Automata with Errors — (Extended Abstract) (MH, SJ), pp. 190–201.
CHICHI-2012-FindlaterLW #gesture #multi
Beyond QWERTY: augmenting touch screen keyboards with multi-touch gestures for non-alphanumeric input (LF, BL, JOW), pp. 2679–2682.
CHICHI-2012-PierceP #energy #interactive #monitoring
Beyond energy monitors: interaction, energy, and emerging energy systems (JP, EP), pp. 665–674.
CHICHI-2012-SpindlerMD #interactive #multi
Going beyond the surface: studying multi-layer interaction above the tabletop (MS, MM, RD), pp. 1277–1286.
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.
CSCWCSCW-2012-ForteKLZBK #coordination #social
Coordination and beyond: social functions of groups in open content production (AF, NK, VL, HZ, AB, REK), pp. 417–426.
CSCWCSCW-2012-OleksikMJ #collaboration #research
Beyond data sharing: artifact ecology of a collaborative nanophotonics research centre (GO, NMF, RJ), pp. 1165–1174.
CSCWCSCW-2012-SemaanM #towards
“Facebooking” towards crisis recovery and beyond: disruption as an opportunity (BS, GM), pp. 27–36.
ICPRICPR-2012-dAngeloAV #image
Beyond bits: Reconstructing images from Local Binary Descriptors (Ed, AA, PV), pp. 935–938.
RecSysRecSys-2012-Parra #recommendation #visualisation
Beyond lists: studying the effect of different recommendation visualizations (DP), pp. 333–336.
SIGIRSIGIR-2012-Brown #challenge #exclamation #named
Watson: the Jeopardy! challenge and beyond (EWB0), p. 1020.
SIGIRSIGIR-2012-LiX #machine learning #web
Beyond bag-of-words: machine learning for query-document matching in web search (HL, JX), p. 1177.
CAVCAV-2012-Bradley #incremental #induction #verification
IC3 and beyond: Incremental, Inductive Verification (ARB), p. 4.
ICLPICLP-2012-BryS #query #semistructured data #simulation #unification
Simulation Unification: Beyond Querying Semistructured Data (Invited Talk) (FB, SS), pp. 1–13.
IJCARIJCAR-2012-FontaineMW #decidability
Combination of Disjoint Theories: Beyond Decidability (PF, SM, CW), pp. 256–270.
ICSTSAT-2012-CrowstonGJRSY #parametricity
Fixed-Parameter Tractability of Satisfying beyond the Number of Variables (RC, GG, MJ, VR, SS, AY), pp. 355–368.
DACDAC-2011-Singh #challenge
Lithography at 14nm and beyond: choices and challenges (VS), p. 459.
DATEDATE-2011-Furber #architecture
Biologically-inspired massively-parallel architectures — Computing beyond a million processors (SBF), p. 1.
DATEDATE-2011-PangrleBCDJ #design #power management #verification
Beyond UPF & CPF: Low-power design and verification (BMP, JB, CC, OD, KMJ), p. 252.
HTHT-2011-KawasePHN
Beyond the usual suspects: context-aware revisitation support (RK, GP, EH, WN), pp. 27–36.
PODSPODS-2011-ArenasPR
Data exchange beyond complete data (MA, JP, JLR), pp. 83–94.
PODSPODS-2011-WeiY #query #summary
Beyond simple aggregates: indexing for summary queries (ZW, KY), pp. 117–128.
CSEETCSEET-2011-ChookittikulMK #agile #education
Agile methods in Thai higher education and beyond (WC, PEM, JLK), p. 557.
ITiCSEITiCSE-2011-Connolly11a #component #education #social
Beyond good and evil impacts: rethinking the social issues components in our computing curricula (RWC), pp. 228–232.
CIAACIAA-2011-HolzerK #automaton #finite
Gaining Power by Input Operations: Finite Automata and Beyond (MH, MK), pp. 16–29.
SFMSFM-2011-IssarnyBB #middleware #state of the art #synthesis
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability (VI, AB, YDB), pp. 217–255.
CHICHI-2011-BaumerT #analysis #distributed #process #video
Comparing activity theory with distributed cognition for video analysis: beyond “kicking the tires” (EPSB, BT), pp. 133–142.
HCIOCSC-2011-ReisBB #network #personalisation #semantics #social
Beyond the Social Search: Personalizing the Semantic Search in Social Networks (JCdR, RB, MCCB), pp. 345–354.
CIKMCIKM-2011-ParikhS
Beyond relevance in marketplace search (NP, NS), pp. 2109–2112.
CIKMCIKM-2011-SantosMO #effectiveness
Effectiveness beyond the first crawl tier (RLTS, CM, IO), pp. 1937–1940.
CIKMCIKM-2011-SteinGH #clustering #precise #web
Beyond precision@10: clustering the long tail of web search results (BS, TG, DH), pp. 2141–2144.
CIKMCIKM-2011-WangC #information retrieval #modelling #probability #ranking #statistics
Statistical information retrieval modelling: from the probability ranking principle to recent advances in diversity, portfolio theory, and beyond (JW, KCT), pp. 2603–2604.
KDDKDD-2011-El-AriniG #keyword
Beyond keyword search: discovering relevant scientific literature (KEA, CG), pp. 439–447.
KDDKDD-2011-ZhangLS #learning
Serendipitous learning: learning beyond the predefined label space (DZ, YL, LS), pp. 1343–1351.
SIGIRSIGIR-2011-Zhai #analysis #modelling #statistics #topic
Beyond search: statistical topic models for text analysis (CZ), pp. 3–4.
TOOLSTOOLS-EUROPE-2011-LangerWWC #emf #uml
From UML Profiles to EMF Profiles and Beyond (PL, KW, MW, JC), pp. 52–67.
SACSAC-2011-WangZG #classification #identification #network
Traffic classification beyond application level: identifying content types from network traces (YW, ZZ, LG), pp. 540–541.
HPCAHPCA-2011-OuyangNWFP
Beyond block I/O: Rethinking traditional storage primitives (XO, DWN, RW, DF, DKP), pp. 301–311.
CADECADE-2011-Claessen #automation #first-order #logic #reasoning
The Anatomy of Equinox — An Extensible Automated Reasoning Tool for First-Order Logic and Beyond — (Talk Abstract) (KC), pp. 1–3.
VMCAIVMCAI-2011-BrilloutKRW #quantifier
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (AB, DK, PR, TW), pp. 88–102.
VLDBVLDB-2010-TranMDPL #data type #nondeterminism
Conditioning and Aggregating Uncertain Data Streams: Going Beyond Expectations (TTLT, AM, YD, LP, AL), pp. 1302–1313.
ESOPESOP-2010-DilligDA
Fluid Updates: Beyond Strong vs. Weak Updates (ID, TD, AA), pp. 246–266.
CSMRCSMR-2010-JurgensDH
Code Similarities Beyond Copy & Paste (EJ, FD, BH), pp. 78–87.
CHICHI-2010-BesmerL #privacy
Moving beyond untagging: photo privacy in a tagged world (AB, HRL), pp. 1563–1572.
CSCWCSCW-2010-KitturK #coordination #online #wiki
Beyond Wikipedia: coordination and conflict in online production groups (AK, REK), pp. 215–224.
AdaSIGAda-2010-Moore #ada #parallel
Parallelism generics for Ada 2005 and beyond (BJM), pp. 41–52.
CAiSECAiSE-2010-AalstPS #mining #process
Beyond Process Mining: From the Past to Present and Future (WMPvdA, MP, MS), pp. 38–52.
ECIRECIR-2010-AlyDHS #concept #modelling #retrieval #using
Beyond Shot Retrieval: Searching for Broadcast News Items Using Language Models of Concepts (RA, ARD, DH, AFS), pp. 241–252.
ICPRICPR-2010-BalujaC #learning #performance #retrieval
Beyond “Near Duplicates”: Learning Hash Codes for Efficient Similar-Image Retrieval (SB, MC), pp. 543–547.
KDDKDD-2010-BozorgiSSV #heuristic #learning #predict
Beyond heuristics: learning to classify vulnerabilities and predict exploits (MB, LKS, SS, GMV), pp. 105–114.
RecSysRecSys-2010-GeDJ #recommendation
Beyond accuracy: evaluating recommender systems by coverage and serendipity (MG, CDB, DJ), pp. 257–260.
POPLPOPL-2010-BrobergS #data flow #named
Paralocks: role-based information flow control and beyond (NB, DS), pp. 431–444.
ICSEICSE-2010-Schneider #exclamation
Beyond hacking: an SOS! (FBS), p. 2.
ICSEICSE-2010-Sunter
South Africa and the world beyond 2010: the latest scenarios (CS), p. 1.
HPDCHPDC-2010-MontanerSD #low cost #memory management
A practical way to extend shared memory support beyond a motherboard at low cost (HM, FS, JD), pp. 155–166.
DACDAC-2009-Anderson #complexity #design #risk management
Beyond innovation: dealing with the risks and complexity of processor design in 22nm (CJA), p. 103.
DACDAC-2009-Borkar #design
Design perspectives on 22nm CMOS and beyond (SB), pp. 93–94.
DACDAC-2009-Kuhn #challenge #scalability
CMOS scaling beyond 32nm: challenges and opportunities (KJK), pp. 310–313.
DACDAC-2009-RanjanCS #debugging #verification
Beyond verification: leveraging formal for debugging (RKR, CC, SS), pp. 648–651.
PODSPODS-2009-PaghS
Secondary indexing in one dimension: beyond b-trees and bitmap indexes (RP, SRS), pp. 177–186.
VLDBVLDB-2009-MeierSL #on the #termination
On Chase Termination Beyond Stratification (MM, MS, GL), pp. 970–981.
FoSSaCSFoSSaCS-2009-BansalBL #order
Beyond Shapes: Lists with Ordered Data (KB, RB, ÉL), pp. 425–439.
ICPCICPC-2009-MurphyVS #behaviour #process #programming #using
Using activity traces to characterize programming behaviour beyond the lab (GCM, PV, DCS), pp. 90–94.
ICSMEICSM-2009-SchugerlRC #documentation #perspective #web
Beyond generated software documentation — A web 2.0 perspective (PS, JR, PC), pp. 547–550.
WCREWCRE-2009-Storey #crowdsourcing #outsourcing
Beyond the Lone Reverse Engineer: Insourcing, Outsourcing and Crowdsourcing (MADS), p. 3.
HCIHCD-2009-Clark #adaptation
Engaging and Adaptive: Going beyond Ease of Use (KAC), pp. 46–54.
HCIHCI-NT-2009-Sikorski #design #online #towards #user interface
Beyond the User Interface: Towards User-Centred Design of Online Services (MS), pp. 706–714.
HCIIDGD-2009-LinLSL #design #human-computer #interactive
Cultural Aspect of Interaction Design beyond Human-Computer Interaction (RL, PHL, WSS, SHL), pp. 49–58.
VISSOFTVISSOFT-2009-ParkJ #open source #visualisation
Beyond pretty pictures: Examining the benefits of code visualization for Open Source newcomers (YP, CJ), pp. 3–10.
CIKMCIKM-2009-WangTSZ #effectiveness
Beyond hyperlinks: organizing information footprints in search logs to support effective browsing (XW, BT, AS, CZ), pp. 1237–1246.
KDDKDD-2009-MaSSV #detection #learning #web
Beyond blacklists: learning to detect malicious web sites from suspicious URLs (JM, LKS, SS, GMV), pp. 1245–1254.
KEODKEOD-2009-AnderlMS #approach #complexity #optimisation #reduction
An Approach to Support Interdisciplinary Variant Diversity Optimization — Planning Variant Diversity — Beyond Complexity Reduction (RA, SM, DS), pp. 408–411.
KEODKEOD-2009-GargSSMD #keyword #semantics
Aragog Semantic Search Engine — Beyond the Limits of Keyword Search (MG, JS, JS, HM, SKD), pp. 21–27.
SIGIRSIGIR-2009-GuoA #interactive #predict #segmentation
Beyond session segmentation: predicting changes in search intent with client-side user interactions (QG, EA), pp. 636–637.
HPCAHPCA-2009-Hill
Opportunities beyond single-core microprocessors (MDH), pp. 143–144.
PPoPPPPoPP-2009-Hill
Opportunities beyond single-core microprocessors (MDH), p. 97.
CADECADE-2009-KorpM #dependence #graph
Beyond Dependency Graphs (MK, AM), pp. 339–354.
CSLCSL-2009-To #model checking #process
Model Checking FO(R) over One-Counter Processes and beyond (AWT), pp. 485–499.
ICSTSAT-2009-GoultiaevaIB
Beyond CNF: A Circuit-Based QBF Solver (AG, VI, FB), pp. 412–426.
DACDAC-2008-KuehlmannBCRMN #verification
Verifying really complex systems: on earth and beyond (AK, AB, DEC, RAR, RMM, AN), pp. 552–553.
ITiCSEITiCSE-2008-GoldwasserL08a #python
A python graphics package for the first day and beyond (MHG, DL), p. 326.
FoSSaCSFoSSaCS-2008-PattinsonS #algebra #finite #logic #modelling #rank #semantics
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics (DP, LS), pp. 66–80.
SCAMSCAM-2008-ClarkSW #java
Beyond Annotations: A Proposal for Extensible Java (XJ) (TC, PS, JSW), pp. 229–238.
STOCSTOC-2008-DinurGKS #bound #morphism
Decodability of group homomorphisms beyond the johnson bound (ID, EG, SK, MS), pp. 275–284.
CIKMCIKM-2008-JonesK #automation #query #segmentation #topic
Beyond the session timeout: automatic hierarchical segmentation of search topics in query logs (RJ, KLK), pp. 699–708.
ICPRICPR-2008-GurumoorthyRBR #image #representation
Beyond SVD: Sparse projections onto exemplar orthonormal bases for compact image representation (KSG, AR, AB, AR), pp. 1–4.
ICPRICPR-2008-TorselloBP #clustering
Beyond partitions: Allowing overlapping groups in pairwise clustering (AT, SRB, MP), pp. 1–4.
KDDKDD-2008-SeshadriMSBFL #graph #mobile
Mobile call graphs: beyond power-law and lognormal distributions (MS, SM, AS, JB, CF, JL), pp. 596–604.
KRKR-2008-FritzBM #compilation
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.
KRKR-2008-Halpern #concept #equilibrium #nash
Beyond Nash Equilibrium: Solution Concepts for the 21st Century (JYH), pp. 6–15.
SIGIRSIGIR-2008-Serdyukov #documentation
The search for expertise: to the documents and beyond (PS), p. 893.
MODELSMoDELS-2008-SanchezFSHU #aspect-oriented #composition #model transformation #weaving
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.
MODELSMoDELS-2008-SanchezFSHU #aspect-oriented #composition #model transformation #weaving
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.
LOPSTRLOPSTR-2008-SchrijversBG #polymorphism
From Monomorphic to Polymorphic Well-Typings and Beyond (TS, MB, JPG), pp. 152–167.
ECSAECSA-2007-Zalewski #analysis #architecture #development #scalability
Beyond ATAM: Architecture Analysis in the Development of Large Scale Software Systems (AZ), pp. 92–105.
CASECASE-2007-Sastry #embedded
The Engineering and Societal Impact of Embedded and Autonomous Systems: Beyond Sensor Webs (SS), p. 96–?.
DACDAC-2007-SingheeR #performance #statistics
Beyond Low-Order Statistical Response Surfaces: Latent Variable Regression for Efficient, Highly Nonlinear Fitting (AS, RAR), pp. 256–261.
DATEDATE-2007-Kahng #challenge #design
Design challenges at 65nm and beyond (ABK), pp. 1466–1467.
VLDBVLDB-2007-ZhangZZP #relational
Tracing Lineage Beyond Relational Operators (MZ, XZ, XZ, SP), pp. 1116–1127.
CSEETCSEET-2007-Armarego07a
Beyond PBL: Preparing Graduates for Professional Practice (JA), pp. 175–183.
CHICHI-2007-PietrigaAB #evaluation #multi
Pointing and beyond: an operationalization and preliminary evaluation of multi-scale searching (EP, CA, MBL), pp. 1215–1224.
CHICHI-2007-YostHN #scalability #visual notation #visualisation
Beyond visual acuity: the perceptual scalability of information visualizations for large displays (BY, YH, CN), pp. 101–110.
HCIHCI-IDU-2007-NingT #functional #how #order #usability
How to Use Emotional Usability to Make the Product Serves a Need Beyond the Traditional Functional Objective to Satisfy the Emotion Needs of the User in Order to Improve the Product Differentiator — Focus on Home Appliance Product (LN, ST), pp. 587–593.
HCIHCI-IDU-2007-SoeffnerN #representation
Co-presence in Shared Virtual Environments: Avatars Beyond the Opposition of Presence and Representation (JS, CSN), pp. 949–958.
HCIHCI-MIE-2007-RoibasS #comprehension #how #interactive #mobile
Beyond Mobile TV: Understanding How Mobile Interactive Systems Enable Users to Become Digital Producers (ACR, RS), pp. 801–810.
HCIOCSC-2007-ViegasW #visual notation #visualisation
Artistic Data Visualization: Beyond Visual Analytics (FBV, MW), pp. 182–191.
SIGIRSIGIR-2007-Al-Maskari #effectiveness #how #information retrieval #interactive #metric #question
Beyond classical measures: how to evaluate the effectiveness of interactive information retrieval system? (AAM), p. 915.
MODELSMoDELS-2007-ProchnowH #development #statechart
Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
MODELSMoDELS-2007-ProchnowH #development #statechart
Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.
ESEC-FSEESEC-FSE-2007-ShonleGL #composition #design #framework #maintenance #refactoring
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms (MS, WGG, SL), pp. 175–184.
GTTSEGTTSE-2007-Jarzabek #component #reuse #tutorial
Software Reuse beyond Components with XVCL (Tutorial) (SJ), pp. 47–77.
DACDAC-2006-Borkar
Electronics beyond nano-scale CMOS (SB), pp. 807–808.
DACDAC-2006-McPherson #challenge #reliability
Reliability challenges for 45nm and beyond (JWM), pp. 176–181.
DATEDATE-2006-Havinga #network
Wireless sensor networks and beyond (PJMH), p. 970.
SIGMODSIGMOD-2006-Lyndersay
Windows and RSS: beyond blogging (SL), p. 723.
ICPCICPC-2006-Autor #comprehension #evolution #legacy
Evolving a Legacy Application Portfolio at Sallie Mae: Program Comprehension and Beyond (RSA), p. xiii.
SASSAS-2006-AmiranoffCF #abstract domain #relational
Beyond Iteration Vectors: Instancewise Relational Abstract Domains (PA, AC, PF), pp. 161–180.
SASSAS-2006-CalcagnoDOY #abstraction #pointer #reachability
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (CC, DD, PWO, HY), pp. 182–203.
CHICHI-2006-RafflePIL #behaviour #game studies
Beyond record and play: backpacks: tangible modulators for kinetic behavior (HR, AJP, HI, JL), pp. 681–690.
AdaSIGAda-2006-Klein #ada
Use of Ada in Lockheed Martin for air traffic management and beyond (JK), p. 1.
ECIRECIR-2006-KirschGC #retrieval #social #web
Beyond the Web: Retrieval in Social Information Spaces (SMK, MG, ABC), pp. 84–95.
ICMLICML-2006-Wallach #modelling #topic
Topic modeling: beyond bag-of-words (HMW), pp. 977–984.
KDDKDD-2006-LauwLW #bias #statistics
Bias and controversy: beyond the statistical deviation (HWL, EPL, KW), pp. 625–630.
KDDKDD-2006-SunTF #analysis #graph
Beyond streams and graphs: dynamic tensor analysis (JS, DT, CF), pp. 374–383.
KDDKDD-2006-YanB #classification #optimisation #ranking
Beyond classification and ranking: constrained optimization of the ROI (LY, PB), pp. 948–953.
ECOOPECOOP-2006-Madsen
From ECOOP 1987 to ECOOP 2006 and Beyond (OLM), pp. 186–191.
PADLPADL-2006-SahaR #evaluation #incremental #logic programming #prolog #source code
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs (DS, CRR), pp. 215–229.
SACSAC-2006-HeatherS #analysis #infinity #protocol #security
To infinity and beyond or, avoiding the infinite in security protocol analysis (JH, SS), pp. 346–353.
ICSEICSE-2006-RashidGM #aspect-oriented #development #programming
Aspect-oriented software development beyond programming (AR, AFG, AMDM), pp. 1061–1062.
CGOCGO-2006-ChakrabartiL #analysis #heuristic
Inline Analysis: Beyond Selection Heuristics (DRC, SML), pp. 221–232.
HPCAHPCA-2006-Stenstrom #multi
Chip-multiprocessing and beyond (PS), p. 109.
CAVCAV-2006-CookPR #named #safety
Terminator: Beyond Safety (BC, AP, AR), pp. 415–418.
DACDAC-2005-BabicBH #performance #satisfiability
Efficient SAT solving: beyond supercubes (DB, JDB, AJH), pp. 744–749.
DACDAC-2005-GanaiGA #model checking #safety #satisfiability
Beyond safety: customized SAT-based model checking (MKG, AG, PA), pp. 738–743.
DRRDRR-2005-Lin #bibliography #off the shelf #research
DRR research beyond commercial off-the-shelf OCR software: a survey (XL), pp. 1–9.
FASEFASE-2005-MooijGR
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes (AJM, NG, JR), pp. 273–288.
FoSSaCSFoSSaCS-2005-Schroder #algebra #logic
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond (LS), pp. 440–454.
ICSMEICSM-2005-Parikh #challenge #evolution
Software Support, Management, and Evolution (SSME) in the Coming Decade and Beyond...Oppotunities and Challenges (GP), pp. 10–11.
STOCSTOC-2005-Fortnow #legacy
Beyond NP: the work and legacy of Larry Stockmeyer (LF), pp. 120–127.
ICALPICALP-2005-BeamePS #bound #communication #complexity #multi
Lower Bounds for Lovász-Schrijver Systems and Beyond Follow from Multiparty Communication Complexity (PB, TP, NS), pp. 1176–1188.
ICMLICML-2005-SindhwaniNB #learning
Beyond the point cloud: from transductive to semi-supervised learning (VS, PN, MB), pp. 824–831.
ECOOPECOOP-2005-ChibaI #aspect-oriented #dependence #injection #programming
Aspect-Oriented Programming Beyond Dependency Injection (SC, RI), pp. 121–143.
ICSEICSE-2005-BasitRJ #case study
Beyond templates: a study of clones in the STL and some general implications (HAB, DCR, SJ), pp. 451–459.
ICSEICSE-2005-Herbsleb
Beyond computer science (JDH), pp. 23–27.
CGOCGO-2005-OdairaH #dependence #exception
Sentinel PRE: Hoisting beyond Exception Dependency with Dynamic Deoptimization (RO, KH), pp. 328–338.
VMCAIVMCAI-2005-Muller-OlmRS
Checking Herbrand Equalities and Beyond (MMO, OR, HS), pp. 79–96.
DATEDATE-v1-2004-Spirakis #challenge
Opportunities and Challenges in Building Silicon Products in 65nm and Beyond (GS), pp. 2–3.
ITiCSEITiCSE-WGR-2004-Medina #education #social
Beyond the ballot box: computer science education and social responsibility (EMM), pp. 7–10.
CSCWCSCW-2004-MorrisRSFV #coordination #multi #policy #protocol #social
Beyond “social protocols”: multi-user coordination policies for co-located groupware (MRM, KR, CS, CF, FV), pp. 262–265.
ICEISICEIS-v1-2004-Coplien #people
Organizational Patterns: Beyond Technology to People (JC), p. XV.
ICPRICPR-v2-2004-ZhangKGST
Elastic Face, An Anatomy-Based Biometrics Beyond Visible Cue (YZ, SJK, DBG, SS, LVT), pp. 19–22.
ICSEICSE-2004-DongLLW #verification
Verifying DAML+OIL and Beyond in Z/EVES (JSD, CHL, YFL, HHW), pp. 201–210.
LICSLICS-2004-Huth #lts
Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space (MH), pp. 222–231.
DACDAC-2003-MagarshackP
System-on-chip beyond the nanometer wall (PM, PGP), pp. 419–424.
DATEDATE-2003-GrundmannGK #challenge #design #framework
Circuit and Platform Design Challenges in Technologies beyond 90nm (BG, RG, SK), pp. 10044–10049.
DATEDATE-2003-IwasakiNNNYONTOIE #multi #scalability
Single-Chip MPEG-2 422P@HL CODEC LSI with Multi-Chip Configuration for Large Scale Processing beyond HDTV Level (HI, JN, KN, KN, TY, MO, YN, YT, TO, MI, ME), pp. 20002–20007.
SIGMODSIGMOD-2003-ChaudhuriKN #on the #relational #sorting #xml
On Relational Support for XML Publishing: Beyond Sorting and Tagging (SC, RK, JFN), pp. 611–622.
VISSOFTVISSOFT-2003-RillingWM #3d #visualisation
MetaViz – Issues in Software Visualizing Beyond 3D (JR, JW, SPM), pp. 92–97.
ICEISICEIS-v3-2003-Heng
Beyond End Users Computing (MSHH), pp. 594–598.
SIGIRSIGIR-2003-ZhaiCL #evaluation #independence #metric #retrieval #topic
Beyond independent relevance: methods and evaluation metrics for subtopic retrieval (CZ, WWC, JDL), pp. 10–17.
ICSEICSE-2003-ClementsGLNS #architecture
Documenting Software Architectures: Views and Beyond (PCC, DG, RL, RLN, JAS), pp. 740–741.
ICSEICSE-2003-JohnsonKACMMZD #analysis #metric #process
Beyond the Personal Software Process: Metrics collection and analysis for the differently disciplined (PMJ, HK, JA, CC, CAM, JM, SZ, WEJD), pp. 641–646.
HPCAHPCA-2003-Kronstadt #challenge #design #performance
Beyond Performance: Some (Other) Challenges for Systems Design (EK), p. 125.
ASEASE-2002-EgyedG #automation #paradigm #requirements #traceability
Automating Requirements Traceability: Beyond the Record & Replay Paradigm (AE, PG), pp. 163–171.
DATEDATE-2002-BaldiniBPMT #functional #uml
Beyond UML to an End-of-Line Functional Test Engine (AB, AB, PP, SM, AT), pp. 499–503.
HTHT-2002-MartinA #named
Goate: XLink and beyond (DM, HA), pp. 142–143.
CSEETCSEET-2002-GooldH #re-engineering
Foundation Software Engineering Practices for Capstone Projects and Beyond (AG, PH), p. 140–?.
TACASTACAS-2002-BozzanoD #verification
Beyond Parameterized Verification (MB, GD), pp. 221–235.
STOCSTOC-2002-JacksonKS
Learnability beyond AC0 (JCJ, AK, RAS), pp. 776–784.
CAiSECAiSE-2002-WetzelK #architecture #concept #process #workflow
Serviceflow Beyond Workflow? Concepts and Architectures for Supporting Inter-organizational Service Processes (IW, RK), pp. 500–515.
ICEISICEIS-2002-GarzasP #design pattern #object-oriented
Beyond Object Oriented Design Patterns (JG, MP), pp. 811–814.
ICMLICML-2002-Zhang #behaviour #consistency #statistics
Statistical Behavior and Consistency of Support Vector Machines, Boosting, and Beyond (TZ0), pp. 690–700.
RERE-2002-StutzSKK #analysis #uml
Analysis beyond UML (CS, JS, DK, WK), pp. 215–218.
ICSEICSE-2002-GilHK #modelling #uml #visual notation
Advanced visual modelling: beyond UML (JYG, JH, SK), pp. 697–698.
FASEFASE-2001-Selic #logic #physics #programming
Physical Programming: Beyond Mere Logic (BS), p. 1.
ICALPICALP-2001-AtseriasBE #bound
Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution (AA, MLB, JLE), pp. 1005–1016.
ICALPICALP-2001-Kirsten #monad #problem #reduction
The Star Problem in Trace Monoids: Reductions Beyond C4 (DK), pp. 591–602.
CHICHI-2001-BhavnaniRJ #education #identification #using
Beyond command knowledge: identifying and teaching strategic knowledge for using complex computer applications (SKB, FR, BEJ), pp. 229–236.
AdaSIGAda-2001-LaskiSP #database #query
Beyond ASIS: program data bases and tool-oriented queries (JWL, WS, PP), pp. 81–90.
CAiSECAiSE-2001-SunyePHGJ #action semantics #execution #modelling #semantics #uml #using
Using UML Action Semantics for Executable Modeling and Beyond (GS, FP, WMH, ALG, JMJ), pp. 433–447.
RERE-2001-CarterAWD #evolution #prototype #requirements
Evolving Beyond Requirements Creep: A Risk-Based Evolutionary Prototyping Model (RAC, AIA, LAW, AD), pp. 94–101.
CSLCSL-2001-Ohsaki #automaton #commutative #equation
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories (HO), pp. 539–553.
RTARTA-2001-KhasidashviliOO #normalisation #orthogonal
Uniform Normalisation beyond Orthogonality (ZK, MO, VvO), pp. 122–136.
CSEETCSEET-2000-Belady
Beyond Software and Beyond Engineering (LAB), p. 219–?.
ESOPESOP-2000-Charatonik #logic programming #source code #type checking
Directional Type Checking for Logic Programs: Beyond Discriminative Types (WC), pp. 72–87.
ICSMEICSM-2000-Chan #maintenance
Beyond Productivity in Software Maintenance: Factors Affecting Lead Time in Servicing Users’ Requests (TC), pp. 228–235.
CSCWCSCW-2000-ResnickBMPSW
Beyond bowling together (PR, TKB, EDM, RDP, LSS, BW), p. 363.
SIGIRSIGIR-2000-DingC00a #query
Beyond the traditional query operators (C(D, CHC), pp. 377–378.
TOOLSTOOLS-EUROPE-2000-GilHK #modelling #uml #visual notation
Advanced Visual Modeling: Beyond UML (JYG, JH, SK), p. 474.
TOOLSTOOLS-EUROPE-2000-Henderson-Sellers
Beyond RUP (BHS), p. 466.
PADLPADL-2000-DiazC #c #compilation #prolog
GNU Prolog: Beyond Compiling Prolog to C (DD, PC), pp. 81–92.
ICSEICSE-2000-GilHK #modelling #tutorial #uml #visual notation
Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.
CCCC-2000-KnoopR #constant #graph
Constant Propagation on the Value Graph: Simple Constants and Beyond (JK, OR), pp. 94–109.
ASEASE-1999-KyaruziK #architecture #component #constraints
Beyond Components-Connections-Constraints: Dealing with Software Architecture Difficulties (JJK, JvK), pp. 235–242.
DACDAC-1999-Eaglesham
0.18m CMOS and Beyond (DJE), pp. 703–708.
HTHT-1999-ShipmanML #hypermedia
Beyond Location: Hypertext Workspaces and Non-Linear Views (FMSI, CCM, ML), pp. 121–130.
VLDBVLDB-1999-Mohan
Repeating History Beyond ARIES (CM), pp. 1–17.
ICSMEICSM-1999-InteresseD #case study #experience #verification
Experience Paper: Beyond Year 2000 Remediation: The Compliance Verification: A Case Study (MI, RD), pp. 155–160.
HCIHCI-CCAD-1999-Tamura #communication
Communication beyond reality (HT), pp. 1337–1340.
HCIHCI-EI-1999-MarcusAFG99b #design #interface
Good Things in Small Packages: User-Interface Design for Baby Faces in Devices and Appliances for Y2K and Beyond (AM, JA, VF, EG), pp. 715–719.
CAiSECAiSE-1999-YiJ #process #reasoning #representation
Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes (CHY, PJ), pp. 462–466.
ICEISICEIS-1999-Zineldin
Beyond Relationship Marketing-Technologicalship Marketing: Relationship Marketing Based on Technology (MZ), pp. 550–562.
TOOLSTOOLS-EUROPE-1999-OrtigosaC #framework #named
SmartBooks: A Step Beyond Active-Cookbooks to Aid in Framework Instantiation (AO, MC), pp. 131–140.
TOOLSTOOLS-USA-1999-GilHK #constraints #diagrams #uml
Constraint Diagrams: A Step Beyond UML (JYG, JH, SK), pp. 453–463.
PADLPADL-1999-Kahl #combinator #concept #documentation #pretty-printing
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators (WK), pp. 76–90.
ITiCSEITiCSE-1998-FincherP #experience #towards #using
Beyond anecdote towards real transfer: using other institutions’ experience of project work (SF, MP), pp. 86–89.
TACASTACAS-1998-AjamiHI #linear #logic #model checking #symmetry
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.
STOCSTOC-1998-ShokrollahiW #algebra #bound #geometry
Decoding Algebraic-Geometric Codes Beyond the Error-Correction Bound (MAS, HW), pp. 241–248.
CHICHI-1998-SchilitGP
Beyond Paper: Supporting Active Reading with Free Form Digital Ink Annotations (BNS, GG, MNP), pp. 249–256.
TOOLSTOOLS-USA-1998-Singh #development #object-oriented
Managing OO Software Development for the Year 2000 and Beyond (MSS), p. 463.
REFSQREFSQ-1998-YoungM #communication
The “Knowledge Curtain”: Beyond the “Communication Gap” (LY, NM), pp. 115–120.
ICTSSIWTCS-1998-WalterSG #architecture #distributed #state of the art
Test Architectures for Distributed Systems: State of the Art and Beyond (TW, IS, JG), pp. 149–174.
ICLPJICSLP-1998-EtalleR
Beyond Success and Failure (SE, FvR), pp. 190–205.
SIGMODSIGMOD-1997-BrinMS #correlation
Beyond Market Baskets: Generalizing Association Rules to Correlations (SB, RM, CS), pp. 265–276.
CHICHI-1997-AccotZ #human-computer #modelling
Beyond Fitts’ Law: Models for Trajectory-Based HCI Tasks (JA, SZ), pp. 295–302.
CHICHI-1997-MankoffS #information management
Supporting Knowledge Workers Beyond the Desktop With Palplates (JM, BNS), pp. 550–551.
HCIHCI-CC-1997-Alty #interactive
Human Computer Interaction: The Year 2000 and Beyond (JLA), pp. 193–196.
ECIRACIR-1997-MateevMS #dependence #how
Where the Linked Dependence Assumption Fails and How to Move Beyond It (BM, EM, PS).
KDDKDD-1997-PazzaniMS #learning
Beyond Concise and Colorful: Learning Intelligible Rules (MJP, SM, WRS), pp. 235–238.
ECOOPECOOP-1997-Gamma #design pattern
Going Beyond Objects with Design Patterns (Abstract) (EG), p. 530.
RERE-1997-KilovS #elicitation #requirements
Eliciting Requirements: Beyond the Blank Sheet of Paper (HK, IS), p. 141.
ICSEICSE-1997-Yourdon #developer #re-engineering
Beyond Software Engineering: Ten Imperatives for the Successful Software Developer at the End of the Decade (Abstract) (EY), p. 538.
AdaEuropeAdaEurope-1996-OudshoornC #ada #persistent
Beyond Ada 95: The Addition of Persistence and Its Consequences (MO, SC), pp. 342–356.
ICMLICML-1996-DomingosP #classification #independence
Beyond Independence: Conditions for the Optimality of the Simple Bayesian Classifier (PMD, MJP), pp. 105–112.
PPDPPLILP-1996-FreireSW #logic programming #scheduling #source code
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies (JF, TS, DSW), pp. 243–258.
ICSEICSE-1996-PanD #programming
Beyond Structured Programming (SP, RGD), pp. 268–277.
ISSTAISSTA-1996-SloaneH #slicing
Beyond Traditional Program Slicing (AMS, JH), pp. 180–186.
DACDAC-1995-BernMS #performance
Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits (JB, CM, AS), pp. 408–413.
DACDAC-1995-WuL
Register Minimization beyond Sharing among Variables (TYW, YLL), pp. 164–169.
SIGMODSIGMOD-1995-Gibson
Storage Technology: RAID and Beyond (GAG), p. 471.
SASSAS-1995-Seward #analysis #haskell #implementation #polymorphism #prototype
Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell (JS), pp. 382–399.
ICLPILPS-1995-DawsonRRS #optimisation #unification
Optimizing Clause Resolution: Beyond Unification Factoring (SD, CRR, IVR, TS), pp. 194–208.
ICLPILPS-1995-PugetL #constraints
Beyond the Glass Box: Constraints as Objects (JFP, ML), pp. 513–527.
PODSPODS-1994-FaloutsosK #analysis #concept #independence #using
Beyond Uniformity and Independence: Analysis of R-trees Using the Concept of Fractal Dimension (CF, IK), pp. 4–13.
PLDIPLDI-1994-Deutsch #alias #analysis #interprocedural #pointer
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting (AD), pp. 230–241.
STOCSTOC-1994-BodlaenderFH #bound #problem
Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy (HLB, MRF, MTH), pp. 449–458.
CSCWCSCW-1994-Schmidt #concept
The Organization of Cooperative Work: Beyond the “Leviathan” Conception of the Organization of Cooperative Work (KS), pp. 101–112.
AdaEuropeAdaEurope-1994-SotirovskiJK #data type
Beyond Abstract Data Types: Giving Life to Objects (DMS, SSJ, PK), pp. 111–120.
KRKR-1994-Woods
Beyond Ignorance-Based Systems (Abstract) (WAW), p. 646.
ECOOPECOOP-1994-Steels
Beyond Objects (LS), pp. 1–11.
TOOLSTOOLS-EUROPE-1994-Graham #analysis #case study #object-oriented #process #re-engineering #requirements
Beyond the Use Case: Combining Task Analysis and Scripts in Object-Oriented Requirements Capture and Business Process Re-engineering (IMG), pp. 203–215.
CAVCAV-1994-Manna #model checking
Beyond Model Checking (ZM), pp. 220–221.
PODSPODS-1993-WongA #approach #concurrent #semantics
Context-Based Synchronisation: An Approach beyond Semantics for Concurrency Control (MHW, DA), pp. 276–287.
HCIHCI-SHI-1993-BenaliaDM #parallel #programming language #visual notation
HelpDraw Graphical Environment: A Step Beyond Data Parallel Programming Languages (ADB, JLD, PM), pp. 591–596.
CHIINTERCHI-1993-SzekelyLN #interface #modelling #tool support
Beyond interface builders: model-based interface tools (PAS, PL, RN), pp. 383–390.
TOOLSTOOLS-USA-1993-Ege #development #framework
Beyond Frameworks: O-O Application Development (RKE), p. 555.
CAVCAV-1993-KurshanL #multi #verification
Verification of a Multiplier: 64 Bits and Beyond (RPK, LL), pp. 166–179.
HTHT-ECHT-1992-Coover #hypermedia #named
Hypertext: Beyond the End of the Book (RC), p. 289.
PLDIPLDI-1992-Wolfe #induction
Beyond Induction Variables (MW), pp. 162–174.
CHICHI-1992-HollanS
Beyond Being There (JDH, SS), pp. 119–125.
CHICHI-1992-Johnson #interface #named
Selectors: Going Beyond User-Interface Widgets (JAJ), pp. 273–279.
TOOLSTOOLS-USA-1992-Deutsch #challenge #named
Keynote: Objects: Challenges Beyond Languages and Applications (LPD), p. 7.
HTHT-1991-Moulthrop #hypermedia
Beyond the Electronic Book: A Critique of Hypertext Rhetoric (SM), pp. 291–298.
KRKR-1991-Geffner
Beyond Negation as Failure (HG), pp. 218–229.
ICALPICALP-1990-Klop #term rewriting
Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond (JWK), pp. 350–369.
ICMLML-1990-RouveirolP
Beyond Inversion of Resolution (CR, JFP), pp. 122–130.
OOPSLAOOPSLA-ECOOP-1990-LernerH #database #evolution
Beyond Schema Evolution to Database Reorganization (BSL, ANH), pp. 67–76.
LICSLICS-1990-BurchCMDH #model checking
Symbolic Model Checking: 10^20 States and Beyond (JRB, EMC, KLM, DLD, LJH), pp. 428–439.
LICSLICS-1990-SekarR #equation #logic #programming
Programming in Equational Logic: Beyond Strong Sequentiality (RCS, IVR), pp. 230–241.
SIGMODSIGMOD-1989-Dyson #on the
On Beyond Data (ED), p. 1.
SIGMODSIGMOD-1987-Neff #database #distributed
Data Bases, Compound Objects, and Networked Workstations: Beyond Distributed Computing (RKN), p. 1.
LISPLFP-1986-DybvigFH #metaprogramming
Expansion-Passing Style: Beyond Conventional Macros (RKD, DPF, CTH), pp. 143–150.
SIGIRSIGIR-1985-Lesk #visual notation
Graphical Information Resources: Maps and Beyond (ML), pp. 2–8.
ICSEICSE-1981-Lewis
Beyond ALBE/P: Language Neutral Form (JWL), pp. 422–429.
SOSPSOSP-1977-Lohr #concurrent #pascal
Beyond Concurrent Pascal (KPL), pp. 173–180.

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.