BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
contest
Google contest

Tag #contest

227 papers:

CoGCoG-2019-JustesenUJMTR #challenge #game studies
Blood Bowl: A New Board Game Challenge and Competition for AI (NJ, LMU, CJ, PDM, JT, SR), pp. 1–8.
CoGCoG-2019-McQuighanBP #game studies #interface
B2CI 2019: The IEEE Brain to Computer Interface Competition's Gaming Event (JMM, GB, JMP), pp. 1–7.
CoGCoG-2019-StephensonPSB #framework #platform
Ludii as a Competition Platform (MS, ÉP, DJNJS, CB), pp. 1–8.
CoGCoG-2019-Walton-RiversWB
The 2018 Hanabi competition (JWR, PRW, RB), pp. 1–8.
CIKMCIKM-2019-ZhengXZFWZLXL #learning
Learning Phase Competition for Traffic Signal Control (GZ, YX, XZ, JF, HW, HZ, YL0, KX, ZL), pp. 1963–1972.
ICMLICML-2019-PanousisCT #network #parametricity
Nonparametric Bayesian Deep Networks with Local Competition (KPP, SC, ST), pp. 4980–4988.
FSCDFSCD-2018-0001HHMN0SZ #confluence
Confluence Competition 2018 (TA0, MH, NH, AM, JN, NN0, KS, HZ), p. 5.
CoGCIG-2018-CanaanSTTNM #evolution
Evolving Agents for the Hanabi 2018 CIG Competition (RC, HS, RRT, JT, AN, SM), pp. 1–8.
DiGRADiGRA-2018-RichardMA #collaboration #learning
Collegiate eSports as Learning Ecologies: Investigating Collaborative Learning and Cognition During Competitions (GTR, ZAM, RWA).
FDGFDG-2018-SalgeGCT #design #generative
Generative design in minecraft (GDMC): settlement generation competition (CS, MCG, RC, JT), p. 10.
ICPRICPR-2018-ArtaudSDOD #detection #exclamation
Find it! Fraud Detection Contest Report (CA, NS, AD, JMO, VPD), pp. 13–18.
ICPRICPR-2018-DingZXBBLDPZ #detection #image
ICPR2018 Contest on Object Detection in Aerial Images (ODAI-18) (JD, ZZ, GSX, XB, SJB, JL, MD, MP, LZ), pp. 1–6.
ICPRICPR-2018-DuSZ #identification #multi #network
Which Part is Better: Multi-Part Competition Network for person Re-Identification (PD, YS, YZ0), pp. 1634–1639.
ICPRICPR-2018-HeLYZLGZWZJ #image #multi #robust #web
ICPR2018 Contest on Robust Reading for Multi-Type Web Images (MH, YL, ZY, SZ0, CL, FG, QZ, YW, XZ, LJ), pp. 7–12.
KDDKDD-2018-Schlosser0 #approach #data-driven #online
Dynamic Pricing under Competition on Online Marketplaces: A Data-Driven Approach (RS, MB0), pp. 705–714.
KDDKDD-2018-YangZTWCH #case study #image #learning #recognition
Deep Learning for Practical Image Recognition: Case Study on Kaggle Competitions (XY, ZZ, SGT, LW, VC0, SCHH), pp. 923–931.
CASECASE-2018-LiuFHW #hybrid #performance
Increasing Fuel Efficiency of a Hybrid Electric Competition Car by a Binary Equivalent Consumption Minimization Strategy (TL, LF, MH, JW), pp. 1–7.
CoGCIG-2017-LeeT
Showdown AI competition (SL, JT), pp. 191–198.
ICSTICST-2017-AlegrothMVA #overview #testing
Overview of the ICST International Software Testing Contest (EA, SM, TEJV, KA), pp. 550–551.
EDMEDM-2016-JiangG #approach #graph #mining #on the
On Competition for Undergraduate Co-op Placements: A Graph Mining Approach (YHJ, LG), pp. 394–399.
CoGCIG-2016-WilliamsLL
Ms. Pac-Man Versus Ghost Team CIG 2016 competition (PRW, DPL, SML), pp. 1–8.
DiGRADiGRA-FDG-2016-NguyenZ #game studies #multi
Good Violence, Bad Violence: The Ethics of Competition in Multiplayer Games (CTN, JPZ).
CIKMCIKM-2016-DoanL #towards
Attractiveness versus Competition: Towards an Unified Model for User Visitation (TND, EPL), pp. 2149–2154.
ICPRICPR-2016-CarvajalWSL #automation #predict #towards
Towards Miss Universe automatic prediction: The evening gown competition (JC, AW, CS, BCL), pp. 1089–1094.
ICPRICPR-2016-EscalanteP0RCCE #analysis #challenge #multi #overview #perspective #visual notation
ChaLearn Joint Contest on Multimedia Challenges Beyond Visual Analysis: An overview (HJE, VPL, JW0, MAR, BC, AC, SE, IG, XB, PH, HM, MAL), pp. 67–73.
ICPRICPR-2016-LovellPSVW #analysis #image #pattern matching #pattern recognition #recognition
International Contest on Pattern Recognition techniques for indirect immunofluorescence images analysis (BCL, GP, AS, MV, AW), pp. 74–76.
ICPRICPR-2016-SantanaMNNP #challenge #evaluation #mobile
Mobile Iris CHallenge Evaluation II: Results from the ICPR competition (MCS, MDM, MN, FN, HP), pp. 149–154.
ICPRICPR-2016-ZayeneHTMHIA #detection #recognition #video
ICPR2016 contest on Arabic Text detection and Recognition in video frames - AcTiVComp (OZ, NH, SMT, SBM, JH, RI, NEBA), pp. 187–191.
CoGCIG-2015-PradaLCQM #game studies #geometry
The geometry friends game AI competition (RP, PL, JC, JQ, FSM), pp. 431–438.
CHICHI-2015-KwakBH #behaviour #game studies #online
Exploring Cyberbullying and Other Toxic Behavior in Team Competition Online Games (HK, JB, SH), pp. 3739–3748.
HCIHCI-UC-2015-ClarkSDJD #case study #convergence #experience #student
The Convergence Innovation Competition: Helping Students Create Innovative Products and Experiences via Technical and Business Mentorship (RJC, MS, BD, SJ, CD), pp. 144–153.
ICEISICEIS-v1-2015-ZhengLL
A Game-theory based Model for Analyzing E-marketplace Competition (JZ, WL, DLL), pp. 650–657.
ICMLICML-2015-BlumH #machine learning #reliability
The Ladder: A Reliable Leaderboard for Machine Learning Competitions (AB, MH), pp. 1006–1014.
KDDKDD-2015-ZhangKX #image #modelling #monitoring #online #topic
Dynamic Topic Modeling for Monitoring Market Competition from Online Text and Image Data (HZ, GK, EPX), pp. 1425–1434.
ICSEICSE-v1-2015-LaTozaCJZH #case study #design
Borrowing from the Crowd: A Study of Recombination in Software Design Competitions (TDL, MC, LJ, MZ, AvdH), pp. 551–562.
ICSEICSE-v2-2015-BishopHXTH #experience #scalability
Code Hunt: Experience with Coding Contests at Scale (JB, RNH, TX, NT, JdH), pp. 398–407.
ICSEICSE-v2-2015-Hanakawa #learning #motivation #re-engineering #student
Contest Based Learning with Blending Software Engineering and Business Management: For Students’ High Motivation and High Practice Ability (NH), pp. 360–369.
TACASTACAS-2015-AledoE #embedded #framework #verification
FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.
TACASTACAS-2015-CassezMPS #composition #named #refinement
Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.
TACASTACAS-2015-ChenHTWW #named #program transformation #recursion #source code #text-to-text #verification
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation — (Competition Contribution) (YFC, CH, MHT, BYW, FW), pp. 426–428.
TACASTACAS-2015-DanglLW #float #recursion #source code
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.
TACASTACAS-2015-GurfinkelKN #c #framework #named #source code #verification
SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.
TACASTACAS-2015-HaranCELQR #composition #verification
SMACK+Corral: A Modular Verifier — (Competition Contribution) (AH, MC, ME, AL, SQ, ZR), pp. 451–454.
TACASTACAS-2015-HeizmannDLMP #array
Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.
TACASTACAS-2015-HolikHLRSV #analysis #automaton #named #using
Forester: Shape Analysis Using Tree Automata — (Competition Contribution) (LH, MH, OL, AR, JS, TV), pp. 432–435.
TACASTACAS-2015-MullerPV
Predator Hunting Party (Competition Contribution) (PM, PP, TV), pp. 443–446.
TACASTACAS-2015-Nguyen0TP #bound #c #lazy evaluation #source code
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.
TACASTACAS-2015-NutzDMP #memory management #safety
ULTIMATE KOJAK with Memory Safety Checks — (Competition Contribution) (AN, DD, MMM, AP), pp. 458–460.
TACASTACAS-2015-StroderAFHG #c #memory management #named #safety #source code #termination
AProVE: Termination and Memory Safety of C Programs — (Competition Contribution) (TS, CA, FF, JH, JG), pp. 417–419.
TACASTACAS-2015-TomascoI0TP #memory management
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 436–438.
TACASTACAS-2015-Urban #abstract domain #named #termination
FuncTion: An Abstract Domain Functor for Termination — (Competition Contribution) (CU), pp. 464–466.
TACASTACAS-2015-WangB #named
Cascade — (Competition Contribution) (WW, CB), pp. 420–422.
CADECADE-2015-AotoHN0Z #confluence
Confluence Competition 2015 (TA, NH, JN, NN, HZ), pp. 101–104.
CADECADE-2015-GieslMRTW #termination
Termination Competition (termCOMP 2015) (JG, FM, AR, RT, JW), pp. 105–108.
ITiCSEITiCSE-2014-DagieneMPRS #performance #student
Students’ performance on programming-related tasks in an informatics contest in Finland, Sweden and Lithuania (VD, LM, TP, LR, PS), pp. 153–158.
SIGITESIGITE-2014-JacksonEC #analysis #performance #programming
An analysis of team performance in high school programming contests (SJ, HJCE, RC), pp. 27–32.
AIIDEAIIDE-2014-BuroC
AIIDE 2014 StarCraft Competition (MB, DC).
CHI-PLAYCHI-PLAY-2014-SheininG #game studies #using
Jelly polo: increasing richness and competition in sports games using small-scale exertion (MS, CG), pp. 367–370.
FDGFDG-2014-SiuZR #collaboration #design #evaluation #game studies
Collaboration versus competition: Design and evaluation of mechanics for games with a purpose (KS, AZ, MOR).
ICPRICPR-2014-HaindlM #image #segmentation
Unsupervised Image Segmentation Contest (MH, SM), pp. 1484–1489.
KMISKMIS-2014-Chen #collaboration #information management
Team Collaboration and Competition — Leadership Issue of Knowledge Management (HGC), pp. 331–338.
RERE-2014-ValencaAHJB #case study #collaboration #ecosystem #requirements
Competition and collaboration in requirements engineering: A case study of an emerging software ecosystem (GV, CFA, VH, SJ, SB), pp. 384–393.
SACSAC-2014-NunesNR #game studies #people
Motivating people to perform better in exergames: competition in virtual environments (MBN, LPN, VR), pp. 970–975.
TACASTACAS-2014-Beyer #summary #verification
Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
TACASTACAS-2014-DudkaPV #graph #memory management #named
Predator: A Shape Analyzer Based on Symbolic Memory Graphs — (Competition Contribution) (KD, PP, TV), pp. 412–414.
TACASTACAS-2014-ErmisNDHP
Ultimate Kojak — (Competition Contribution) (EE, AN, DD, JH, AP), pp. 421–423.
TACASTACAS-2014-GurfinkelB #named #verification
FrankenBit: Bit-Precise Verification with Many Bits — (Competition Contribution) (AG, AB), pp. 408–411.
TACASTACAS-2014-HeizmannCDHLMSWP #satisfiability
Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.
TACASTACAS-2014-InversoT0TP #c #lazy evaluation #named
Lazy-CSeq: A Lazy Sequentialization Tool for C — (Competition Contribution) (OI, ET, BF, SLT, GP), pp. 398–401.
TACASTACAS-2014-KroeningT #bound #c #model checking #named
CBMC — C Bounded Model Checker — (Competition Contribution) (DK, MT), pp. 389–391.
TACASTACAS-2014-LoweMW #analysis
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.
TACASTACAS-2014-MorseRCN0
ESBMC 1.22 — (Competition Contribution) (JM, MR, LCC, DN, BF), pp. 405–407.
TACASTACAS-2014-MullerV #named
CPAlien: Shape Analyzer for CPAChecker — (Competition Contribution) (PM, TV), pp. 395–397.
TACASTACAS-2014-SlabyS #precise #slicing
Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.
TACASTACAS-2014-TomascoI0TP #c #memory management #named #source code
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings — (Competition Contribution) (ET, OI, BF, SLT, GP), pp. 402–404.
ICDARICDAR-2013-AntonacopoulosCPP #analysis #layout
ICDAR 2013 Competition on Historical Newspaper Layout Analysis (HNLA 2013) (AA, CC, CP, SP), pp. 1454–1458.
ICDARICDAR-2013-AntonacopoulosCPP13a #recognition
ICDAR 2013 Competition on Historical Book Recognition (HBR 2013) (AA, CC, CP, SP), pp. 1459–1463.
ICDARICDAR-2013-DiemFGKKS #recognition
ICDAR 2013 Competition on Handwritten Digit Recognition (HDRC 2013) (MD, SF, AG, MK, FK, RS), pp. 1422–1427.
ICDARICDAR-2013-DoucetKCM
ICDAR 2013 Competition on Book Structure Extraction (AD, GK, SC, GM), pp. 1438–1443.
ICDARICDAR-2013-GobelHOO
ICDAR 2013 Table Competition (MCG, TH, EO, GO), pp. 1449–1453.
ICDARICDAR-2013-HassaineAAJ #gender #predict
ICDAR 2013 Competition on Gender Prediction from Handwriting (AH, SAM, JMA, AJ), pp. 1417–1421.
ICDARICDAR-2013-HassaineAB
ICDAR 2013 Competition on Handwriting Stroke Recovery from Offline Data (AH, SAM, AB), pp. 1412–1416.
ICDARICDAR-2013-KaratzasSUIBMMMAH #robust
ICDAR 2013 Robust Reading Competition (DK, FS, SU, MI, LGiB, SRM, JM, DFM, JA, LPdlH), pp. 1484–1493.
ICDARICDAR-2013-LouloudisGSP #identification
ICDAR 2013 Competition on Writer Identification (GL, BG, NS, AP), pp. 1397–1401.
ICDARICDAR-2013-MalikLAOBF #identification #verification
ICDAR 2013 Competitions on Signature Verification and Writer Identification for On- and Offline Skilled Forgeries (SigWiComp 2013) (MIM, ML, LA, WO, MB, BF), pp. 1477–1483.
ICDARICDAR-2013-MouchereVZGK #online #recognition
ICDAR 2013 CROHME: Third International Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, RZ, UG, DHK), pp. 1428–1432.
ICDARICDAR-2013-PapandreouGLS #documentation #estimation #image
ICDAR 2013 Document Image Skew Estimation Contest (DISEC 2013) (AP, BG, GL, NS), pp. 1444–1448.
ICDARICDAR-2013-PratikakisGN #documentation #image
ICDAR 2013 Document Image Binarization Contest (DIBCO 2013) (IP, BG, KN), pp. 1471–1476.
ICDARICDAR-2013-SlimaneKAAIH #multi
ICDAR2013 Competition on Multi-font and Multi-size Digitally Represented Arabic Text (FS, SK, HEA, AMA, RI, JH), pp. 1433–1437.
ICDARICDAR-2013-StamatopoulosGLPA #segmentation
ICDAR 2013 Handwriting Segmentation Contest (NS, BG, GL, UP, AA), pp. 1402–1406.
ICDARICDAR-2013-VisaniKFJ #music
ICDAR 2013 Music Scores Competition: Staff Removal (MV, VCK, AF, NJ), pp. 1407–1411.
ICDARICDAR-2013-YinWZL #recognition
ICDAR 2013 Chinese Handwriting Recognition Competition (FY, QFW, XYZ, CLL), pp. 1464–1470.
ITiCSEITiCSE-2013-JohnsonCH #development #game studies #learning
Learning elsewhere: tales from an extracurricular game development competition (CJ, AC, SH), pp. 70–75.
AIIDEAIIDE-2013-BuroC
AIIDE 2013 StarCraft Competition (MB, DC).
FDGFDG-2013-CarterG #bound #game studies #online
eSports in EVE Online: Skullduggery, fair play and acceptability in an unbounded competition (MC, MRG), pp. 47–54.
FDGFDG-2013-EmmerichM #collaboration #experience
Helping friends or fighting foes: The influence of collaboration and competition on player experience (KE, MM), pp. 150–157.
CHICHI-2013-FosterEG #design #education #game studies
From competition to metacognition: designing diverse, sustainable educational games (SRF, SE, WGG), pp. 99–108.
CSCWCSCW-2013-MasonC #exclamation
Friends FTW! friendship and competition in halo: reach (WAM, AC), pp. 375–386.
CSCWCSCW-2013-ParkSLB #design #scalability
Crowd vs. crowd: large-scale cooperative design through open team competition (CHP, KS, JHL, SHB), pp. 1275–1284.
HCIHIMI-D-2013-DjamasbiPY13a
Search Results Pages and Competition for Attention Theory: An Exploratory Eye-Tracking Study (SD, AHP, R(Y), pp. 576–583.
HCIOCSC-2013-RichterBKF #idea #identification #online
Online Idea Contests: Identifying Factors for User Retention (SR, SPB, GK, JF), pp. 76–85.
ICSEICSE-2013-Zeid #evaluation #framework #integration #re-engineering #source code #student
A framework to evaluate software engineering student contests: evaluation and integration with academic programs (AZ), pp. 1083–1089.
CASECASE-2013-HoC #design #game studies
Stackelberg game formulation of prize competition design for seeking shortest path solutions (TYH, SCC), pp. 374–379.
TACASTACAS-2013-0002IP #c #named
CSeq: A Sequentialization Tool for C — (Competition Contribution) (BF, OI, GP), pp. 616–618.
TACASTACAS-2013-AlbarghouthiGLCC #abstract interpretation #named #verification
UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
TACASTACAS-2013-Beyer #summary #verification
Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.
TACASTACAS-2013-DudkaMPV #low level #named #verification
Predator: A Tool for Verification of Low-Level List Manipulation — (Competition Contribution) (KD, PM, PP, TV), pp. 627–629.
TACASTACAS-2013-FalkeMS #bound #c #model checking #named #source code #using
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM — (Competition Contribution) (SF, FM, CS), pp. 623–626.
TACASTACAS-2013-HeizmannCDEHLNSP
Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.
TACASTACAS-2013-Lowe #analysis
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation — (Competition Contribution) (SL), pp. 610–612.
TACASTACAS-2013-MorseCNF #bound
Handling Unbounded Loops with ESBMC 1.20 — (Competition Contribution) (JM, LCC, DN, BF), pp. 619–622.
TACASTACAS-2013-PopeeaR #concurrent #multi #named #source code #thread #verification
Threader: A Verifier for Multi-threaded Programs — (Competition Contribution) (CP, AR), pp. 633–636.
TACASTACAS-2013-SlabyST #execution #named #slicing #symbolic computation
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
TACASTACAS-2013-Wendler #analysis
CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis — (Competition Contribution) (PW), pp. 613–615.
DRRDRR-2012-MenasriLBK #recognition
The A2iA French handwriting recognition system at the Rimes-ICDAR2011 competition (FM, JL, ALBB, CK).
AIIDEAIIDE-2012-BuroC
AIIDE 2012 StarCraft Competition (MB, DC).
CoGCIG-2012-AshlockASLL #co-evolution
From competition to cooperation: Co-evolution in a rewards continuum (DA, WA, SS, SML, CL), pp. 33–40.
CIKMCIKM-2012-ShirazipourazadBVSH #how
Influence propagation in adversarial setting: how to defeat competition with least amount of investment (SS, BB, HV, AS, PH), pp. 585–594.
ICSEICSE-2012-Cleland-HuangSKCLMGPHL #re-engineering #towards
Toward actionable, broadly accessible contests in Software Engineering (JCH, YS, EK, AC, GL, EM, MG, DP, JHH, WL), pp. 1329–1332.
DACDAC-2012-ViswanathanASLW #benchmark #metric
The DAC 2012 routability-driven placement contest and benchmark suite (NV, CJA, CCNS, ZL, YW), pp. 774–782.
TACASTACAS-2012-BaslerDKKTW #c #named #source code #verification
satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution) (GB, AFD, AK, DK, MT, TW), pp. 552–555.
TACASTACAS-2012-Beyer #verification
Competition on Software Verification — (SV-COMP) (DB0), pp. 504–524.
TACASTACAS-2012-CordeiroMNF #bound #model checking
Context-Bounded Model Checking with ESBMC 1.17 — (Competition Contribution) (LCC, JM, DN, BF), pp. 534–537.
TACASTACAS-2012-DudkaMPV #data type #linked data #named #open data #source code #verification
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.
TACASTACAS-2012-GrebenshchikovGLPR #horn clause #verification
HSF(C): A Software Verifier Based on Horn Clauses — (Competition Contribution) (SG, AG, NPL, CP, AR), pp. 549–551.
TACASTACAS-2012-HolzerKSTV #proving #reachability #using
Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.
TACASTACAS-2012-LoweW #analysis
CPAchecker with Adjustable Predicate Analysis — (Competition Contribution) (SL, PW), pp. 528–530.
TACASTACAS-2012-ShvedMM #analysis
Predicate Analysis with BLAST 2.7 — (Competition Contribution) (PS, MUM, VSM), pp. 525–527.
TACASTACAS-2012-SinzMF #bound #model checking #named #representation
LLBMC: A Bounded Model Checker for LLVM’s Intermediate Representation — (Competition Contribution) (CS, FM, SF), pp. 542–544.
TACASTACAS-2012-WeissenbacherKM #debugging #named
Wolverine: Battling Bugs with Interpolants — (Competition Contribution) (GW, DK, SM), pp. 556–558.
TACASTACAS-2012-Wonisch #abstraction
Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.
SMTSMT-2012-CokGBD #smt
The 2012 SMT Competition (DRC, AG, RB, MD), pp. 131–142.
ICDARICDAR-2011-AbedWM #analysis #documentation #overview #perspective #recognition
International Conference on Document Analysis and Recognition (ICDAR 2011) — Competitions Overview (HEA, LW, VM), pp. 1437–1443.
ICDARICDAR-2011-AntonacopoulosCPP #analysis #documentation #layout
Historical Document Layout Analysis Competition (AA, CC, CP, SP), pp. 1516–1520.
ICDARICDAR-2011-DoucetKM
ICDAR 2011 Book Structure Extraction Competition (AD, GK, JLM), pp. 1501–1505.
ICDARICDAR-2011-FornesDGL #identification #music
The ICDAR 2011 Music Scores Competition: Staff Removal and Writer Identification (AF, AD, AG, JL), pp. 1511–1515.
ICDARICDAR-2011-GrosickiA #recognition
ICDAR 2011 — French Handwriting Recognition Competition (EG, HEA), pp. 1459–1463.
ICDARICDAR-2011-HassaineAAJB #identification
The ICDAR2011 Arabic Writer Identification Contest (AH, SAM, JMA, AJ, AB), pp. 1470–1474.
ICDARICDAR-2011-KaratzasMMNR #challenge #email #image #robust #web
ICDAR 2011 Robust Reading Competition — Challenge 1: Reading Text in Born-Digital Images (Web and Email) (DK, SRM, JM, FN, PPR), pp. 1485–1490.
ICDARICDAR-2011-KherallahTAAM #online #recognition
Online Arabic Handwriting Recognition Competition (MK, NT, AMA, HEA, VM), pp. 1454–1458.
ICDARICDAR-2011-LamiroyLS #algorithm #analysis #documentation
Document Analysis Algorithm Contributions in End-to-End Applications: Report on the ICDAR 2011 Contest (BL, DPL, TS), pp. 1521–1525.
ICDARICDAR-2011-LiuYWW11a #recognition
ICDAR 2011 Chinese Handwriting Recognition Competition (CLL, FY, QFW, DHW), pp. 1464–1469.
ICDARICDAR-2011-LiwickiMHCBSBF #online #verification
Signature Verification Competition for Online and Offline Skilled Forgeries (SigComp2011) (ML, MIM, CEvdH, XC, CB, RS, MB, BF), pp. 1480–1484.
ICDARICDAR-2011-LouloudisSG #identification
ICDAR 2011 Writer Identification Contest (GL, NS, BG), pp. 1475–1479.
ICDARICDAR-2011-MargnerA #recognition
ICDAR 2011 — Arabic Handwriting Recognition Competition (VM, HEA), pp. 1444–1448.
ICDARICDAR-2011-MouchereVKKG #named #online #recognition
CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, DHK, JHK, UG), pp. 1497–1500.
ICDARICDAR-2011-PratikakisGN #documentation #image
ICDAR 2011 Document Image Binarization Contest (DIBCO 2011) (IP, BG, KN), pp. 1506–1510.
ICDARICDAR-2011-ShahabSD11a #challenge #image #robust
ICDAR 2011 Robust Reading Competition Challenge 2: Reading Text in Scene Images (AS, FS, AD), pp. 1491–1496.
ICDARICDAR-2011-SlimaneKAAIH #multi #recognition
ICDAR 2011 — Arabic Recognition Competition: Multi-font Multi-size Digitally Represented Text (FS, SK, HEA, AMA, RI, JH), pp. 1449–1453.
ITiCSEITiCSE-2011-HabermanCD
The beaver contest: attracting youngsters to study computing (BH, AC, VD), p. 378.
SIGITESIGITE-2011-BaiT #security #student
Cyber defense competition: enhancing student competency in information security (YB, CT), pp. 305–306.
FMFM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #experience
The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
AIIDEAIIDE-2011-BlackadarD #behaviour #testing
Behavior Learning-Based Testing of Starcraft Competition Entries (MB, JD).
ICEISICEIS-v3-2011-Zhao #analysis #industrial
The Competitive Strategy Analysis of Express Industry based on Time-based Competition (JZ), pp. 502–506.
ICEISICEIS-v4-2011-ZhangZ11a #algorithm #game studies #performance
Model and Algorithm of Competition Between High-speed Railway and Air Transport — Game Theory Based (JZ, PZ), pp. 563–568.
ICMLICML-2011-NikolenkoS #rating
A New Bayesian Rating System for Team Competitions (SIN, AS), pp. 601–608.
AIIDEAIIDE-2010-Weber
AIIDE 2010 StarCraft Competition (BGW).
ICPRICPR-2010-Nowak #challenge
ImageCLEF@ICPR Contest: Challenges, Methodologies and Results of the Photo Annotation Task (SN), pp. 489–492.
RecSysRecSys-2010-ResnickKHP #named #question
Contests: way forward or detour? (PR, JAK, AH, JP), pp. 37–38.
WRLAWRLA-2010-DuranRBBBCEEJK
The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.
ICDARICDAR-2009-AbedMKA #online #recognition
ICDAR 2009 Online Arabic Handwriting Recognition Competition (HEA, VM, MK, AMA), pp. 1388–1392.
ICDARICDAR-2009-AntonacopoulosPBP #segmentation
ICDAR 2009 Page Segmentation Competition (AA, SP, DB, CP), pp. 1370–1374.
ICDARICDAR-2009-BlankersHFV #verification
ICDAR 2009 Signature Verification Competition (VLB, CEvdH, KF, LV), pp. 1403–1407.
ICDARICDAR-2009-DoucetKDURT
ICDAR 2009 Book Structure Extraction Competition (AD, GK, BD, AU, BR, NT), pp. 1408–1412.
ICDARICDAR-2009-GatosNP #documentation #image
ICDAR 2009 Document Image Binarization Contest (DIBCO 2009) (BG, KN, IP), pp. 1375–1382.
ICDARICDAR-2009-GatosSL #segmentation
ICDAR 2009 Handwriting Segmentation Contest (BG, NS, GL), pp. 1393–1397.
ICDARICDAR-2009-GrosickiA #recognition
ICDAR 2009 Handwriting Recognition Competition (EG, HEA), pp. 1398–1402.
ICDARICDAR-2009-MargnerA #recognition
ICDAR 2009 Arabic Handwriting Recognition Competition (VM, HEA), pp. 1383–1387.
ICDARICDAR-2009-MozaffariS #recognition
ICDAR 2009 Handwritten Farsi/Arabic Character Recognition Competition (SM, HS), pp. 1413–1417.
ITiCSEITiCSE-2009-Rosenbloom #programming
Running a programming contest in an introductory computer science course (AR), p. 347.
CoGCIG-2009-Lucas09a
Ms Pac-Man versus ghost-team competition (SML).
CoGCIG-2009-PerezRSI #evolution #fuzzy
Evolving a fuzzy controller for a Car Racing Competition (DPL, GR, YS, PI), pp. 263–270.
CoGCIG-2009-Togelius
Mario AI competition (JT).
HCIHIMI-II-2009-FagerstromG #case study #design #online #persuasion #web
The Persuasive Effects from Web 2.0 Marketing: A Case Study Investigating the Persuasive Effect from an Online Design Competition (AF, GG), pp. 10–16.
WRLAWRLA-2008-DuranRBBEKKMSV09
The Second Rewrite Engines Competition (FD, MR, EB, MvdB, SE, KTK, LCLK, PEM, RS, EV), pp. 281–291.
ITiCSEITiCSE-2008-JiWC #detection #experience #programming #source code
An experience of detecting plagiarized source codes in competitive programming contests (JHJ, GW, HGC), p. 369.
SIGITESIGITE-2008-RandolphO #community #student #web
Attracting communities and students to IT with a community service web contest (GBR, DOO), pp. 77–80.
ICFPICFP-2008-DolstraHHHJLLMRS #programming
Report on the tenth ICFP programming contest (ED, JH, BH, SH, JJ, AL, CL, AM, AR, JvS), pp. 397–408.
CoGCIG-2008-LoiaconoTLKLSPRS
The WCCI 2008 simulated car racing competition (DL, JT, PLL, LKH, SML, MS, DPL, RGR, YS), pp. 119–126.
CoGCIG-2008-PerezSRI #automation #evolution
Evolving a rule system controller for automatic driving in a car racing competition (DPL, YS, GR, PI), pp. 336–342.
CoGCIG-2008-ThangG #approach #fuzzy
A fuzzy approach for the 2007 CIG simulated car racing competition (HDT, JMG), pp. 127–134.
ICGTICGT-2008-RensinkG #graph #tool support
Graph-Based Tools: The Contest (AR, PVG), pp. 463–466.
SACSAC-2008-BazzanSDB #game studies
Emerging cooperation in a public goods game with competition (ALCB, RdS, SRD, ATB), pp. 8–12.
IJCARIJCAR-2008-Sutcliffe
CASC-J4 The 4th IJCAR ATP System Competition (GS), pp. 457–458.
ICDARICDAR-2007-AntonacopoulosGB #segmentation
Page Segmentation Competition (AA, BG, DB), pp. 1279–1283.
ICDARICDAR-2007-GatosAS #segmentation
Handwriting Segmentation Contest (BG, AA, NS), pp. 1284–1288.
ICDARICDAR-2007-MargnerA #recognition
Arabic Handwriting Recognition Competition (VM, HEA), pp. 1274–1278.
RTARTA-2007-MarcheZ #termination
The Termination Competition (CM, HZ), pp. 303–313.
AGTIVEAGTIVE-2007-RensinkT #graph transformation
AGTIVE 2007 Graph Transformation Tool Contest (AR, GT), pp. 487–492.
HCIHCI-AS-2007-ChoK #collaboration #learning
Suppressing Competition in a Computer-Supported Collaborative Learning System (KC, BK), pp. 208–214.
HCIOCSC-2007-YuanZW #community #game studies #online
Cooperation and Competition Dynamics in an Online Game Community (RY, LZ, WW), pp. 475–484.
ICEISICEIS-AIDSS-2007-DanielsC #benchmark #case study #generative #metric #modelling #performance
Explanation Generation in Business Performance Models — With a Case Study in Competition Benchmarking (HD, EC), pp. 119–128.
VLDBVLDB-2006-HausteinHL #protocol #xml
Contest of XML Lock Protocols (MPH, TH, KL), pp. 1069–1080.
ICPRICPR-v2-2006-PanBD #bottom-up #functional #image #segmentation #using
Bottom-Up Hierarchical Image Segmentation Using Region Competition and the Mumford-Shah Functional (YP, JDB, SMD), pp. 117–121.
ICSEICSE-2006-WashizakiKWNHHF #design #embedded #evaluation #quality
Experiments on quality evaluation of embedded software in Japan robot software design contest (HW, YK, HW, EN, YH, KH, KF), pp. 551–560.
IJCARIJCAR-2006-Sutcliffe #named
CASC-J3 — The 3rd IJCAR ATP System Competition (GS), pp. 572–573.
ICDARICDAR-2005-AntonacopoulosBG #segmentation
Page Segmentation Competition (AA, DB, BG), pp. 75–79.
ICDARICDAR-2005-Lucas
Text Locating Competition Results (SML), pp. 80–85.
ICDARICDAR-2005-MargnerPA #recognition
Arabic Handwriting Recognition Competition (VM, MP, HEA), pp. 70–74.
DiGRADiGRA-2005-Sotamaa #exclamation #game studies #quote
“Have Fun Working with Our Product!”: Critical Perspectives On Computer Game Mod Competitions (OS).
SPLCSPLC-2005-Clements #modelling #product line
A Competition of Software Product Line Economic Models (PCC), p. 136.
DATEDATE-2005-SomaniCP #design #optimisation #search-based
Mixing Global and Local Competition in Genetic Optimization based Design Space Exploration of Analog Circuits (AS, PPC, AP), pp. 1064–1069.
ICSTSAT-J-2004-BerreS05 #satisfiability
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition (DLB, LS), pp. 321–344.
CAVCAV-2005-BarrettMS #modulo theories #named #satisfiability
SMT-COMP: Satisfiability Modulo Theories Competition (CWB, LMdM, AS), pp. 20–23.
IJCARIJCAR-2004-SutcliffeS
The CADE ATP System Competition (GS, CBS), pp. 490–491.
ICDARICDAR-2003-AntonacopoulosGK #segmentation
ICDAR 2003 Page Segmentation Competition (AA, BG, DK), p. 688–?.
ICDARICDAR-2003-LucasPSTWY #robust
ICDAR 2003 Robust Reading Competitions (SML, AP, LS, AT, SW, RY), pp. 682–687.
CSEETCSEET-2003-LandC04 #design
Preparing for the 2004 IEEE Computer Society International Design Competition (CSIDC) (SKL, AC), p. 326.
CADECADE-2003-SutcliffeS
The CADE-19 ATP System Competition (GS, CBS), pp. 295–296.
ICSTSAT-2003-BerreS #satisfiability
The Essentials of the SAT 2003 Competition (DLB, LS), pp. 452–467.
ICPRICPR-v1-2002-HoBG #3d #automation #evolution #segmentation
Level-Set Evolution with Region Competition: Automatic 3-D Segmentation of Brain Tumors (SH, EB, GG), p. 532–?.
ICPRICPR-v3-2002-MaioMCWJ #named #verification
FVC2002: Second Fingerprint Verification Competition (DM, DM, RC, JLW, AKJ), pp. 811–814.
ICDARICDAR-2001-GatosMA #segmentation
First International Newspaper Segmentation Contest (BG, SLM, AA), p. 1190–?.
ICEISICEIS-2000-carrascoLB #information management
Information Systems for Improving Competition in Deregulated Electricity Market (AC, JL, IB), pp. 402–406.
ICMLICML-2000-VuceticO
Discovering Homogeneous Regions in Spatial Data through Competition (SV, ZO), pp. 1095–1102.
ICPRICPR-v1-2000-TangXM #parametricity #segmentation #semantics
Semantically Homogeneous Segmentation with Nonparametric Region Competition (MT, JX, SM), pp. 1648–1651.
ICPRICPR-v1-2000-TorreR #algorithm #image
Agricultural-Field Extraction on Aerial Images by Region Competition Algorithm (MT, PR), pp. 1313–1316.
ICPRICPR-v4-2000-AksoyYSSWHPPRSF #algorithm #performance
Algorithm Performance Contest (SA, MY, MLS, MS, YW, RMH, JRP, JP, DR, CS, GF), pp. 4870–4876.
CADECADE-1999-HutterB #design #induction #proving #theorem proving
The Design of the CADE-16 Inductive Theorem Prover Contest (DH, AB), pp. 374–377.
KRKR-1996-SmirnovV #integer #performance #programming #representation
Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods (YVS, MMV), pp. 124–134.
CADECADE-1996-SuttnerS #design
The Design of the CADE-13 ATP System Competition (CBS, GS), pp. 146–160.
ICDARICDAR-1993-MatsuiNYWY #recognition #state of the art
State of the art of handwritten numeral recognition in Japan-The results of the first IPTP character recognition competition (TM, TN, IY, TW, MY), pp. 391–396.
ICMLML-1992-Janikow #induction #learning
Combining Competition and Cooperation in Supervised Inductive Learning (CZJ), pp. 241–248.
ICMLML-1990-RamseyGS #difference #learning
Simulation-Assisted Learning by Competition: Effects of Noise Differences Between Training Model and Target Environment (CLR, JJG, ACS), pp. 211–215.
ICMLML-1989-Selfridge #adaptation #case study #learning
Atoms of Learning II: Adaptive Strategies A Study of Two-Person Zero-Sum Competition (OGS), pp. 412–415.
DACDAC-1988-AgrawalCA #concurrent #generative #named
Contest: A Concurrent Test Generator for Sequential Circuits (VDA, KTC, PA), pp. 84–89.
ICLPJICSCP-1988-NgL88 #execution #logic programming #parallel #source code
The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.

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.