32 papers:
STOC-2015-KorulaMZ #online #order #random- Online Submodular Welfare Maximization: Greedy Beats 1/2 in Random Order (NK, VSM, MZ), pp. 889–898.
ICALP-v1-2015-WangW #algorithm #online- Two-sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm (YW, SCwW), pp. 1070–1081.
CHI-2015-KhotLAHM #design #named #physics #process- TastyBeats: Designing Palatable Representations of Physical Activity (RAK, JL, DA, LH, F'M), pp. 2933–2942.
- CHI-2015-OakleyLIE #gesture #named
- Beats: Tapping Gestures for Smart Watches (IO, DL, MRI, AE), pp. 1237–1246.
HIMI-IKC-2015-Bretschneider-Hagemes #development #low cost #mobile #multi #question #simulation- Development of a New Low Cost Driving Simulation for Assessing Multidimensional Task Loads Caused by Mobile ICT at Drivers’ Workplaces. — Objective-Fidelity Beats Equipment-Fidelity? (MBH), pp. 173–179.
CAV-2015-KonnovVW #abstraction #algorithm #distributed #model checking #smt- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.
- STOC-2014-KesselheimTRV #online
- Primal beats dual on online packing LPs in the random-order model (TK, KR, AT, BV), pp. 303–312.
- CHI-2014-MottW #lens #using
- Beating the bubble: using kinematic triggering in the bubble lens for acquiring small, dense targets (MEM, JOW), pp. 733–742.
KDD-2014-RamakrishnanBMSKSWCVKKMZHCLHSTGKDAZFSFAGM #open source #using- “Beating the news” with EMBERS: forecasting civil unrest using open source indicators (NR, PB, SM, NS, RPK, PS, WW, JC, AV, GK, CJK, AM, LZ, TH, FC, CTL, BH, AS, KT, LG, GK, AD, CA, IZ, JF, KMS, YF, JA, DG, DM), pp. 1799–1808.
- KDD-2014-Ting #approximate
- Streamed approximate counting of distinct elements: beating optimal batch methods (DT), pp. 442–451.
- CHI-2013-FaresFK #question
- Can we beat the mouse with MAGIC? (RF, SF, OK), pp. 1387–1390.
SIGMOD-2012-WangLF #adaptation #framework #similarity- Can we beat the prefix filtering?: an adaptive framework for similarity join and search (JW, GL, JF), pp. 85–96.
- STOC-2012-HardtR #matrix #random
- Beating randomized response on incoherent matrices (MH, AR), pp. 1255–1268.
- SIGMOD-2011-TekleL #datalog #performance #query #set
- More efficient datalog queries: subsumptive tabling beats magic sets (KTT, YAL), pp. 661–672.
ITiCSE-2011-WolzMS #learning #process- Kinesthetic learning of computing via “off-beat” activities (UW, MM, MS), pp. 68–72.
ICML-2011-YueJ- Beat the Mean Bandit (YY, TJ), pp. 241–248.
SAC-2011-BarreraV #approach #automation #summary- Automated extractive single-document summarization: beating the baselines with a new approach (AB, RV), pp. 268–269.
SOFTVIS-2010-JohnsonM #concurrent #execution #named #source code #visualisation- Beat: a tool for visualizing the execution of object orientated concurrent programs (PJ, SM), pp. 225–226.
- CHI-2009-MagielseM #game studies #named #pervasive
- HeartBeat: an outdoor pervasive game for children (RM, PM), pp. 2181–2184.
DAC-2008-LiBNPC #approach #how #implementation #power management #set- How to let instruction set processor beat ASIC for low power wireless baseband implementation: a system level approach (ML, BB, DN, LVdP, FC), pp. 345–346.
REFSQ-2008-RegnellBW #complexity #question #requirements #scalability- Can We Beat the Complexity of Very Large-Scale Requirements Engineering? (BR, RBS, KW), pp. 123–128.
- STOC-2006-BarakRSW #graph
- 2-source dispersers for sub-polynomial entropy and Ramsey graphs beating the Frankl-Wilson construction (BB, AR, RS, AW), pp. 671–680.
- ICALP-2005-Wegener #combinator #optimisation
- Simulated Annealing Beats Metropolis in Combinatorial Optimization (IW), pp. 589–601.
ICLP-2001-GuoRR- Speculative Beats Conservative Justification (HFG, CRR, IVR), pp. 150–165.
ISSTA-1998-GodefroidHJ #analysis #model checking #monitoring #using- Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft (PG, RSH, LJJ), pp. 124–133.
- CHI-1997-Borchers #design #interactive #interface #music #named
- WorldBeat: Designing a Baton-Based Interface for an Interactive Music Exhibit (JOB), pp. 131–138.
- CHI-1996-YamaashiCNB
- Beating the Limitations of Camera-Monitor Mediated Telepresence with Extra Eyes (KY, JRC, TN, WB), pp. 50–57.
- ICML-1995-Lang95a #problem #search-based #synthesis
- Hill Climbing Beats Genetic Search on a Boolean Circuit Synthesis Problem of Koza’s (KJL), pp. 340–343.
- ILPS-1995-Toman #bottom-up #constraints #datalog #top-down
- Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.
PLILP-1994-Smith #multi #why- Why Multi-SLD Beats SLD (Even on a Uniprocessor) (DAS), pp. 40–56.
- STOC-1993-WigdersonZ #bound
- Expanders that beat the eigenvalue bound: explicit construction and applications (AW, DZ), pp. 245–251.
PODS-1989-Ullman #bottom-up #datalog #top-down- Bottom-Up Beats Top-Down for Datalog (JDU), pp. 140–149.
