BibSLEIGH — beyond stem

Used together with:

model (29)
base (20)
design (19)
user (18)
system (18)

Stem beyond$ (all stems)

352 papers:

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