Stem break$ (all stems)

113 papers:

DocEng-2015-HassanH #automation #documentation #flexibility #layout

Knuth-Plass Revisited: Flexible Line-Breaking for Automatic Document Layout (TH, AH), pp. 17–20.

HT-2015-GadirajuSFK #behaviour #categorisation #comprehension

Breaking Bad: Understanding Behavior of Crowd Workers in Categorization Microtasks (UG, PS, BF, RK), pp. 33–38.

LATA-2015-UlyantsevZS #automaton #identification #symmetry

BFS-Based Symmetry Breaking Predicates for DFA Identification (VU, IZ, AS), pp. 611–622.

CHI-2015-ChengTIB #comparison

Break It Down: A Comparison of Macro- and Microtasks (JC, JT, STI, MSB), pp. 4061–4064.

ICML-2015-DasBB #modelling #order #parametricity

Ordered Stick-Breaking Prior for Sequential MCMC Inference of Bayesian Nonparametric Models (MKD, TB, CB), pp. 550–559.

KDD-2015-XieBDG #performance #personalisation #rank

Edge-Weighted Personalized PageRank: Breaking A Decade-Old Performance Barrier (WX, DB, AJD, JG), pp. 1325–1334.

CADE-2015-HeuleHW #proving #symmetry

Expressing Symmetry Breaking in DRAT Proofs (MH, WAHJ, NW), pp. 591–606.

DATE-2014-RaminiGGBFB #architecture #energy

Assessing the energy break-even point between an optical NoC architecture and an aggressive electronic baseline (LR, AG, PG, SB, HTF, DB), pp. 1–6.

VLDB-2014-Markl #big data #data analysis #declarative #independence

Breaking the Chains: On Declarative Data Analysis and Data Independence in the Big Data Era (VM), pp. 1730–1733.

ICSME-2014-KerzaziKA #automation #empirical #why

Why Do Automated Builds Break? An Empirical Study (NK, FK, BA), pp. 41–50.

SCAM-2014-RaemaekersDV #case study #repository #semantics #version control

Semantic Versioning versus Breaking Changes: A Study of the Maven Repository (SR, AvD, JV), pp. 215–224.

PLDI-2014-VilkB #named

Doppio: breaking the browser language barrier (JV, EDB), p. 52.

STOC-2014-DvirSW #polynomial

Breaking the quadratic barrier for 3-LCC’s over the reals (ZD, SS, AW), pp. 784–793.

STOC-2014-Sherstov

Breaking the minsky-papert barrier for constant-depth circuits (AAS), pp. 223–232.

ICALP-v1-2014-Hertli #satisfiability

Breaking the PPSZ Barrier for Unique 3-SAT (TH), pp. 600–611.

IFM-2014-DrossopoulouN #how #policy #semantics

How to Break the Bank: Semantics of Capability Policies (SD, JN), pp. 18–35.

CHI-2014-Schoenebeck #how #social #social media #twitter #why

Giving up Twitter for Lent: how and why we take breaks from social media (SYS), pp. 773–782.

ECIR-2014-WangWF #microblog #retrieval

An Exploration of Tie-Breaking for Microblog Retrieval (YW, HW, HF), pp. 713–719.

ICML-c1-2014-SoufianiPX #modelling #parametricity #ranking

Computing Parametric Ranking Models via Rank-Breaking (HAS, DCP, LX), pp. 360–368.

KDIR-2014-BenhamouJSS #mining #symmetry

Symmetry Breaking in Itemset Mining (BB, SJ, LS, YS), pp. 86–96.

SEKE-2014-HuangCWC #how #interactive #question #testing

How to Do Tie-breaking in Prioritization of Interaction Test Suites? (RH, JC, RW, DC), pp. 121–125.

Onward-2014-ProustM #invariant

It’s Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It (RP, AM), pp. 163–171.

OOPSLA-2014-PradelSNS #generative #latency #named #testing #user interface

EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.

ASE-2013-SayyadIMA #product line #scalability

Scalable product line configuration: A straw to break the camel’s back (ASS, JI, TM, HA), pp. 465–474.

DATE-2013-AmpaduZS #energy #fault tolerance #manycore

Breaking the energy barrier in fault-tolerant caches for multicore systems (PA, MZ, VS), pp. 731–736.

DocEng-2013-PinkneyBB #readability

No need to justify your choice: pre-compiling line breaks to improve eBook readability (AJP, SRB, DFB), pp. 237–240.

ICSM-2013-ShahDM #automation #java #on the #refactoring

On the Automation of Dependency-Breaking Refactorings in Java (SMAS, JD, CM), pp. 160–169.

CHI-2013-Yarosh

Shifting dynamics or breaking sacred traditions?: the role of technology in twelve-step fellowships (SY), pp. 3413–3422.

CSCW-2013-JoycePB #collaboration

Keeping eyes on the prize: officially sanctioned rule breaking in mass collaboration systems (EJ, JP, BSB), pp. 1081–1092.

DUXU-NTE-2013-MartinsMS #design #multi #paradigm

Breaking Technological Paradigms — Sustainable Design in Air Transport Multi-mission (ETM, ITM, MMS), pp. 160–168.

ICEIS-v3-2013-FerreiraFSCRPO #analysis #interactive #search-based

Log Analysis of Human Computer Interactions Regarding Break The Glass Accesses to Genetic Reports (AMF, PF, CSP, RJCC, PPR, AdCP, VO), pp. 46–53.

ICML-c3-2013-AilonCX #clustering #graph

Breaking the Small Cluster Barrier of Graph Clustering (NA, YC, HX), pp. 995–1003.

SAC-2013-Schefer-WenzlS #information management #policy

Generic support for RBAC break-glass policies in process-aware information systems (SSW, MS), pp. 1441–1446.

HPCA-2013-KrishnaCKP #latency #using

Breaking the on-chip latency barrier using SMART (TK, CHOC, WCK, LSP), pp. 378–389.

CAV-2013-ChevalCP #how #privacy

Lengths May Break Privacy — Or How to Check for Equivalences with Length (VC, VC, AP), pp. 708–723.

DATE-2012-LeupersMPHSKV

Virtual platforms: Breaking new grounds (RL, GM, RP, AH, FS, TK, MV), pp. 685–690.

DATE-2012-StojilovicNSBI #flexibility

Selective flexibility: Breaking the rigidity of datapath merging (MS, DN, LS, PB, PI), pp. 1543–1548.

PODS-2012-ChoromanskiM #algorithm #database #graph #power of #privacy #statistics

The power of the dinur-nissim algorithm: breaking privacy of statistical and graph databases (KC, TM), pp. 65–76.

CHI-2012-HuLWWSM #twitter

Breaking news on twitter (MH, SL, FW, YW, JTS, KLM), pp. 2751–2754.

CIKM-2012-CuiZLMZ #twitter

Discover breaking events with popular hashtags in twitter (AC, MZ, YL, SM, KZ), pp. 1794–1798.

RE-2012-Cleland-HuangMMA #recommendation #traceability

Breaking the big-bang practice of traceability: Pushing timely trace recommendations to project stakeholders (JCH, PM, MM, SA), pp. 231–240.

SAT-2012-BalintS #probability

Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break (AB, US), pp. 16–29.

CASE-2011-FantiSU #constraints #problem #scheduling #symmetry #using

Solving scheduling problems in distribution centers using symmetry breaking constraints (MPF, GS, WU), pp. 58–65.

DATE-2011-PandeCPMBMG #energy #performance #question

Sustainability through massively integrated computing: Are we ready to break the energy efficiency wall for single-chip platforms? (PPP, FC, DP, IM, PB, RM, AG), pp. 1656–1661.

WCRE-2011-NadiH #linux #mining

Make it or Break it: Mining Anomalies from Linux Kbuild (SN, RCH), pp. 315–324.

STOC-2011-BourgainDFKK #matrix

Breaking the k2 barrier for explicit RIP matrices (JB, SJD, KF, SK, DK), pp. 637–644.

STOC-2011-KawarabayashiK #algorithm #approximate #problem

Breaking o(n1/2)-approximation algorithms for the edge-disjoint paths problem with congestion two (KiK, YK), pp. 81–88.

CHI-2011-Kivran-SwaineGN #network #online #social #twitter

The impact of network structure on breaking ties in online social networks: unfollowing on twitter (FKS, PG, MN), pp. 1101–1104.

CHI-2011-KuznetsovTKHPS #bound

Breaking boundaries: strategies for mentoring through textile computing workshops (SK, LCT, CK, IH, EP, DPS), pp. 2957–2966.

ICML-2011-PaisleyCB #process

Variational Inference for Stick-Breaking Beta Process Priors (JWP, LC, DMB), pp. 889–896.

SOSP-2011-ColpNZACDLW #security

Breaking up is hard to do: security and functionality in a commodity hypervisor (PC, MN, JZ, WA, GC, TD, PL, AW), pp. 189–202.

DATE-2010-LiSBNO #analysis #implementation

Power Variance Analysis breaks a masked ASIC implementation of AES (YL, KS, LB, DN, KO), pp. 1059–1064.

SOFTVIS-2010-ChengTWH #animation #automation #debugging #named

xDIVA: automatic animation between debugging break points (YPC, HYT, CSW, CHH), pp. 221–222.

ICML-2010-PaisleyZWGC #process

A Stick-Breaking Construction of the Beta Process (JWP, AKZ, CWW, GSG, LC), pp. 847–854.

RecSys-2010-XieLW #recommendation

Breaking out of the box of recommendations: from items to packages (MX, LVSL, PTW), pp. 151–158.

SEKE-2010-XuDWG #evaluation #fault #locality

An Evaluation of Tie-Breaking Strategies for Fault Localization Techniques (XX, VD, WEW, DG), pp. 123–128.

ECOOP-2010-RenggliGN #tool support

Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.

LICS-2010-GuglielmiGS #logic

Breaking Paths in Atomic Flows for Classical Logic (AG, TG, LS), pp. 284–293.

HCI-NIMT-2009-Valle-AgudoCCR #generative #independence #interactive

Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management (DdVA, FJCG, DCF, JRE), pp. 674–683.

SAT-2009-SchaafsmaHM #simulation #symmetry

Dynamic Symmetry Breaking by Simulating Zykov Contraction (BS, MH, HvM), pp. 223–236.

ICALP-A-2008-BaswanaGSU #constant #distance #fault #graph #polynomial

Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error (SB, AG, SS, JU), pp. 609–621.

ICALP-A-2008-JansenT #algorithm #approximate #parallel #scheduling

Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2 (KJ, RT), pp. 234–245.

ICALP-A-2008-PemmarajuS #random #symmetry

The Randomized Coloring Procedure with Symmetry-Breaking (SVP, AS), pp. 306–319.

CHI-2008-HuangT #design #interactive #mobile #paradigm

Breaking the disposable technology paradigm: opportunities for sustainable interaction design for mobile phones (EMH, KNT), pp. 323–332.

CHI-2008-MorrisBM #named #type system #using

SuperBreak: using interactivity to enhance ergonomic typing breaks (DM, AJBB, BM), pp. 1817–1826.

ICML-2008-AnWSWCD #analysis #image #kernel #multi #process

Hierarchical kernel stick-breaking process for multi-task image analysis (QA, CW, IS, EW, LC, DBD), pp. 17–24.

SIGIR-2008-KalashnikovNM #approach #people #quality #towards #web

Towards breaking the quality curse.: a web-querying approach to web people search (DVK, RNT, SM), pp. 27–34.

SAC-2008-AhamedHT #pervasive #trust

Service sharing with trust in pervasive environment: now it’s time to break the jinx (SIA, MMH, NT), pp. 1622–1628.

ICSE-2008-Murphy-HillB #refactoring #tool support

Breaking the barriers to successful refactoring: observations and tools for extract method (ERMH, APB), pp. 421–430.

HCI-AS-2007-LiuKL #approach #learning

Breaking the Traditional E-Learning Mould: Support for the Learning Preference Approach (FL, JK, LL), pp. 294–301.

ICML-2007-XueDC #flexibility #learning #matrix #multi #process

The matrix stick-breaking process for flexible multi-task learning (YX, DBD, LC), pp. 1063–1070.

SAT-2007-LynceM #matrix #modelling #satisfiability #symmetry

Breaking Symmetries in SAT Matrix Models (IL, JPMS), pp. 22–27.

CHI-2006-McCurdyCPKV #prototype

Breaking the fidelity barrier: an examination of our current characterization of prototypes and an example of a mixed-fidelity success (MM, CC, GP, BK, AHV), pp. 1233–1242.

ISSTA-2006-CobleighAC #composition #reasoning

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.

DAC-2005-BeckC #configuration management

Dynamic reconfiguration with binary translation: breaking the ILP barrier with software compatibility (ACSB, LC), pp. 732–737.

ITiCSE-2005-TurbanRT

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

SAC-2005-LawL #constraints #matrix #modelling #symmetry #using

Breaking value symmetries in matrix models using channeling constraints (YCL, JHML), pp. 371–376.

DATE-v1-2004-RamaniAMS #graph #independence #symmetry

Breaking Instance-Independent Symmetries in Exact Graph Coloring (AR, FAA, ILM, KAS), pp. 324–331.

CHI-2004-SchraefelHMSPF #pervasive

Breaking the book: translating the chemistry lab book into a pervasive computing lab environment (MMCS, GVH, HRM, GS, TRP, JGF), pp. 25–32.

ICSE-2004-ManhartS #agile #case study #development #embedded #experience #industrial

Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report (PM, KS), pp. 378–386.

DAC-2003-AloulMS #named #performance #satisfiability #symmetry

Shatter: efficient symmetry-breaking for boolean satisfiability (FAA, ILM, KAS), pp. 836–839.

CSEET-2002-DuleyM

Cutting Hacking: Breaking from Tradition (RD, SPM), pp. 224–233.

SAT-2002-LiJP #symmetry

Integrating symmetry breaking into a DLL procedure (CML, BJ, PWP), p. 18.

PLDI-2001-BaconALRS #garbage collection #java #multi

Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector (DFB, CRA, HBL, VTR, SES), pp. 92–103.

SIGAda-2001-Taft01a

Keynote address: fixing software before it breaks (STT), pp. 97–98.

TOOLS-USA-2001-Devos01a

Confronting Possibilities and Needs in the Digital Economy: Breaking out of the Box to Envision the System (MMD), pp. 432–434.

SAC-2001-Zhang #automation #satisfiability #symmetry

Automatic symmetry breaking method combined with SAT (JZ0), pp. 17–21.

SAT-2001-Shlyakhter #effectiveness #generative #problem #symmetry

Generating effective symmetry-breaking predicates for search problems (IS), pp. 19–35.

ICPR-v1-2000-TankusY

Convexity-Based Camouflage Breaking (AT, YY), pp. 1454–1457.

GCSE-2000-CoplienZ #design pattern #symmetry

Symmetry Breaking in Software Patterns (JC, LZ), pp. 37–56.

VLDB-1999-KeimH #clustering #towards

Optimal Grid-Clustering: Towards Breaking the Curse of Dimensionality in High-Dimensional Clustering (AH, DAK), pp. 506–517.

STOC-1999-DinitzMR #complexity #symmetry

Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings (Extended Abstract) (YD, SM, SR), pp. 265–274.

HCI-CCAD-1999-GillerT #effectiveness

Effective accessibility engineering: breaking organisational habits (VG, MT), pp. 828–832.

HCI-CCAD-1999-HeldK #process

The ice-breaking VALAMO — a tool for participatory processes (JH, HK), pp. 563–567.

KDD-1999-TungLHF #mining #transaction

Breaking the Barrier of Transactions: Mining Inter-Transaction Association Rules (AKHT, HL, JH, LF), pp. 297–301.

SIGMOD-1998-BerchtoldBK #towards

The Pyramid-Technique: Towards Breaking the Curse of Dimensionality (SB, CB, HPK), pp. 142–153.

CHI-1998-Rocco #trust

Trust Breaks Down in Electronic Contexts But Can Be Repaired by Some Initial Face-to-Face Contact (ER), pp. 496–502.

SAC-1998-Sterling #clustering

Beowulf PC clusters: breaking the cost barrier to high end application computing (keynote address — abstract) (TLS), p. 1.

TACAS-1996-Lowe #protocol #using

Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR (GL), pp. 147–166.

ICALP-1996-YuY #problem #symmetry

Agent Rendezvous: A Dynamic Symmetry-Breaking Problem (XY, MY), pp. 610–621.

KR-1996-CrawfordGLR #problem #symmetry

Symmetry-Breaking Predicates for Search Problems (JMC, MLG, EML, AR), pp. 148–159.

DAC-1995-KonukFL #fault #network #performance #simulation

Accurate and Efficient Fault Simulation of Realistic CMOS Network Breaks (HK, FJF, TL), pp. 345–351.

ICALP-1995-BaoI #automaton #finite

Break Finite Automata Public Key Cryptosystem (FB, YI), pp. 147–158.

AdaEurope-1995-CroxfordS

Breaking Through the V and V Bottleneck (MC, JS), pp. 344–354.

STOC-1994-AwerbuchCS #distributed #performance #symmetry

Efficient asynchronous distributed symmetry breaking (BA, LC, MAS), pp. 214–223.

STOC-1994-SahinalpV #symmetry

Symmetry breaking for suffix tree construction (SCS, UV), pp. 300–309.

PODS-1992-PapadimitriouY #semantics

Tie-Breaking Semantics and Structural Totality (CHP, MY), pp. 16–22.

PLDI-1992-Maslov #dependence #equation #multi #named #performance

Delinearization: An Efficient Way to Break Multiloop Dependence Equations (VM), pp. 152–161.

STOC-1992-MayerOOY #self #symmetry

Self-Stabilizing Symmetry Breaking in Constant-Space (Extended Abstract) (AJM, YO, RO, MY), pp. 667–678.

DAC-1991-BrinerEK #parallel #simulation

Breaking the Barrier of Parallel Simulation of Digital Systems (JVBJ, JLE, GK), pp. 223–226.

STOC-1987-GoldbergPS #graph #parallel #symmetry

Parallel Symmetry-Breaking in Sparse Graphs (AVG, SAP, GES), pp. 315–324.

STOC-1983-Adleman #on the

On Breaking Generalized Knapsack Public Key Cryptosystems (Abstract) (LMA), pp. 402–412.

SIGIR-1973-Winograd #complexity

Breaking the Complexity Barrier again (TW), pp. 13–30.