Tag #contest
227 papers:
CoG-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.
CoG-2019-McQuighanBP #game studies #interface- B2CI 2019: The IEEE Brain to Computer Interface Competition's Gaming Event (JMM, GB, JMP), pp. 1–7.
CoG-2019-StephensonPSB #framework #platform- Ludii as a Competition Platform (MS, ÉP, DJNJS, CB), pp. 1–8.
CoG-2019-Walton-RiversWB - The 2018 Hanabi competition (JWR, PRW, RB), pp. 1–8.
CIKM-2019-ZhengXZFWZLXL #learning- Learning Phase Competition for Traffic Signal Control (GZ, YX, XZ, JF, HW, HZ, YL0, KX, ZL), pp. 1963–1972.
ICML-2019-PanousisCT #network #parametricity- Nonparametric Bayesian Deep Networks with Local Competition (KPP, SC, ST), pp. 4980–4988.
FSCD-2018-0001HHMN0SZ #confluence- Confluence Competition 2018 (TA0, MH, NH, AM, JN, NN0, KS, HZ), p. 5.
CIG-2018-CanaanSTTNM #evolution- Evolving Agents for the Hanabi 2018 CIG Competition (RC, HS, RRT, JT, AN, SM), pp. 1–8.
DiGRA-2018-RichardMA #collaboration #learning- Collegiate eSports as Learning Ecologies: Investigating Collaborative Learning and Cognition During Competitions (GTR, ZAM, RWA).
FDG-2018-SalgeGCT #design #generative- Generative design in minecraft (GDMC): settlement generation competition (CS, MCG, RC, JT), p. 10.
ICPR-2018-ArtaudSDOD #detection #exclamation- Find it! Fraud Detection Contest Report (CA, NS, AD, JMO, VPD), pp. 13–18.
ICPR-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.
ICPR-2018-DuSZ #identification #multi #network- Which Part is Better: Multi-Part Competition Network for person Re-Identification (PD, YS, YZ0), pp. 1634–1639.
ICPR-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.
KDD-2018-Schlosser0 #approach #data-driven #online- Dynamic Pricing under Competition on Online Marketplaces: A Data-Driven Approach (RS, MB0), pp. 705–714.
KDD-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.
CASE-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.
CIG-2017-LeeT - Showdown AI competition (SL, JT), pp. 191–198.
ICST-2017-AlegrothMVA #overview #testing- Overview of the ICST International Software Testing Contest (EA, SM, TEJV, KA), pp. 550–551.
EDM-2016-JiangG #approach #graph #mining #on the- On Competition for Undergraduate Co-op Placements: A Graph Mining Approach (YHJ, LG), pp. 394–399.
CIG-2016-WilliamsLL - Ms. Pac-Man Versus Ghost Team CIG 2016 competition (PRW, DPL, SML), pp. 1–8.
DiGRA-FDG-2016-NguyenZ #game studies #multi- Good Violence, Bad Violence: The Ethics of Competition in Multiplayer Games (CTN, JPZ).
CIKM-2016-DoanL #towards- Attractiveness versus Competition: Towards an Unified Model for User Visitation (TND, EPL), pp. 2149–2154.
ICPR-2016-CarvajalWSL #automation #predict #towards- Towards Miss Universe automatic prediction: The evening gown competition (JC, AW, CS, BCL), pp. 1089–1094.
ICPR-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.
ICPR-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.
ICPR-2016-SantanaMNNP #challenge #evaluation #mobile- Mobile Iris CHallenge Evaluation II: Results from the ICPR competition (MCS, MDM, MN, FN, HP), pp. 149–154.
ICPR-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.
CIG-2015-PradaLCQM #game studies #geometry- The geometry friends game AI competition (RP, PL, JC, JQ, FSM), pp. 431–438.
CHI-2015-KwakBH #behaviour #game studies #online- Exploring Cyberbullying and Other Toxic Behavior in Team Competition Online Games (HK, JB, SH), pp. 3739–3748.
HCI-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.
ICEIS-v1-2015-ZhengLL - A Game-theory based Model for Analyzing E-marketplace Competition (JZ, WL, DLL), pp. 650–657.
ICML-2015-BlumH #machine learning #reliability- The Ladder: A Reliable Leaderboard for Machine Learning Competitions (AB, MH), pp. 1006–1014.
KDD-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.
ICSE-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.
ICSE-v2-2015-BishopHXTH #experience #scalability- Code Hunt: Experience with Coding Contests at Scale (JB, RNH, TX, NT, JdH), pp. 398–407.
ICSE-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.
TACAS-2015-AledoE #embedded #framework #verification- FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.
TACAS-2015-CassezMPS #composition #named #refinement- Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.
TACAS-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.
TACAS-2015-DanglLW #float #recursion #source code- CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.
TACAS-2015-GurfinkelKN #c #framework #named #source code #verification- SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.
TACAS-2015-HaranCELQR #composition #verification- SMACK+Corral: A Modular Verifier — (Competition Contribution) (AH, MC, ME, AL, SQ, ZR), pp. 451–454.
TACAS-2015-HeizmannDLMP #array- Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.
TACAS-2015-HolikHLRSV #analysis #automaton #named #using- Forester: Shape Analysis Using Tree Automata — (Competition Contribution) (LH, MH, OL, AR, JS, TV), pp. 432–435.
TACAS-2015-MullerPV - Predator Hunting Party (Competition Contribution) (PM, PP, TV), pp. 443–446.
TACAS-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.
TACAS-2015-NutzDMP #memory management #safety- ULTIMATE KOJAK with Memory Safety Checks — (Competition Contribution) (AN, DD, MMM, AP), pp. 458–460.
TACAS-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.
TACAS-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.
TACAS-2015-Urban #abstract domain #named #termination- FuncTion: An Abstract Domain Functor for Termination — (Competition Contribution) (CU), pp. 464–466.
TACAS-2015-WangB #named- Cascade — (Competition Contribution) (WW, CB), pp. 420–422.
CADE-2015-AotoHN0Z #confluence- Confluence Competition 2015 (TA, NH, JN, NN, HZ), pp. 101–104.
CADE-2015-GieslMRTW #termination- Termination Competition (termCOMP 2015) (JG, FM, AR, RT, JW), pp. 105–108.
ITiCSE-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.
SIGITE-2014-JacksonEC #analysis #performance #programming- An analysis of team performance in high school programming contests (SJ, HJCE, RC), pp. 27–32.
AIIDE-2014-BuroC - AIIDE 2014 StarCraft Competition (MB, DC).
CHI-PLAY-2014-SheininG #game studies #using- Jelly polo: increasing richness and competition in sports games using small-scale exertion (MS, CG), pp. 367–370.
FDG-2014-SiuZR #collaboration #design #evaluation #game studies- Collaboration versus competition: Design and evaluation of mechanics for games with a purpose (KS, AZ, MOR).
ICPR-2014-HaindlM #image #segmentation- Unsupervised Image Segmentation Contest (MH, SM), pp. 1484–1489.
KMIS-2014-Chen #collaboration #information management- Team Collaboration and Competition — Leadership Issue of Knowledge Management (HGC), pp. 331–338.
RE-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.
SAC-2014-NunesNR #game studies #people- Motivating people to perform better in exergames: competition in virtual environments (MBN, LPN, VR), pp. 970–975.
TACAS-2014-Beyer #summary #verification- Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
TACAS-2014-DudkaPV #graph #memory management #named- Predator: A Shape Analyzer Based on Symbolic Memory Graphs — (Competition Contribution) (KD, PP, TV), pp. 412–414.
TACAS-2014-ErmisNDHP - Ultimate Kojak — (Competition Contribution) (EE, AN, DD, JH, AP), pp. 421–423.
TACAS-2014-GurfinkelB #named #verification- FrankenBit: Bit-Precise Verification with Many Bits — (Competition Contribution) (AG, AB), pp. 408–411.
TACAS-2014-HeizmannCDHLMSWP #satisfiability- Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.
TACAS-2014-InversoT0TP #c #lazy evaluation #named- Lazy-CSeq: A Lazy Sequentialization Tool for C — (Competition Contribution) (OI, ET, BF, SLT, GP), pp. 398–401.
TACAS-2014-KroeningT #bound #c #model checking #named- CBMC — C Bounded Model Checker — (Competition Contribution) (DK, MT), pp. 389–391.
TACAS-2014-LoweMW #analysis- CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.
TACAS-2014-MorseRCN0 - ESBMC 1.22 — (Competition Contribution) (JM, MR, LCC, DN, BF), pp. 405–407.
TACAS-2014-MullerV #named- CPAlien: Shape Analyzer for CPAChecker — (Competition Contribution) (PM, TV), pp. 395–397.
TACAS-2014-SlabyS #precise #slicing- Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.
TACAS-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.
ICDAR-2013-AntonacopoulosCPP #analysis #layout- ICDAR 2013 Competition on Historical Newspaper Layout Analysis (HNLA 2013) (AA, CC, CP, SP), pp. 1454–1458.
ICDAR-2013-AntonacopoulosCPP13a #recognition- ICDAR 2013 Competition on Historical Book Recognition (HBR 2013) (AA, CC, CP, SP), pp. 1459–1463.
ICDAR-2013-DiemFGKKS #recognition- ICDAR 2013 Competition on Handwritten Digit Recognition (HDRC 2013) (MD, SF, AG, MK, FK, RS), pp. 1422–1427.
ICDAR-2013-DoucetKCM - ICDAR 2013 Competition on Book Structure Extraction (AD, GK, SC, GM), pp. 1438–1443.
ICDAR-2013-GobelHOO - ICDAR 2013 Table Competition (MCG, TH, EO, GO), pp. 1449–1453.
ICDAR-2013-HassaineAAJ #gender #predict- ICDAR 2013 Competition on Gender Prediction from Handwriting (AH, SAM, JMA, AJ), pp. 1417–1421.
ICDAR-2013-HassaineAB - ICDAR 2013 Competition on Handwriting Stroke Recovery from Offline Data (AH, SAM, AB), pp. 1412–1416.
ICDAR-2013-KaratzasSUIBMMMAH #robust- ICDAR 2013 Robust Reading Competition (DK, FS, SU, MI, LGiB, SRM, JM, DFM, JA, LPdlH), pp. 1484–1493.
ICDAR-2013-LouloudisGSP #identification- ICDAR 2013 Competition on Writer Identification (GL, BG, NS, AP), pp. 1397–1401.
ICDAR-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.
ICDAR-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.
ICDAR-2013-PapandreouGLS #documentation #estimation #image- ICDAR 2013 Document Image Skew Estimation Contest (DISEC 2013) (AP, BG, GL, NS), pp. 1444–1448.
ICDAR-2013-PratikakisGN #documentation #image- ICDAR 2013 Document Image Binarization Contest (DIBCO 2013) (IP, BG, KN), pp. 1471–1476.
ICDAR-2013-SlimaneKAAIH #multi- ICDAR2013 Competition on Multi-font and Multi-size Digitally Represented Arabic Text (FS, SK, HEA, AMA, RI, JH), pp. 1433–1437.
ICDAR-2013-StamatopoulosGLPA #segmentation- ICDAR 2013 Handwriting Segmentation Contest (NS, BG, GL, UP, AA), pp. 1402–1406.
ICDAR-2013-VisaniKFJ #music- ICDAR 2013 Music Scores Competition: Staff Removal (MV, VCK, AF, NJ), pp. 1407–1411.
ICDAR-2013-YinWZL #recognition- ICDAR 2013 Chinese Handwriting Recognition Competition (FY, QFW, XYZ, CLL), pp. 1464–1470.
ITiCSE-2013-JohnsonCH #development #game studies #learning- Learning elsewhere: tales from an extracurricular game development competition (CJ, AC, SH), pp. 70–75.
AIIDE-2013-BuroC - AIIDE 2013 StarCraft Competition (MB, DC).
FDG-2013-CarterG #bound #game studies #online- eSports in EVE Online: Skullduggery, fair play and acceptability in an unbounded competition (MC, MRG), pp. 47–54.
FDG-2013-EmmerichM #collaboration #experience- Helping friends or fighting foes: The influence of collaboration and competition on player experience (KE, MM), pp. 150–157.
CHI-2013-FosterEG #design #education #game studies- From competition to metacognition: designing diverse, sustainable educational games (SRF, SE, WGG), pp. 99–108.
CSCW-2013-MasonC #exclamation- Friends FTW! friendship and competition in halo: reach (WAM, AC), pp. 375–386.
CSCW-2013-ParkSLB #design #scalability- Crowd vs. crowd: large-scale cooperative design through open team competition (CHP, KS, JHL, SHB), pp. 1275–1284.
HIMI-D-2013-DjamasbiPY13a - Search Results Pages and Competition for Attention Theory: An Exploratory Eye-Tracking Study (SD, AHP, R(Y), pp. 576–583.
OCSC-2013-RichterBKF #idea #identification #online- Online Idea Contests: Identifying Factors for User Retention (SR, SPB, GK, JF), pp. 76–85.
ICSE-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.
CASE-2013-HoC #design #game studies- Stackelberg game formulation of prize competition design for seeking shortest path solutions (TYH, SCC), pp. 374–379.
TACAS-2013-0002IP #c #named- CSeq: A Sequentialization Tool for C — (Competition Contribution) (BF, OI, GP), pp. 616–618.
TACAS-2013-AlbarghouthiGLCC #abstract interpretation #named #verification- UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
TACAS-2013-Beyer #summary #verification- Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.
TACAS-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.
TACAS-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.
TACAS-2013-HeizmannCDEHLNSP - Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.
TACAS-2013-Lowe #analysis- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation — (Competition Contribution) (SL), pp. 610–612.
TACAS-2013-MorseCNF #bound- Handling Unbounded Loops with ESBMC 1.20 — (Competition Contribution) (JM, LCC, DN, BF), pp. 619–622.
TACAS-2013-PopeeaR #concurrent #multi #named #source code #thread #verification- Threader: A Verifier for Multi-threaded Programs — (Competition Contribution) (CP, AR), pp. 633–636.
TACAS-2013-SlabyST #execution #named #slicing #symbolic computation- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
TACAS-2013-Wendler #analysis- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis — (Competition Contribution) (PW), pp. 613–615.
DRR-2012-MenasriLBK #recognition- The A2iA French handwriting recognition system at the Rimes-ICDAR2011 competition (FM, JL, ALBB, CK).
AIIDE-2012-BuroC - AIIDE 2012 StarCraft Competition (MB, DC).
CIG-2012-AshlockASLL #co-evolution- From competition to cooperation: Co-evolution in a rewards continuum (DA, WA, SS, SML, CL), pp. 33–40.
CIKM-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.
ICSE-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.
DAC-2012-ViswanathanASLW #benchmark #metric- The DAC 2012 routability-driven placement contest and benchmark suite (NV, CJA, CCNS, ZL, YW), pp. 774–782.
TACAS-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.
TACAS-2012-Beyer #verification- Competition on Software Verification — (SV-COMP) (DB0), pp. 504–524.
TACAS-2012-CordeiroMNF #bound #model checking- Context-Bounded Model Checking with ESBMC 1.17 — (Competition Contribution) (LCC, JM, DN, BF), pp. 534–537.
TACAS-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.
TACAS-2012-GrebenshchikovGLPR #horn clause #verification- HSF(C): A Software Verifier Based on Horn Clauses — (Competition Contribution) (SG, AG, NPL, CP, AR), pp. 549–551.
TACAS-2012-HolzerKSTV #proving #reachability #using- Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.
TACAS-2012-LoweW #analysis- CPAchecker with Adjustable Predicate Analysis — (Competition Contribution) (SL, PW), pp. 528–530.
TACAS-2012-ShvedMM #analysis- Predicate Analysis with BLAST 2.7 — (Competition Contribution) (PS, MUM, VSM), pp. 525–527.
TACAS-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.
TACAS-2012-WeissenbacherKM #debugging #named- Wolverine: Battling Bugs with Interpolants — (Competition Contribution) (GW, DK, SM), pp. 556–558.
TACAS-2012-Wonisch #abstraction- Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.
SMT-2012-CokGBD #smt- The 2012 SMT Competition (DRC, AG, RB, MD), pp. 131–142.
ICDAR-2011-AbedWM #analysis #documentation #overview #perspective #recognition- International Conference on Document Analysis and Recognition (ICDAR 2011) — Competitions Overview (HEA, LW, VM), pp. 1437–1443.
ICDAR-2011-AntonacopoulosCPP #analysis #documentation #layout- Historical Document Layout Analysis Competition (AA, CC, CP, SP), pp. 1516–1520.
ICDAR-2011-DoucetKM - ICDAR 2011 Book Structure Extraction Competition (AD, GK, JLM), pp. 1501–1505.
ICDAR-2011-FornesDGL #identification #music- The ICDAR 2011 Music Scores Competition: Staff Removal and Writer Identification (AF, AD, AG, JL), pp. 1511–1515.
ICDAR-2011-GrosickiA #recognition- ICDAR 2011 — French Handwriting Recognition Competition (EG, HEA), pp. 1459–1463.
ICDAR-2011-HassaineAAJB #identification- The ICDAR2011 Arabic Writer Identification Contest (AH, SAM, JMA, AJ, AB), pp. 1470–1474.
ICDAR-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.
ICDAR-2011-KherallahTAAM #online #recognition- Online Arabic Handwriting Recognition Competition (MK, NT, AMA, HEA, VM), pp. 1454–1458.
ICDAR-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.
ICDAR-2011-LiuYWW11a #recognition- ICDAR 2011 Chinese Handwriting Recognition Competition (CLL, FY, QFW, DHW), pp. 1464–1469.
ICDAR-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.
ICDAR-2011-LouloudisSG #identification- ICDAR 2011 Writer Identification Contest (GL, NS, BG), pp. 1475–1479.
ICDAR-2011-MargnerA #recognition- ICDAR 2011 — Arabic Handwriting Recognition Competition (VM, HEA), pp. 1444–1448.
ICDAR-2011-MouchereVKKG #named #online #recognition- CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, DHK, JHK, UG), pp. 1497–1500.
ICDAR-2011-PratikakisGN #documentation #image- ICDAR 2011 Document Image Binarization Contest (DIBCO 2011) (IP, BG, KN), pp. 1506–1510.
ICDAR-2011-ShahabSD11a #challenge #image #robust- ICDAR 2011 Robust Reading Competition Challenge 2: Reading Text in Scene Images (AS, FS, AD), pp. 1491–1496.
ICDAR-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.
ITiCSE-2011-HabermanCD - The beaver contest: attracting youngsters to study computing (BH, AC, VD), p. 378.
SIGITE-2011-BaiT #security #student- Cyber defense competition: enhancing student competency in information security (YB, CT), pp. 305–306.
FM-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.
AIIDE-2011-BlackadarD #behaviour #testing- Behavior Learning-Based Testing of Starcraft Competition Entries (MB, JD).
ICEIS-v3-2011-Zhao #analysis #industrial- The Competitive Strategy Analysis of Express Industry based on Time-based Competition (JZ), pp. 502–506.
ICEIS-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.
ICML-2011-NikolenkoS #rating- A New Bayesian Rating System for Team Competitions (SIN, AS), pp. 601–608.
AIIDE-2010-Weber - AIIDE 2010 StarCraft Competition (BGW).
ICPR-2010-Nowak #challenge- ImageCLEF@ICPR Contest: Challenges, Methodologies and Results of the Photo Annotation Task (SN), pp. 489–492.
RecSys-2010-ResnickKHP #named #question- Contests: way forward or detour? (PR, JAK, AH, JP), pp. 37–38.
WRLA-2010-DuranRBBBCEEJK - The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.
ICDAR-2009-AbedMKA #online #recognition- ICDAR 2009 Online Arabic Handwriting Recognition Competition (HEA, VM, MK, AMA), pp. 1388–1392.
ICDAR-2009-AntonacopoulosPBP #segmentation- ICDAR 2009 Page Segmentation Competition (AA, SP, DB, CP), pp. 1370–1374.
ICDAR-2009-BlankersHFV #verification- ICDAR 2009 Signature Verification Competition (VLB, CEvdH, KF, LV), pp. 1403–1407.
ICDAR-2009-DoucetKDURT - ICDAR 2009 Book Structure Extraction Competition (AD, GK, BD, AU, BR, NT), pp. 1408–1412.
ICDAR-2009-GatosNP #documentation #image- ICDAR 2009 Document Image Binarization Contest (DIBCO 2009) (BG, KN, IP), pp. 1375–1382.
ICDAR-2009-GatosSL #segmentation- ICDAR 2009 Handwriting Segmentation Contest (BG, NS, GL), pp. 1393–1397.
ICDAR-2009-GrosickiA #recognition- ICDAR 2009 Handwriting Recognition Competition (EG, HEA), pp. 1398–1402.
ICDAR-2009-MargnerA #recognition- ICDAR 2009 Arabic Handwriting Recognition Competition (VM, HEA), pp. 1383–1387.
ICDAR-2009-MozaffariS #recognition- ICDAR 2009 Handwritten Farsi/Arabic Character Recognition Competition (SM, HS), pp. 1413–1417.
ITiCSE-2009-Rosenbloom #programming- Running a programming contest in an introductory computer science course (AR), p. 347.
CIG-2009-Lucas09a - Ms Pac-Man versus ghost-team competition (SML).
CIG-2009-PerezRSI #evolution #fuzzy- Evolving a fuzzy controller for a Car Racing Competition (DPL, GR, YS, PI), pp. 263–270.
CIG-2009-Togelius - Mario AI competition (JT).
HIMI-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.
WRLA-2008-DuranRBBEKKMSV09 - The Second Rewrite Engines Competition (FD, MR, EB, MvdB, SE, KTK, LCLK, PEM, RS, EV), pp. 281–291.
ITiCSE-2008-JiWC #detection #experience #programming #source code- An experience of detecting plagiarized source codes in competitive programming contests (JHJ, GW, HGC), p. 369.
SIGITE-2008-RandolphO #community #student #web- Attracting communities and students to IT with a community service web contest (GBR, DOO), pp. 77–80.
ICFP-2008-DolstraHHHJLLMRS #programming- Report on the tenth ICFP programming contest (ED, JH, BH, SH, JJ, AL, CL, AM, AR, JvS), pp. 397–408.
CIG-2008-LoiaconoTLKLSPRS - The WCCI 2008 simulated car racing competition (DL, JT, PLL, LKH, SML, MS, DPL, RGR, YS), pp. 119–126.
CIG-2008-PerezSRI #automation #evolution- Evolving a rule system controller for automatic driving in a car racing competition (DPL, YS, GR, PI), pp. 336–342.
CIG-2008-ThangG #approach #fuzzy- A fuzzy approach for the 2007 CIG simulated car racing competition (HDT, JMG), pp. 127–134.
ICGT-2008-RensinkG #graph #tool support- Graph-Based Tools: The Contest (AR, PVG), pp. 463–466.
SAC-2008-BazzanSDB #game studies- Emerging cooperation in a public goods game with competition (ALCB, RdS, SRD, ATB), pp. 8–12.
IJCAR-2008-Sutcliffe - CASC-J4 The 4th IJCAR ATP System Competition (GS), pp. 457–458.
ICDAR-2007-AntonacopoulosGB #segmentation- Page Segmentation Competition (AA, BG, DB), pp. 1279–1283.
ICDAR-2007-GatosAS #segmentation- Handwriting Segmentation Contest (BG, AA, NS), pp. 1284–1288.
ICDAR-2007-MargnerA #recognition- Arabic Handwriting Recognition Competition (VM, HEA), pp. 1274–1278.
RTA-2007-MarcheZ #termination- The Termination Competition (CM, HZ), pp. 303–313.
AGTIVE-2007-RensinkT #graph transformation- AGTIVE 2007 Graph Transformation Tool Contest (AR, GT), pp. 487–492.
HCI-AS-2007-ChoK #collaboration #learning- Suppressing Competition in a Computer-Supported Collaborative Learning System (KC, BK), pp. 208–214.
OCSC-2007-YuanZW #community #game studies #online- Cooperation and Competition Dynamics in an Online Game Community (RY, LZ, WW), pp. 475–484.
ICEIS-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.
VLDB-2006-HausteinHL #protocol #xml- Contest of XML Lock Protocols (MPH, TH, KL), pp. 1069–1080.
ICPR-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.
ICSE-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.
IJCAR-2006-Sutcliffe #named- CASC-J3 — The 3rd IJCAR ATP System Competition (GS), pp. 572–573.
ICDAR-2005-AntonacopoulosBG #segmentation- Page Segmentation Competition (AA, DB, BG), pp. 75–79.
ICDAR-2005-Lucas - Text Locating Competition Results (SML), pp. 80–85.
ICDAR-2005-MargnerPA #recognition- Arabic Handwriting Recognition Competition (VM, MP, HEA), pp. 70–74.
DiGRA-2005-Sotamaa #exclamation #game studies #quote- “Have Fun Working with Our Product!”: Critical Perspectives On Computer Game Mod Competitions (OS).
SPLC-2005-Clements #modelling #product line- A Competition of Software Product Line Economic Models (PCC), p. 136.
DATE-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.
SAT-J-2004-BerreS05 #satisfiability- Fifty-Five Solvers in Vancouver: The SAT 2004 Competition (DLB, LS), pp. 321–344.
CAV-2005-BarrettMS #modulo theories #named #satisfiability- SMT-COMP: Satisfiability Modulo Theories Competition (CWB, LMdM, AS), pp. 20–23.
IJCAR-2004-SutcliffeS - The CADE ATP System Competition (GS, CBS), pp. 490–491.
ICDAR-2003-AntonacopoulosGK #segmentation- ICDAR 2003 Page Segmentation Competition (AA, BG, DK), p. 688–?.
ICDAR-2003-LucasPSTWY #robust- ICDAR 2003 Robust Reading Competitions (SML, AP, LS, AT, SW, RY), pp. 682–687.
CSEET-2003-LandC04 #design- Preparing for the 2004 IEEE Computer Society International Design Competition (CSIDC) (SKL, AC), p. 326.
CADE-2003-SutcliffeS - The CADE-19 ATP System Competition (GS, CBS), pp. 295–296.
SAT-2003-BerreS #satisfiability- The Essentials of the SAT 2003 Competition (DLB, LS), pp. 452–467.
ICPR-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–?.
ICPR-v3-2002-MaioMCWJ #named #verification- FVC2002: Second Fingerprint Verification Competition (DM, DM, RC, JLW, AKJ), pp. 811–814.
ICDAR-2001-GatosMA #segmentation- First International Newspaper Segmentation Contest (BG, SLM, AA), p. 1190–?.
ICEIS-2000-carrascoLB #information management- Information Systems for Improving Competition in Deregulated Electricity Market (AC, JL, IB), pp. 402–406.
ICML-2000-VuceticO - Discovering Homogeneous Regions in Spatial Data through Competition (SV, ZO), pp. 1095–1102.
ICPR-v1-2000-TangXM #parametricity #segmentation #semantics- Semantically Homogeneous Segmentation with Nonparametric Region Competition (MT, JX, SM), pp. 1648–1651.
ICPR-v1-2000-TorreR #algorithm #image- Agricultural-Field Extraction on Aerial Images by Region Competition Algorithm (MT, PR), pp. 1313–1316.
ICPR-v4-2000-AksoyYSSWHPPRSF #algorithm #performance- Algorithm Performance Contest (SA, MY, MLS, MS, YW, RMH, JRP, JP, DR, CS, GF), pp. 4870–4876.
CADE-1999-HutterB #design #induction #proving #theorem proving- The Design of the CADE-16 Inductive Theorem Prover Contest (DH, AB), pp. 374–377.
KR-1996-SmirnovV #integer #performance #programming #representation- Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods (YVS, MMV), pp. 124–134.
CADE-1996-SuttnerS #design- The Design of the CADE-13 ATP System Competition (CBS, GS), pp. 146–160.
ICDAR-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.
ML-1992-Janikow #induction #learning- Combining Competition and Cooperation in Supervised Inductive Learning (CZJ), pp. 241–248.
ML-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.
ML-1989-Selfridge #adaptation #case study #learning- Atoms of Learning II: Adaptive Strategies A Study of Two-Person Zero-Sum Competition (OGS), pp. 412–415.
DAC-1988-AgrawalCA #concurrent #generative #named- Contest: A Concurrent Test Generator for Sequential Circuits (VDA, KTC, PA), pp. 84–89.
JICSCP-1988-NgL88 #execution #logic programming #parallel #source code- The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.