Stem competit$ (all stems)

251 papers:

SIGMOD-2015-LiBCGM #named #network #towards

GetReal: Towards Realistic Selection of Influence Maximization Strategies in Competitive Networks (HL, SSB, JC, YG, JM), pp. 1525–1537.

TACAS-2015-AledoE #contest #embedded #framework #verification

FramewORk for Embedded System verification — (Competition Contribution) (PGdA, PSE), pp. 429–431.

TACAS-2015-CassezMPS #composition #contest #named #refinement

Perentie: Modular Trace Refinement and Selective Value Tracking — (Competition Contribution) (FC, TM, EP, NS), pp. 439–442.

TACAS-2015-ChenHTWW #contest #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 #contest #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 #contest #framework #named #source code #verification

SeaHorn: A Framework for Verifying C Programs (Competition Contribution) (AG, TK, JAN), pp. 447–450.

TACAS-2015-HaranCELQR #composition #contest #verification

SMACK+Corral: A Modular Verifier — (Competition Contribution) (AH, MC, ME, AL, SQ, ZR), pp. 451–454.

TACAS-2015-HeizmannDLMP #array #contest

Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.

TACAS-2015-HolikHLRSV #analysis #automaton #contest #named #using

Forester: Shape Analysis Using Tree Automata — (Competition Contribution) (LH, MH, OL, AR, JS, TV), pp. 432–435.

TACAS-2015-MullerPV #contest

Predator Hunting Party (Competition Contribution) (PM, PP, TV), pp. 443–446.

TACAS-2015-Nguyen0TP #bound #c #contest #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 #contest #memory management #safety

ULTIMATE KOJAK with Memory Safety Checks — (Competition Contribution) (AN, DD, MMM, AP), pp. 458–460.

TACAS-2015-StroderAFHG #c #contest #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 #contest #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 #contest #named #termination

FuncTion: An Abstract Domain Functor for Termination — (Competition Contribution) (CU), pp. 464–466.

TACAS-2015-WangB #contest #named

Cascade — (Competition Contribution) (WW, CB), pp. 420–422.

ICALP-v1-2015-AlbersF #locality

Quantifying Competitiveness in Paging with Locality of Reference (SA, DF), pp. 26–38.

ICALP-v1-2015-Avigdor-Elgrabli #on the #order #random

On the Randomized Competitive Ratio of Reordering Buffer Management with Non-Uniform Costs (NAE, SI, BM, YR), pp. 78–90.

ICALP-v2-2015-KantorK #problem

Optimal Competitiveness for the Rectilinear Steiner Arborescence Problem (EK, SK), pp. 675–687.

CHI-2015-KwakBH #behaviour #contest #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 #contest #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-PintoBZP #enterprise

Supporting Competitive Intelligence with Linked Enterprise Data (VAP, GSB, FZ, FSP), pp. 409–415.

ICEIS-v1-2015-ZhengLL #contest

A Game-theory based Model for Analyzing E-marketplace Competition (JZ, WL, DLL), pp. 650–657.

ICML-2015-BlumH #contest #machine learning #reliability

The Ladder: A Reliable Leaderboard for Machine Learning Competitions (AB, MH), pp. 1006–1014.

KDD-2015-ZhangKX #contest #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 #contest #design

Borrowing from the Crowd: A Study of Recombination in Software Design Competitions (TDL, MC, LJ, MZ, AvdH), pp. 551–562.

CADE-2015-AotoHN0Z #confluence #contest

Confluence Competition 2015 (TA, NH, JN, NN, HZ), pp. 101–104.

CADE-2015-GieslMRTW #contest #termination

Termination Competition (termCOMP 2015) (JG, FM, AR, RT, JW), pp. 105–108.

CASE-2014-DengWW #algorithm #distributed #problem #scheduling

A competitive memetic algorithm for the distributed flow shop scheduling problem (JD, LW, SW), pp. 107–112.

TACAS-2014-Beyer #contest #summary #verification

Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.

TACAS-2014-DudkaPV #contest #graph #memory management #named

Predator: A Shape Analyzer Based on Symbolic Memory Graphs — (Competition Contribution) (KD, PP, TV), pp. 412–414.

TACAS-2014-ErmisNDHP #contest

Ultimate Kojak — (Competition Contribution) (EE, AN, DD, JH, AP), pp. 421–423.

TACAS-2014-GurfinkelB #contest #named #verification

FrankenBit: Bit-Precise Verification with Many Bits — (Competition Contribution) (AG, AB), pp. 408–411.

TACAS-2014-HeizmannCDHLMSWP #contest #satisfiability

Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.

TACAS-2014-InversoT0TP #c #contest #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 #contest #model checking #named

CBMC — C Bounded Model Checker — (Competition Contribution) (DK, MT), pp. 389–391.

TACAS-2014-LoweMW #analysis #contest

CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.

TACAS-2014-MorseRCN0 #contest

ESBMC 1.22 — (Competition Contribution) (JM, MR, LCC, DN, BF), pp. 405–407.

TACAS-2014-MullerV #contest #named

CPAlien: Shape Analyzer for CPAChecker — (Competition Contribution) (PM, TV), pp. 395–397.

TACAS-2014-SlabyS #contest #precise #slicing

Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.

TACAS-2014-TomascoI0TP #c #contest #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.

STOC-2014-ChenGL

Optimal competitive auctions (NC, NG, PL), pp. 253–262.

STOC-2014-ImKM #algorithm #constraints #scheduling

Competitive algorithms from competitive equilibria: non-clairvoyant scheduling under polyhedral constraints (SI, JK, KM), pp. 313–322.

ICALP-v2-2014-KantorK #problem #symmetry

Optimal Competitiveness for Symmetric Rectilinear Steiner Arborescence and Related Problems (EK, SK), pp. 520–531.

CIKM-2014-RokickiCZS #crowdsourcing #design #effectiveness #game studies

Competitive Game Designs for Improving the Cost Effectiveness of Crowdsourcing (MR, SC, SZ, SS), pp. 1469–1478.

ICPR-2014-LuYXYWP #recognition #using

Finger Vein Recognition Using Histogram of Competitive Gabor Responses (YL, SY, SJX, JCY, ZW, DSP), pp. 1758–1763.

KMIS-2014-Chen #collaboration #contest #information management

Team Collaboration and Competition — Leadership Issue of Knowledge Management (HGC), pp. 331–338.

RE-2014-ValencaAHJB #case study #collaboration #contest #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 #contest #game studies #people

Motivating people to perform better in exergames: competition in virtual environments (MBN, LPN, VR), pp. 970–975.

CASE-2013-HoC #contest #design #game studies

Stackelberg game formulation of prize competition design for seeking shortest path solutions (TYH, SCC), pp. 374–379.

ICDAR-2013-AntonacopoulosCPP #analysis #contest #layout

ICDAR 2013 Competition on Historical Newspaper Layout Analysis (HNLA 2013) (AA, CC, CP, SP), pp. 1454–1458.

ICDAR-2013-AntonacopoulosCPP13a #contest #recognition

ICDAR 2013 Competition on Historical Book Recognition (HBR 2013) (AA, CC, CP, SP), pp. 1459–1463.

ICDAR-2013-DiemFGKKS #contest #recognition

ICDAR 2013 Competition on Handwritten Digit Recognition (HDRC 2013) (MD, SF, AG, MK, FK, RS), pp. 1422–1427.

ICDAR-2013-DoucetKCM #contest

ICDAR 2013 Competition on Book Structure Extraction (AD, GK, SC, GM), pp. 1438–1443.

ICDAR-2013-GobelHOO #contest

ICDAR 2013 Table Competition (MCG, TH, EO, GO), pp. 1449–1453.

ICDAR-2013-HassaineAAJ #contest #gender #predict

ICDAR 2013 Competition on Gender Prediction from Handwriting (AH, SAM, JMA, AJ), pp. 1417–1421.

ICDAR-2013-HassaineAB #contest

ICDAR 2013 Competition on Handwriting Stroke Recovery from Offline Data (AH, SAM, AB), pp. 1412–1416.

ICDAR-2013-KaratzasSUIBMMMAH #contest #robust

ICDAR 2013 Robust Reading Competition (DK, FS, SU, MI, LGiB, SRM, JM, DFM, JA, LPdlH), pp. 1484–1493.

ICDAR-2013-LouloudisGSP #contest #identification

ICDAR 2013 Competition on Writer Identification (GL, BG, NS, AP), pp. 1397–1401.

ICDAR-2013-MalikLAOBF #contest #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 #contest #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-SlimaneKAAIH #contest #multi

ICDAR2013 Competition on Multi-font and Multi-size Digitally Represented Arabic Text (FS, SK, HEA, AMA, RI, JH), pp. 1433–1437.

ICDAR-2013-VisaniKFJ #contest #music

ICDAR 2013 Music Scores Competition: Staff Removal (MV, VCK, AF, NJ), pp. 1407–1411.

ICDAR-2013-YinWZL #contest #recognition

ICDAR 2013 Chinese Handwriting Recognition Competition (FY, QFW, XYZ, CLL), pp. 1464–1470.

CSEET-2013-RongZS #education #game studies #process

Applying competitive bidding games in software process education (GR, HZ, DS), pp. 129–138.

CSEET-2013-ShethBK #approach #re-engineering

A competitive-collaborative approach for introducing software engineering in a CS2 class (SS, JB, GEK), pp. 41–50.

ITiCSE-2013-JohnsonCH #contest #development #game studies #learning

Learning elsewhere: tales from an extracurricular game development competition (CJ, AC, SH), pp. 70–75.

TACAS-2013-0002IP #c #contest #named

CSeq: A Sequentialization Tool for C — (Competition Contribution) (BF, OI, GP), pp. 616–618.

TACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification

UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.

TACAS-2013-Beyer #contest #summary #verification

Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.

TACAS-2013-DudkaMPV #contest #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 #contest #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 #contest

Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.

TACAS-2013-Lowe #analysis #contest

CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation — (Competition Contribution) (SL), pp. 610–612.

TACAS-2013-MorseCNF #bound #contest

Handling Unbounded Loops with ESBMC 1.20 — (Competition Contribution) (JM, LCC, DN, BF), pp. 619–622.

TACAS-2013-PopeeaR #concurrent #contest #multi #named #source code #thread #verification

Threader: A Verifier for Multi-threaded Programs — (Competition Contribution) (CP, AR), pp. 633–636.

TACAS-2013-SlabyST #contest #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 #contest

CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis — (Competition Contribution) (PW), pp. 613–615.

STOC-2013-GuGK #maintenance #online #power of

The power of deferral: maintaining a constant-competitive steiner tree online (AG, AG, AK), pp. 525–534.

ICALP-v1-2013-MoruzN #algorithm #bound #random

Improved Space Bounds for Strongly Competitive Randomized Paging Algorithms (GM, AN), pp. 757–768.

ICALP-v2-2013-GravinL

Competitive Auctions for Markets with Positive Externalities (NG, PL), pp. 569–580.

CHI-2013-FosterEG #contest #design #education #game studies

From competition to metacognition: designing diverse, sustainable educational games (SRF, SE, WGG), pp. 99–108.

CSCW-2013-MasonC #contest #exclamation

Friends FTW! friendship and competition in halo: reach (WAM, AC), pp. 375–386.

CSCW-2013-ParkSLB #contest #design #scalability

Crowd vs. crowd: large-scale cooperative design through open team competition (CHP, KS, JHL, SHB), pp. 1275–1284.

HIMI-D-2013-DjamasbiPY13a #contest

Search Results Pages and Competition for Attention Theory: An Exploratory Eye-Tracking Study (SD, AHP, R(Y), pp. 576–583.

KDD-2013-LuB0L #perspective

The bang for the buck: fair competitive viral marketing from the host perspective (WL, FB, AG, LVSL), pp. 928–936.

SIGIR-2013-AslayOAJ #network

Competition-based networks for expert finding (ÇA, NO, LMA, AJ), pp. 1033–1036.

DAC-2012-LiuH12a #named #optimisation

ComPLx: A Competitive Primal-dual Lagrange Optimization for Global Placement (MCK, ILM), pp. 747–752.

DRR-2012-MenasriLBK #contest #recognition

The A2iA French handwriting recognition system at the Rimes-ICDAR2011 competition (FM, JL, ALBB, CK).

ITiCSE-2012-Palomo-DuarteDTGB #development #evaluation #game studies #video

Competitive evaluation in a video game development course (MPD, JMD, JTT, AGD, AB), pp. 321–326.

TACAS-2012-BaslerDKKTW #c #contest #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 #contest #verification

Competition on Software Verification — (SV-COMP) (DB0), pp. 504–524.

TACAS-2012-ChenFKPS #automation #probability #verification

Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.

TACAS-2012-CordeiroMNF #bound #contest #model checking

Context-Bounded Model Checking with ESBMC 1.17 — (Competition Contribution) (LCC, JM, DN, BF), pp. 534–537.

TACAS-2012-DudkaMPV #contest #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 #contest #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 #contest #proving #reachability #using

Proving Reachability Using FShell — (Competition Contribution) (AH, DK, CS, MT, HV), pp. 538–541.

TACAS-2012-LoweW #analysis #contest

CPAchecker with Adjustable Predicate Analysis — (Competition Contribution) (SL, PW), pp. 528–530.

TACAS-2012-ShvedMM #analysis #contest

Predicate Analysis with BLAST 2.7 — (Competition Contribution) (PS, MUM, VSM), pp. 525–527.

TACAS-2012-SinzMF #bound #contest #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 #contest #debugging #named

Wolverine: Battling Bugs with Interpolants — (Competition Contribution) (GW, DK, SM), pp. 556–558.

TACAS-2012-Wonisch #abstraction #contest

Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.

STOC-2012-GoyalK #network

Competitive contagion in networks (SG, MK), pp. 759–774.

CHI-2012-TeradaYI #adaptation #game studies

Experimental investigation of human adaptation to change in agent’s strategy through a competitive two-player game (KT, SY, AI), pp. 2807–2810.

CSCW-2012-BoltonKV #comparison #performance #using

A comparison of competitive and cooperative task performance using spherical and flat displays (JB, KK, RV), pp. 529–538.

ICEIS-v2-2012-CasalinoCMG #automation #industrial

ICT Adoption and Organizational Change — An Innovative Training System on Industrial Automation Systems for Enhancing Competitiveness of SMEs (NC, MC, MdM, MG), pp. 283–288.

ICEIS-v3-2012-FrischbierGMRW #enterprise

Emergence as Competitive Advantage — Engineering Tomorrow’s Enterprise Software Systems (SF, MG, DM, AR, CW), pp. 181–186.

CIKM-2012-ShirazipourazadBVSH #contest #how

Influence propagation in adversarial setting: how to defeat competition with least amount of investment (SS, BB, HV, AS, PH), pp. 585–594.

CIKM-2012-YangTKZLDLW #learning #mining #network

Mining competitive relationships by learning across heterogeneous networks (YY, JT, JK, YZ, JL, YD, TL, LW), pp. 1432–1441.

KMIS-2012-RamosSB #enterprise

Improving Enterprise IT Governance and Management by Applying Competitive Intelligence and External Context Discovery on COBIT 5.0 (ECR, FMS, FAB), pp. 89–96.

SMT-2012-CokGBD #contest #smt

The 2012 SMT Competition (DRC, AG, RB, MD), pp. 131–142.

ICDAR-2011-AbedWM #analysis #bibliography #contest #documentation #perspective #recognition

International Conference on Document Analysis and Recognition (ICDAR 2011) — Competitions Overview (HEA, LW, VM), pp. 1437–1443.

ICDAR-2011-AntonacopoulosCPP #analysis #contest #documentation #layout

Historical Document Layout Analysis Competition (AA, CC, CP, SP), pp. 1516–1520.

ICDAR-2011-DoucetKM #contest

ICDAR 2011 Book Structure Extraction Competition (AD, GK, JLM), pp. 1501–1505.

ICDAR-2011-FornesDGL #contest #identification #music

The ICDAR 2011 Music Scores Competition: Staff Removal and Writer Identification (AF, AD, AG, JL), pp. 1511–1515.

ICDAR-2011-GhorbelMLA #interactive #sketching

Interactive Competitive Breadth-First Exploration for Sketch Interpretation (AG, SM, AL, ÉA), pp. 1195–1199.

ICDAR-2011-GrosickiA #contest #recognition

ICDAR 2011 — French Handwriting Recognition Competition (EG, HEA), pp. 1459–1463.

ICDAR-2011-KaratzasMMNR #challenge #contest #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 #contest #online #recognition

Online Arabic Handwriting Recognition Competition (MK, NT, AMA, HEA, VM), pp. 1454–1458.

ICDAR-2011-LiuYWW11a #contest #recognition

ICDAR 2011 Chinese Handwriting Recognition Competition (CLL, FY, QFW, DHW), pp. 1464–1469.

ICDAR-2011-LiwickiMHCBSBF #contest #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-MargnerA #contest #recognition

ICDAR 2011 — Arabic Handwriting Recognition Competition (VM, HEA), pp. 1444–1448.

ICDAR-2011-MouchereVKKG #contest #named #online #recognition

CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, DHK, JHK, UG), pp. 1497–1500.

ICDAR-2011-ShahabSD11a #challenge #contest #image #robust

ICDAR 2011 Robust Reading Competition Challenge 2: Reading Text in Scene Images (AS, FS, AD), pp. 1491–1496.

ICDAR-2011-SlimaneKAAIH #contest #multi #recognition

ICDAR 2011 — Arabic Recognition Competition: Multi-font Multi-size Digitally Represented Text (FS, SK, HEA, AMA, RI, JH), pp. 1449–1453.

VLDB-2011-LometTZ #implementation #logic #performance

Implementing Performance Competitive Logical Recovery (DBL, KT, MJZ), pp. 430–439.

ICALP-v1-2011-QianW #algorithm #online #problem

An O(logn)-Competitive Algorithm for Online Constrained Forest Problems (JQ, DPW), pp. 37–48.

FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #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.

CHI-2011-BatemanMSG #game studies

Target assistance for subtly balancing competitive play (SB, RLM, TS, CG), pp. 2355–2364.

CHI-2011-TuiteSHTP #game studies #image #named #scalability

PhotoCity: training experts at large-scale image acquisition through a competitive game (KT, NS, DYH, NT, ZP), pp. 1383–1392.

ICEIS-v3-2011-Zhao #analysis #contest #industrial

The Competitive Strategy Analysis of Express Industry based on Time-based Competition (JZ), pp. 502–506.

ICEIS-v4-2011-ZhangZ11a #algorithm #contest #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 #contest #rating

A New Bayesian Rating System for Team Competitions (SIN, AS), pp. 601–608.

SIGIR-2011-LiuSL #estimation

Competition-based user expertise score estimation (JL, YIS, CYL), pp. 425–434.

SIGIR-2011-YangLSZZ #collaboration #learning #recommendation #using

Collaborative competitive filtering: learning recommender using context of user choice (SHY, BL, AJS, HZ, ZZ), pp. 295–304.

CSEET-2010-AlefP

Building Organizational Competitive Advantages with Strategically Aligned Technical Degrees: Dividends from a Visionary Corporate-University Partnership (ERA, DCP), pp. 144–152.

WRLA-2010-DuranRBBBCEEJK #contest

The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.

ICALP-v2-2010-EvenM #algorithm #online #random

An O(logn)-Competitive Online Centralized Randomized Packet-Routing Algorithm for Lines (GE, MM), pp. 139–150.

DAC-2009-RedfordSSHZM #named #question

DFM: don’t care or competitive weapon? (MR, JS, PS, CH, YZ, KM), pp. 296–297.

ICDAR-2009-AbedMKA #contest #online #recognition

ICDAR 2009 Online Arabic Handwriting Recognition Competition (HEA, VM, MK, AMA), pp. 1388–1392.

ICDAR-2009-AntonacopoulosPBP #contest #segmentation

ICDAR 2009 Page Segmentation Competition (AA, SP, DB, CP), pp. 1370–1374.

ICDAR-2009-BlankersHFV #contest #verification

ICDAR 2009 Signature Verification Competition (VLB, CEvdH, KF, LV), pp. 1403–1407.

ICDAR-2009-DoucetKDURT #contest

ICDAR 2009 Book Structure Extraction Competition (AD, GK, BD, AU, BR, NT), pp. 1408–1412.

ICDAR-2009-GrosickiA #contest #recognition

ICDAR 2009 Handwriting Recognition Competition (EG, HEA), pp. 1398–1402.

ICDAR-2009-MargnerA #contest #recognition

ICDAR 2009 Arabic Handwriting Recognition Competition (VM, HEA), pp. 1383–1387.

ICDAR-2009-MozaffariS #contest #recognition

ICDAR 2009 Handwritten Farsi/Arabic Character Recognition Competition (SM, HS), pp. 1413–1417.

VLDB-2009-WanWIOP

Creating Competitive Products (QW, RCWW, IFI, MTÖ, YP), pp. 898–909.

CSEET-2009-GotelKSSS #education #re-engineering

A Global and Competition-Based Model for Fostering Technical and Soft Skills in Software Engineering Education (OG, VK, MS, CS, TS), pp. 271–278.

WRLA-2008-DuranRBBEKKMSV09 #contest

The Second Rewrite Engines Competition (FD, MR, EB, MvdB, SE, KTK, LCLK, PEM, RS, EV), pp. 281–291.

STOC-2009-ChadhaGKM #algorithm

A competitive algorithm for minimizing weighted flow time on unrelatedmachines with speed augmentation (JSC, NG, AK, VNM), pp. 679–684.

ICALP-v1-2009-BecchettiK #analysis #streaming

Competitive Analysis of Aggregate Max in Windowed Streaming (LB, EK), pp. 156–170.

HIMI-II-2009-FagerstromG #case study #contest #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.

PADL-2009-MouraRM #thread

High Level Thread-Based Competitive Or-Parallelism in Logtalk (PM, RR, SCM), pp. 107–121.

SPLC-2009-SavolainenM #architecture #industrial #optimisation #product line #requirements

From product line requirements to product line architecture: optimizing industrial product lines for new competitive advantage (JS, MM), p. 315.

ITiCSE-2008-JiWC #contest #detection #experience #programming #source code

An experience of detecting plagiarized source codes in competitive programming contests (JHJ, GW, HGC), p. 369.

STOC-2008-BansalBN #algorithm #random

Randomized competitive algorithms for generalized caching (NB, NB, JN), pp. 235–244.

ICALP-A-2008-DimitrovP

Competitive Weighted Matching in Transversal Matroids (NBD, CGP), pp. 397–408.

SAC-2008-BazzanSDB #contest #game studies

Emerging cooperation in a public goods game with competition (ALCB, RdS, SRD, ATB), pp. 8–12.

LCTES-2008-ReinekeG #analysis #policy

Relative competitive analysis of cache replacement policies (JR, DG), pp. 51–60.

ICLP-2008-MouraRM #thread

Thread-Based Competitive Or-Parallelism (PM, RR, SCM), pp. 713–717.

IJCAR-2008-Sutcliffe #contest

CASC-J4 The 4th IJCAR ATP System Competition (GS), pp. 457–458.

TestCom-FATES-2008-Yasuda #development #network

All-IP Based Ultra 3G Network/Service Development in a Competitive Market (YY), pp. 1–4.

ICDAR-2007-AntonacopoulosGB #contest #segmentation

Page Segmentation Competition (AA, BG, DB), pp. 1279–1283.

ICDAR-2007-MargnerA #contest #recognition

Arabic Handwriting Recognition Competition (VM, HEA), pp. 1274–1278.

ICALP-2007-BansalCP #algorithm #scheduling

Competitive Algorithms for Due Date Scheduling (NB, HLC, KP), pp. 28–39.

ICALP-2007-MillerPS #scalability

Size Competitive Meshing Without Large Angles (GLM, TP, DS), pp. 655–666.

HCI-AS-2007-ChoK #collaboration #contest #learning

Suppressing Competition in a Computer-Supported Collaborative Learning System (KC, BK), pp. 208–214.

OCSC-2007-YuanZW #community #contest #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 #contest #generative #metric #modelling #performance

Explanation Generation in Business Performance Models — With a Case Study in Competition Benchmarking (HD, EC), pp. 119–128.

ICEIS-HCI-2007-CasalinoDM #quality #standard

A Quality Management Training System on ISO Standards for Enhancing Competitiveness of SMEs (NC, AD, LM), pp. 229–235.

ICEIS-SAIC-2007-CastroS #towards

Towards Cooperation Among Competitive Trader Agents (PALdC, JSS), pp. 138–143.

CAV-2007-BogudlovLRS #analysis #parametricity

Revamping TVLA: Making Parametric Shape Analysis Competitive (IB, TLA, TWR, MS), pp. 221–225.

RTA-2007-MarcheZ #contest #termination

The Termination Competition (CM, HZ), pp. 303–313.

ICPR-v2-2006-PanBD #bottom-up #contest #functional #image #segmentation #using

Bottom-Up Hierarchical Image Segmentation Using Region Competition and the Mumford-Shah Functional (YP, JDB, SMD), pp. 117–121.

ICPR-v2-2006-SridharanBG

Competitive Mixtures of Simple Neurons (KS, MJB, VG), pp. 494–497.

IJCAR-2006-Sutcliffe #contest #named

CASC-J3 — The 3rd IJCAR ATP System Competition (GS), pp. 572–573.

CASE-2005-ChangLJ #detection #fault #network #using

Using a two-layer competitive Hopfield neural network for semiconductor wafer defect detection (CYC, SYL, MJ), pp. 301–306.

DATE-2005-LyseckyV #case study #clustering #hardware #using

A Study of the Speedups and Competitiveness of FPGA Soft Processor Cores using Dynamic Hardware/Software Partitioning (RLL, FV), pp. 18–23.

DATE-2005-SomaniCP #contest #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.

ICDAR-2005-AntonacopoulosBG #contest #segmentation

Page Segmentation Competition (AA, DB, BG), pp. 75–79.

ICDAR-2005-Lucas #contest

Text Locating Competition Results (SML), pp. 80–85.

ICDAR-2005-MargnerPA #contest #recognition

Arabic Handwriting Recognition Competition (VM, MP, HEA), pp. 70–74.

RE-2005-Fuji #analysis #education #requirements

Finding Competitive Advantage in Requirements Analysis Education (TF), pp. 493–494.

SPLC-2005-Clements #contest #modelling #product line

A Competition of Software Product Line Economic Models (PCC), p. 136.

SAT-J-2004-BerreS05 #contest #satisfiability

Fifty-Five Solvers in Vancouver: The SAT 2004 Competition (DLB, LS), pp. 321–344.

CAV-2005-BarrettMS #contest #modulo theories #named #satisfiability

SMT-COMP: Satisfiability Modulo Theories Competition (CWB, LMdM, AS), pp. 20–23.

DAC-2004-SentovichALR #industrial

Competitive strategies for the electronics industry (ES, JA, PL, BR), p. 264.

ICALP-2004-BansalFKMSS

Further Improvements in Competitive Guarantees for QoS Buffering (NB, LF, TK, MM, BS, MS), pp. 196–207.

ICALP-2004-BergerBCDK

Competition-Induced Preferential Attachment (NB, CB, JTC, RMD, RDK), pp. 208–221.

ICEIS-v1-2004-Gilb04a

Competitive Engineering: A Totally Metrics-Based System-Development Method (TG), p. XXXI.

ICML-2004-GabrilovichM #categorisation #feature model #using

Text categorization with many redundant features: using aggressive feature selection to make SVMs competitive with C4.5 (EG, SM).

ICPR-v1-2004-KongZ #verification

Competitive Coding Scheme for Palmprint Verification (AWKK, DZ), pp. 520–523.

ICPR-v1-2004-MaedaKI #clustering #data-driven #database #probability #process #segmentation

Segmentation of Range Data Based on A Stochastic Clustering Method with Competitive Process (MM, KK, KI), pp. 624–627.

IJCAR-2004-SutcliffeS #contest

The CADE ATP System Competition (GS, CBS), pp. 490–491.

ICDAR-2003-AntonacopoulosGK #contest #segmentation

ICDAR 2003 Page Segmentation Competition (AA, BG, DK), p. 688–?.

ICDAR-2003-LucasPSTWY #contest #robust

ICDAR 2003 Robust Reading Competitions (SML, AP, LS, AT, SW, RY), pp. 682–687.

CSEET-2003-LandC04 #contest #design

Preparing for the 2004 IEEE Computer Society International Design Competition (CSIDC) (SKL, AC), p. 326.

STOC-2003-GeorgiouRS #scheduling

Work-competitive scheduling for cooperative computing with dynamic groups (CG, AR, AAS), pp. 251–258.

ICALP-2003-Fotakis #on the #online

On the Competitive Ratio for Online Facility Location (DF), pp. 637–652.

ICALP-2003-SittersSP #algorithm #problem

A Competitive Algorithm for the General 2-Server Problem (RS, LS, WdP), pp. 624–636.

RE-2003-Stoewer #exclamation #industrial

Modern Systems Engineering: A Driving Force for Industrial Competitivity! (HS), p. 6.

CADE-2003-SutcliffeS #contest

The CADE-19 ATP System Competition (GS, CBS), pp. 295–296.

SAT-2003-BerreS #contest #satisfiability

The Essentials of the SAT 2003 Competition (DLB, LS), pp. 452–467.

DATE-2002-IraniGS #analysis #multi #power management

Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Savings States (SI, RKG, SKS), pp. 117–123.

STOC-2002-DrineasKR #recommendation

Competitive recommendation systems (PD, IK, PR), pp. 82–90.

STOC-2002-FiatGHK

Competitive generalized auctions (AF, AVG, JDH, ARK), pp. 72–81.

STOC-2002-Kontogiannis #algorithm #bound #online #scheduling

Lower bounds & competitive algorithms for online scheduling of unit-size tasks to related machines (SCK), pp. 124–133.

ICML-2002-LangfordZK #analysis #trade-off

Competitive Analysis of the Explore/Exploit Tradeoff (JL, MZ, SK), pp. 339–346.

ICPR-v1-2002-HoBG #3d #automation #contest #evolution #segmentation

Level-Set Evolution with Region Competition: Automatic 3-D Segmentation of Brain Tumors (SH, EB, GG), p. 532–?.

ICPR-v1-2002-KangKB #multi #people #realtime #using

Real-Time Multiple People Tracking Using Competitive Condensation (HK, DK, SYB), pp. 413–416.

ICPR-v2-2002-HuangT #classification #fault #pattern matching #pattern recognition #recognition

An RBF-Based Pattern Recognition Method by Competitively Reducing Classification-Oriented Error (YSH, YHT), pp. 180–183.

ICPR-v2-2002-WechslerDL #learning #process #using

Hierarchical Interpretation of Human Activities Using Competitive Learning (HW, ZD, FL), pp. 338–341.

ICPR-v3-2002-MaioMCWJ #contest #named #verification

FVC2002: Second Fingerprint Verification Competition (DM, DM, RC, JLW, AKJ), pp. 811–814.

KDD-2002-WeissV #realtime

A system for real-time competitive market intelligence (SMW, NKV), pp. 360–365.

CIKM-2001-OngTNPL #flexibility #named

FOCI: Flexible Organizer for Competitive Intelligence (HLO, AHT, JN, HP, QXL), pp. 523–525.

TOOLS-USA-2001-Schultz #using

Using Mobility as a Competitive Weapon (ES), p. 9.

ICEIS-2000-carrascoLB #contest #information management

Information Systems for Improving Competition in Deregulated Electricity Market (AC, JL, IB), pp. 402–406.

ICEIS-2000-WatkinsC #network

Decoding BCM Codes With a New Competitive Neural Network (FJW, RAC), pp. 227–234.

ICML-2000-KephartT #pseudo

Pseudo-convergent Q-Learning by Competitive Pricebots (JOK, GT), pp. 463–470.

ICML-2000-VuceticO #contest

Discovering Homogeneous Regions in Spatial Data through Competition (SV, ZO), pp. 1095–1102.

ICPR-v1-2000-Boujemaa #clustering #on the

On Competitive Unsupervised Clustering (NB), pp. 1631–1634.

ICPR-v1-2000-TangXM #contest #parametricity #segmentation #semantics

Semantically Homogeneous Segmentation with Nonparametric Region Competition (MT, JX, SM), pp. 1648–1651.

ICPR-v1-2000-TorreR #algorithm #contest #image

Agricultural-Field Extraction on Aerial Images by Region Competition Algorithm (MT, PR), pp. 1313–1316.

ICPR-v2-2000-LawK #clustering #learning #modelling #sequence

Rival Penalized Competitive Learning for Model-Based Sequence Clustering (MHCL, JTK), pp. 2195–2198.

ICML-1999-ZhengWT #lazy evaluation #learning #naive bayes

Lazy Bayesian Rules: A Lazy Semi-Naive Bayesian Learning Technique Competitive to Boosting Decision Trees (ZZ, GIW, KMT), pp. 493–502.

MLDM-1999-KingL #clustering #information retrieval #learning

Non-hierarchical Clustering with Rival Penalized Competitive Learning for Information Retrieval (IK, TKL), pp. 116–130.

PODS-1998-GarofalakisIOS #database

Throughput-Competitive Admission Control for Continuous Media Databases (MNG, YEI, BÖ, AS), pp. 79–88.

EDOC-1998-BeckerG #distributed #enterprise #object-oriented

QoS as a competitive advantage for distributed object systems: from enterprise objects to a global electronic market (CB, KG), pp. 230–238.

STOC-1997-BartalBBT #algorithm

A polylog(n)-Competitive Algorithm for Metrical Task Systems (YB, AB, CB, AT), pp. 711–719.

STOC-1996-AspnesW #algorithm #composition #distributed

Modular Competitiveness for Distributed Algorithms (JA, OW), pp. 237–246.

KR-1996-SmirnovV #contest #integer #performance #programming #representation

Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods (YVS, MMV), pp. 124–134.

CADE-1996-Schumann #named #parallel #proving #theorem proving

SiCoTHEO: Simple Competitive Parallel Theorem Provers (JS), pp. 240–244.

CADE-1996-SuttnerS #contest #design

The Design of the CADE-13 ATP System Competition (CBS, GS), pp. 146–160.

STOC-1994-AwerbuchL #algorithm #approximate #multi #network #problem

Improved approximation algorithms for the multi-commodity flow problem and local competitive routing in dynamic networks (BA, TL), pp. 487–496.

CIKM-1994-SyuL #information retrieval #using

A Competition-Based Connectionist Model for Information Retrieval Using a Merged Thesaurus (IS, SDL), pp. 164–170.

ICDAR-1993-MatsuiNYWY #contest #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.

STOC-1993-AwerbuchBF #distributed

Competitive distributed file allocation (BA, YB, AF), pp. 164–173.

ICALP-1993-KalyanasundaramP #information management

Constructing Competitive Tours From Local Information (BK, KP), pp. 102–113.

STOC-1992-AwerbuchKP #distributed #scheduling

Competitive Distributed Job Scheduling (Extended Abstract) (BA, SK, DP), pp. 571–580.

STOC-1992-BartalFR #algorithm #data transformation #distributed

Competitive Algorithms for Distributed Data Management (Extended Abstract) (YB, AF, YR), pp. 39–50.

ML-1992-Janikow #contest #induction #learning

Combining Competition and Cooperation in Supervised Inductive Learning (CZJ), pp. 241–248.

STOC-1991-BorodinIRS #locality

Competitive Paging with Locality of Reference (Preliminary Version) (AB, SI, PR, BS), pp. 249–259.

STOC-1991-Grove #algorithm #online

The Harmonic Online K-Server Algorithm Is Competitive (EFG), pp. 260–266.

SOSP-1991-KarlinLMO #empirical #multi

Empirical Studies of Competitive Spinning for a Shared-Memory Multiprocessor (ARK, KL, MSM, SSO), pp. 41–55.

CAiSE-1990-Portugal #quality

Quality Management: The Business Asset and its Competitive Advantage (AdP), p. 289.

ML-1990-Epstein #learning

Learning Plans for Competitive Domains (SLE), pp. 190–197.

ML-1990-RamseyGS #contest #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 #contest #learning

Atoms of Learning II: Adaptive Strategies A Study of Two-Person Zero-Sum Competition (OGS), pp. 412–415.

STOC-1988-ManasseMS #algorithm #online #problem

Competitive Algorithms for On-line Problems (MSM, LAM, DDS), pp. 322–333.

ML-1988-Lynne #learning

Competitive Reinforcement Learning (KJL), pp. 188–199.

JICSCP-1988-NgL88 #contest #execution #logic programming #parallel #source code

The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.