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
on the
Google on the

Tag #on the

3242 papers:

PADLPADL-2020-ElsmanH #garbage collection #memory management #ml
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML (ME, NH), pp. 95–112.
PADLPADL-2020-NguyenPS #web #web service #workflow
On Repairing Web Services Workflows (THN, EP, TCS), pp. 37–53.
CSLCSL-2020-Adamek #algebra
On Free Completely Iterative Algebras (JA), p. 21.
CSLCSL-2020-HoelzelW #higher-order #logic #semantics
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics (MH, RW), p. 16.
ICSAICSA-2019-WohlrabPKH #agile #architecture #case study #interface
On Interfaces to Support Agile Architecting in Automotive: An Exploratory Case Study (RW, PP, EK, RH), pp. 161–170.
ICPCICPC-2019-AlrubayeM0 #detection #information retrieval #java #library #migration #using
On the use of information retrieval to automate the detection of third-party Java library migration at the method level (HA, MWM, AO0), pp. 347–357.
MSRMSR-2019-SerraGPFGB #automation #effectiveness #generative #testing #years after
On the effectiveness of manual and automatic unit test generation: ten years later (DS, GG, FP, FF, HCG, AB), pp. 121–125.
SANERSANER-2019-0008NBL #refactoring
On the Impact of Refactoring Operations on Code Naturalness (BL0, CN0, GB, ML), pp. 594–598.
SANERSANER-2019-Farmahinifarahani #clone detection #detection #precise #tool support
On Precision of Code Clone Detection Tools (FF, VS, DY, HS, CVL), pp. 84–94.
SANERSANER-2019-ZeroualiCMRG #image #javascript
On the Impact of Outdated and Vulnerable Javascript Packages in Docker Images (AZ, VC, TM, GR, JMGB), pp. 619–623.
SANERSANER-2019-ZeroualiMRG #debugging
On the Relation between Outdated Docker Containers, Severity Vulnerabilities, and Bugs (AZ, TM, GR, JMGB), pp. 491–501.
SANERSANER-2019-ZeroualiMRG19a #empirical #metric
On the Diversity of Software Package Popularity Metrics: An Empirical Study of npm (AZ, TM, GR, JMGB), pp. 589–593.
SCAMSCAM-2019-00080BML #identifier #quality
On the Quality of Identifiers in Test Code (BL0, CN0, GB, AM, ML), pp. 204–215.
SCAMSCAM-2019-Kessel019a #behaviour #comparison #equivalence #functional
On the Efficacy of Dynamic Behavior Comparison for Judging Functional Equivalence (MK, CA0), pp. 193–203.
DLTDLT-2019-AmbrozP #sequence
On Palindromic Length of Sturmian Sequences (PA, EP), pp. 244–250.
DLTDLT-2019-BhaveKPT #bound #context-sensitive grammar
On Timed Scope-Bounded Context-Sensitive Languages (DB, SNK, RP, AT0), pp. 168–181.
DLTDLT-2019-DobronravovDO #automaton #finite #string
On the Length of Shortest Strings Accepted by Two-Way Finite Automata (ED, ND, AO), pp. 88–99.
DLTDLT-2019-MrazO #automaton
On Shrinking Restarting Automata of Window Size One and Two (FM, FO), pp. 140–153.
FMFM-2019-BoerB #execution #symbolic computation
On the Nature of Symbolic Execution (FSdB, MMB), pp. 64–80.
FSCDFSCD-2019-LagoL #probability #λ-calculus
On the Taylor Expansion of Probabilistic lambda-terms (UDL, TL), p. 16.
AIIDEAIIDE-2019-GaoKHT #case study #learning
On Hard Exploration for Reinforcement Learning: A Case Study in Pommerman (CG, BK, PHL, MET), pp. 24–30.
CoGCoG-2019-MarengoLB #artificial reality #simulation
On the Influence of the Supine Posture on Simulation Sickness in Virtual Reality (JM, PL, RB), pp. 1–8.
CoGCoG-2019-VolzN #analysis #game studies #simulation
On the Effects of Simulating Human Decisions in Game Analysis (VV, BN), pp. 1–8.
DiGRADiGRA-2019-Gualeni
On the de-familiarizing and re-ontologizing effects of glitches and glitch-alikes (SG).
CIKMCIKM-2019-0003RMMD
On Transforming Relevance Scales (LH0, KR, EM, SM, GD), pp. 39–48.
CIKMCIKM-2019-GalitskyI
On a Chatbot Conducting Virtual Dialogues (BG, DII), pp. 2925–2928.
CIKMCIKM-2019-KoLLLY #query
On VR Spatial Query for Dual Entangled Worlds (SHK, YCL, HCL, WCL, DNY), pp. 9–18.
CIKMCIKM-2019-LiMB0G #adaptation #framework #novel #recognition
On Novel Object Recognition: A Unified Framework for Discriminability and Adaptability (KL0, MRM, BB, YF0, HPG), pp. 2265–2268.
CIKMCIKM-2019-WangGLML #bias #testing
On Heavy-user Bias in A/B Testing (YW, SG, JL, AM, SL), pp. 2425–2428.
CIKMCIKM-2019-ZhangG0G #evolution #graph
On Continuously Matching of Evolving Graph Patterns (QZ, DG, XZ0, AG), pp. 2237–2240.
ECIRECIR-p1-2019-DonnellyR #analysis #sentiment
On Interpretability and Feature Representations: An Analysis of the Sentiment Neuron (JD, AR), pp. 795–802.
ECIRECIR-p1-2019-ManotumruksaRMO #recommendation
On Cross-Domain Transfer in Venue Recommendation (JM, DR, CM, IO), pp. 443–456.
ECIRECIR-p2-2019-YafayA #query
On the Impact of Storing Query Frequency History for Search Engine Result Caching (EY, ISA), pp. 155–162.
ICMLICML-2019-0002CZG #adaptation #invariant #learning
On Learning Invariant Representations for Domain Adaptation (HZ0, RTdC, KZ0, GJG), pp. 7523–7532.
ICMLICML-2019-CharoenphakdeeL #learning #symmetry
On Symmetric Losses for Learning from Corrupted Labels (NC, JL, MS), pp. 961–970.
ICMLICML-2019-ClemenconLB #random
On Medians of (Randomized) Pairwise Means (SC, PL, PB), pp. 1272–1281.
ICMLICML-2019-EtmannLMS #robust
On the Connection Between Adversarial Robustness and Saliency Map Interpretability (CE, SL, PM, CS), pp. 1823–1832.
ICMLICML-2019-FrancP #learning #nondeterminism #predict
On discriminative learning of prediction uncertainty (VF, DP), pp. 1963–1971.
ICMLICML-2019-HacohenW #education #learning #network #power of
On The Power of Curriculum Learning in Training Deep Networks (GH, DW), pp. 2535–2544.
ICMLICML-2019-HayouDR #network
On the Impact of the Activation function on Deep Neural Networks Training (SH, AD, JR), pp. 2672–2680.
ICMLICML-2019-HeidariNG #algorithm #learning #policy #social
On the Long-term Impact of Algorithmic Decision Policies: Effort Unfairness and Feature Segregation through Social Learning (HH, VN, KPG), pp. 2692–2701.
ICMLICML-2019-KroshninTDDGU #approximate #complexity
On the Complexity of Approximating Wasserstein Barycenters (AK, NT, DD, PED, AG, CAU), pp. 3530–3540.
ICMLICML-2019-LinHJ #algorithm #analysis #performance
On Efficient Optimal Transport: An Analysis of Greedy and Accelerated Mirror Descent Algorithms (TL, NH, MIJ), pp. 3982–3991.
ICMLICML-2019-LiuTC #bound
On Certifying Non-Uniform Bounds against Adversarial Attacks (CL, RT, VC), pp. 4072–4081.
ICMLICML-2019-MaronFSL #invariant #network
On the Universality of Invariant Networks (HM, EF, NS, YL), pp. 4363–4371.
ICMLICML-2019-MianjyA
On Dropout and Nuclear Norm Regularization (PM, RA), pp. 4575–4584.
ICMLICML-2019-Nguyen #learning #set
On Connected Sublevel Sets in Deep Learning (QN), pp. 4790–4799.
ICMLICML-2019-PooleOOAT #bound
On Variational Bounds of Mutual Information (BP, SO, AvdO, AA, GT), pp. 5171–5180.
ICMLICML-2019-RahamanBADLHBC #bias #network
On the Spectral Bias of Neural Networks (NR, AB, DA, FD, ML, FAH, YB, ACC), pp. 5301–5310.
ICMLICML-2019-ShahGAD #bias #learning
On the Feasibility of Learning, Rather than Assuming, Human Biases for Reward Inference (RS, NG, PA, ADD), pp. 5670–5679.
ICMLICML-2019-VlassisBDJ #design #evaluation
On the Design of Estimators for Bandit Off-Policy Evaluation (NV, AB, MD, TJ), pp. 6468–6476.
ICMLICML-2019-WagstaffFEPO #representation #set
On the Limitations of Representing Functions on Sets (EW, FF, ME, IP, MAO), pp. 6487–6494.
ICMLICML-2019-Wang019a #difference #linear #privacy
On Sparse Linear Regression in the Local Differential Privacy Model (DW, JX0), pp. 6628–6637.
ICMLICML-2019-WangM0YZG #convergence #robust
On the Convergence and Robustness of Adversarial Training (YW0, XM, JB0, JY, BZ, QG), pp. 6586–6595.
ICMLICML-2019-WangZXS #learning
On the Generalization Gap in Reparameterizable Reinforcement Learning (HW, SZ, CX, RS), pp. 6648–6658.
ICMLICML-2019-WeiYW #generative #modelling #statistics
On the statistical rate of nonlinear recovery in generative models with heavy-tailed data (XW, ZY, ZW), pp. 6697–6706.
ICMLICML-2019-XieCJZZ #performance #scalability
On Scalable and Efficient Computation of Large Scale Optimal Transport (YX, MC, HJ, TZ, HZ), pp. 6882–6892.
ICMLICML-2019-YuJ #communication #complexity #optimisation #parallel #probability
On the Computation and Communication Complexity of Parallel SGD with Dynamic Batch Sizes for Stochastic Non-Convex Optimization (HY, RJ), pp. 7174–7183.
ICMLICML-2019-YuJY #analysis #communication #distributed #linear #optimisation #performance
On the Linear Speedup Analysis of Communication Efficient Momentum SGD for Distributed Non-Convex Optimization (HY, RJ, SY), pp. 7184–7193.
KDDKDD-2019-ChenBF #modelling #network
On Dynamic Network Models and Application to Causal Impact (YCC, ASB, JLF), pp. 1194–1204.
ECOOPECOOP-2019-MisonizhnikM #satisfiability #type system
On Satisfiability of Nominal Subtyping with Variance (AM, DM), p. 20.
OOPSLAOOPSLA-2019-BiswasE #complexity #consistency #transaction
On the complexity of checking transactional consistency (RB, CE), p. 28.
OOPSLAOOPSLA-2019-GoelV #design #implementation #lazy evaluation #using
On the design, implementation, and use of laziness in R (AG, JV), p. 27.
OOPSLAOOPSLA-2019-MiltnerGLLRSTU #on the fly #synthesis
On the fly synthesis of edit suggestions (AM, SG, VL, AL, AR, GS, AT0, AU), p. 29.
POPLPOPL-2019-RaadDRLV #concurrent #consistency #correctness #declarative #library #memory management #modelling #specification #verification
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models (AR, MD, LR, OL, VV), p. 31.
SASSAS-2019-FijalkowLOOP0 #abstract interpretation #problem
On the Monniaux Problem in Abstract Interpretation (NF, EL, PO, JO, AP, JW0), pp. 162–180.
ESEC-FSEESEC-FSE-2019-Fu #analysis #distributed #scalability
On the scalable dynamic taint analysis for distributed systems (XF), pp. 1247–1249.
ESEC-FSEESEC-FSE-2019-FucciMM #api #documentation #identification #machine learning #using
On using machine learning to identify knowledge in API reference documentation (DF, AM, WM), pp. 109–119.
ESEC-FSEESEC-FSE-2019-Greiner #model transformation #product line #reuse
On extending single-variant model transformations for reuse in software product line engineering (SG), pp. 1160–1163.
ESEC-FSEESEC-FSE-2019-SangleM #open source #python #using
On the use of lambda expressions in 760 open source Python projects (SS, SM), pp. 1232–1234.
ICSE-2019-LeB00LP #assessment #correctness #reliability
On reliability of patch correctness assessment (XBDL, LB, DL0, XX0, SL, CSP), pp. 524–535.
ICSE-2019-TufanoPWBP #learning
On learning meaningful code changes via neural machine translation (MT, JP, CW, GB, DP), pp. 25–36.
CASECASE-2019-CaiGS #consistency #reduction
On Consistent Reduction in Discrete-Event Systems (KC, AG, CS), pp. 474–479.
CASECASE-2019-RoselliHRFA #equivalence #using
On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering (SFR, FH, SR, MF, KÅ), pp. 1004–1009.
CASECASE-2019-SchlotzhauerKWB #2d #collaboration #metric #safety
On the trustability of the safety measures of collaborative robots: 2D Collision-force-map of a sensitive manipulator for safe HRC (AS, LK, JW, MB, MWH), pp. 1676–1683.
CASECASE-2019-ShinLM #assembly #optimisation #parallel
On the Optimization Of Cycle Time in Assembly Lines with Parallel Workstations and Tasks Requiring Multiple Workers (JS, ML, JRM), pp. 916–921.
CASECASE-2019-StappenD #3d
On Sufficient Numbers of Fingers to Immobilize 3D Chains of Polyhedra (AFvdS, MD), pp. 1443–1449.
ESOPESOP-2019-BuroM #multi
On the Multi-Language Construction (SB, IM), pp. 293–321.
CADECADE-2019-MeloO #finite
On the Width of Regular Classes of Finite Structures (AAdM, MdOO), pp. 18–34.
CADECADE-2019-PeuterS #invariant #parametricity #synthesis
On Invariant Synthesis for Parametric Systems (DP, VSS), pp. 385–405.
CAVCAV-2019-BiswasEE #complexity #consistency #data type
On the Complexity of Checking Consistency for Replicated Data Types (RB, ME, CE), pp. 324–343.
ICSTICST-2019-RwemalikaKPTL #evolution #keyword #testing
On the Evolution of Keyword-Driven Test Suites (RR, MK, MP, YLT, PL), pp. 335–345.
VMCAIVMCAI-2019-RaadLV #semantics
On the Semantics of Snapshot Isolation (AR, OL, VV), pp. 1–23.
ICPCICPC-2018-DoiHASK #automation #identification #question
On the naturalness of auto-generated code: can we identify auto-generated code automatically? (MD, YH, RA, KS, SK), pp. 340–343.
ICSMEICSME-2018-DecanMC #dependence #evolution #network
On the Evolution of Technical Lag in the npm Package Dependency Network (AD, TM, EC), pp. 404–414.
ICSMEICSME-2018-JimenezCTP #analysis #n-gram #parametricity
On the Impact of Tokenizer and Parameters on N-Gram Based Code Analysis (MJ, MC, YLT, MP), pp. 437–448.
ICSMEICSME-2018-LawrieB #debugging #locality
On the Value of Bug Reports for Retrieval-Based Bug Localization (DJL, DWB), pp. 524–528.
ICSMEICSME-2018-SaidQK #embedded #mining #state machine
On State Machine Mining from Embedded Control Software (WS, JQ, RK), pp. 138–148.
ICSMEICSME-2018-SpadiniPZBB #quality #smell
On the Relation of Test Smells to Software Code Quality (DS, FP, AZ, MB, AB), pp. 1–12.
MSRMSR-2018-DecanMC #dependence #network #security
On the impact of security vulnerabilities in the npm package dependency network (AD, TM, EC), pp. 181–191.
CIAACIAA-2018-Condon #algorithm #analysis #design #network
On Design and Analysis of Chemical Reaction Network Algorithms (AC), pp. 1–3.
CIAACIAA-2018-MoldagaliyevS0 #complexity
On the Values for Factor Complexity (BM, LS, FS0), pp. 274–285.
CIAACIAA-2018-SinghK #automaton #complexity
On Syntactic Complexity of Circular Semi-flower Automata (SNS, KVK), pp. 312–323.
DLTDLT-2018-CarpiD #commutative #context-free grammar #equivalence
On the Commutative Equivalence of Context-Free Languages (AC, FD), pp. 169–181.
DLTDLT-2018-DayFMNS
On Matching Generalised Repetitive Patterns (JDD, PF, FM, DN, MLS), pp. 269–281.
DLTDLT-2018-GonzeJ #automaton #reachability #set
On Completely Reachable Automata and Subset Reachability (FG, RMJ), pp. 330–341.
DLTDLT-2018-Gruber0W #finite #problem
On Minimal Grammar Problems for Finite Languages (HG, MH0, SW), pp. 342–353.
DLTDLT-2018-IbarraMR
On Counting Functions of Languages (OHI, IM, BR), pp. 429–440.
DLTDLT-2018-KarhumakiPW
On Abelian Subshifts (JK, SP, MAW), pp. 453–464.
DLTDLT-2018-LodingP #ambiguity #automaton
On Finitely Ambiguous Büchi Automata (CL, AP), pp. 503–515.
DLTDLT-2018-Otto #automaton #order
On Deterministic Ordered Restart-Delete Automata (FO), pp. 529–540.
FMFM-2018-KastnerMF #abstract interpretation #safety #security
On Software Safety, Security, and Abstract Interpretation (DK, LM, CF), pp. 662–665.
FSCDFSCD-2018-IkebuchiN
On Repetitive Right Application of B-Terms (MI, KN), p. 15.
IFM-2018-BasileBFGMPTF #formal method #industrial #overview
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders (DB, MHtB, AF, SG, FM, AP, DT, AF), pp. 20–29.
DiGRADiGRA-2018-Bonner #game studies
On Striated Wilderness and Prospect Pacing: Rural Open World Games as Liminal Spaces of the Man-Nature Dichotomy (MB).
CoGVS-Games-2018-SajjadiHCK #experience #game studies #social
On the Effect of a Personality-Driven ECA on Perceived Social Presence and Game Experience in VR (PS, LH, PC, SK), pp. 1–8.
CIKMCIKM-2018-SarkarB0 #network
On Rich Clubs of Path-Based Centralities in Networks (SS, SB, AM0), pp. 567–576.
CIKMCIKM-2018-TangTDJG #detection #realtime
On Real-time Detecting Passenger Flow Anomalies (BT, HT, XD, BJ, TG), pp. 1053–1062.
CIKMCIKM-2018-Voorhees #reuse #using
On Building Fair and Reusable Test Collections using Bandit Techniques (EMV), pp. 407–416.
CIKMCIKM-2018-ZhaoX0ZLZ #approach #comprehension #learning #predict
On Prediction of User Destination by Sub-Trajectory Understanding: A Deep Learning based Approach (JZ, JX, RZ0, PZ, CL, FZ), pp. 1413–1422.
ECIRECIR-2018-MackenzieMSC #cost analysis
On the Cost of Negation for Dynamic Pruning (JM, CM, FS, JSC), pp. 544–549.
ECIRECIR-2018-SuFMMO #classification #multi #twitter
On Refining Twitter Lists as Ground Truth Data for Multi-community User Classification (TS, AF, RM, CM, IO), pp. 765–772.
ECIRECIR-2018-YangOMMF #linear #word
On the Reproducibility and Generalisation of the Linear Transformation of Word Embeddings (XY0, IO, RM, CM, AF), pp. 263–275.
ICMLICML-2018-0001MPS #approximate #first-order
On the Limitations of First-Order Approximation in GAN Dynamics (JL0, AM, JP, LS), pp. 3011–3019.
ICMLICML-2018-AroraCH #network #optimisation
On the Optimization of Deep Networks: Implicit Acceleration by Overparameterization (SA, NC, EH), pp. 244–253.
ICMLICML-2018-ChatterjiFMBJ #formal method #monte carlo #probability #reduction
On the Theory of Variance Reduction for Stochastic Gradient Monte Carlo (NSC, NF, YAM, PLB, MIJ), pp. 763–772.
ICMLICML-2018-CohenDO
On Acceleration with Noise-Corrupted Gradients (MC0, JD, LO), pp. 1018–1027.
ICMLICML-2018-DuL #network #polynomial #power of
On the Power of Over-parametrization in Neural Networks with Quadratic Activation (SSD, JDL), pp. 1328–1337.
ICMLICML-2018-KondorT #network
On the Generalization of Equivariance and Convolution in Neural Networks to the Action of Compact Groups (RK, ST), pp. 2752–2760.
ICMLICML-2018-LiaoC #random
On the Spectrum of Random Features Maps of High Dimensional Data (ZL, RC), pp. 3069–3077.
ICMLICML-2018-LocatelloRKRSSJ #coordination
On Matching Pursuit and Coordinate Descent (FL, AR, SPK, GR, BS, SUS, MJ), pp. 3204–3213.
ICMLICML-2018-MianjyAV #bias
On the Implicit Bias of Dropout (PM, RA, RV), pp. 3537–3545.
ICMLICML-2018-MussmannL #fault #nondeterminism #performance
On the Relationship between Data Efficiency and Error for Uncertainty Sampling (SM, PL), pp. 3671–3679.
ICMLICML-2018-NguyenSH #learning
On Learning Sparsely Used Dictionaries from Incomplete Samples (TVN, AS, CH), pp. 3766–3775.
ICMLICML-2018-RainforthCYW #monte carlo
On Nesting Monte Carlo Estimators (TR, RC, HY, AW), pp. 4264–4273.
ICPRICPR-2018-LiangLTZ0 #recognition
On Mugshot-based Arbitrary View Face Recognition (JL, FL0, HT, QZ, AKJ0), pp. 3126–3131.
KDDKDD-2018-LiuHLH #induction #network #taxonomy
On Interpretation of Network Embedding via Taxonomy Induction (NL, XH, JL, XH), pp. 1812–1820.
KDDKDD-2018-Teh #big data #learning #problem
On Big Data Learning for Small Data Problems (YWT), p. 3.
KDDKDD-2018-WuZW #graph #using
On Discrimination Discovery and Removal in Ranked Data using Causal Graph (YW, LZ0, XW), pp. 2536–2544.
KDDKDD-2018-ZhangLDFY #generative
On the Generative Discovery of Structured Medical Knowledge (CZ, YL, ND, WF0, PSY), pp. 2720–2728.
ECMFAECMFA-2018-HinkelB #analysis #design #metamodelling
On the Influence of Metamodel Design to Analyses and Transformations (GH, EB), pp. 63–79.
MoDELSMoDELS-2018-GuerraL #flexibility #modelling
On the Quest for Flexible Modelling (EG, JdL), pp. 23–33.
MoDELSMoDELS-2018-KautzR
On Computing Instructions to Repair Failed Model Refinements (OK, BR), pp. 289–299.
OnwardOnward-2018-AlexandruMPPGR
On the usage of pythonic idioms (CVA, JJM, SP, SP, HCG, GR), pp. 1–11.
AdaEuropeAdaEurope-2018-GarridoZAP #ada #policy
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks (JG, JZ, AA0, JAdlP), pp. 73–86.
PADLPADL-2018-Tarau #λ-calculus
On k-colored Lambda Terms and Their Skeletons (PT), pp. 116–131.
PEPMPEPM-2018-GreenmanM #cost analysis
On the cost of type-tag soundness (BG, ZM), pp. 30–39.
POPLPOPL-2018-Lee0A #automation #correctness #implementation #proving
On automatically proving the correctness of math.h implementations (WL0, RS0, AA), p. 32.
PPDPPPDP-2018-BreuvartL #probability #λ-calculus
On Intersection Types and Probabilistic Lambda Calculi (FB, UDL), p. 13.
ASEASE-2018-HabchiBR #android #performance
On adopting linters to deal with performance concerns in Android apps (SH, XB0, RR), pp. 6–16.
ESEC-FSEESEC-FSE-2018-Gusmanov #modelling #network #reliability
On the adoption of neural networks in modeling software reliability (KG), pp. 962–964.
ESEC-FSEESEC-FSE-2018-HellendoornDA #proving
On the naturalness of proofs (VJH, PTD, MAA), pp. 724–728.
ICSE-2018-BellerSSZ #behaviour #debugging
On the dichotomy of debugging behavior among programmers (MB, NS, DS, AZ), pp. 572–583.
ICSE-2018-HabayebMMB #debugging #markov #predict #using
On the use of hidden Markov model to predict the time to fix bugs (MH, SSM, AVM, ABB), p. 700.
ICSE-2018-PalombaBPFOL #empirical #maintenance #scalability #smell
On the diffuseness and the impact on maintainability of code smells: a large scale empirical investigation (FP, GB, MDP, FF, RO, ADL), p. 482.
CASECASE-2018-TaoYTL #adaptation #design #flexibility #fuzzy
On the Design of Fuzzy Adaptive State Estimator for a Flexible Air-breathing Hypersonic Vehicle (XT, JY, XT, ZL0), pp. 104–109.
CASECASE-2018-WuJX #coordination #distributed #energy #optimisation #physics
On Distributed Optimization for Supply Demand Coordination in Cyber Physical Energy Systems (JW, QSJ, ZX), pp. 553–558.
CASECASE-2018-YangH #graph #multi
On a class of multi-input laplacian controllable graphs (PYY, SPH), pp. 310–315.
ESOPESOP-2018-RaadLV #consistency #parallel
On Parallel Snapshot Isolation and Release/Acquire Consistency (AR, OL, VV), pp. 940–967.
ESOPESOP-2018-ToninhoY #encoding #polymorphism
On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings (BT, NY), pp. 827–855.
CAVCAV-2018-BouajjaniEJQ #bound #message passing #source code #verification
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony (AB, CE, KJ, SQ), pp. 372–391.
CSLCSL-2018-McCuskerS #composition
On Compositionality of Dinatural Transformations (GM, AS), p. 22.
VMCAIVMCAI-2018-DongolJRA #abstraction #composition
On abstraction and compositionality for weak-memory linearisability (BD, RJ, JR, AA), pp. 183–204.
VMCAIVMCAI-2018-Ranzato
On Constructivity of Galois Connections (FR), pp. 452–473.
ECSAECSA-2017-ZalewskiBR #architecture #bias
On Cognitive Biases in Architecture Decision Making (AZ, KB, AR), pp. 123–137.
ICSAICSA-2017-CzepaTZKWR #architecture #behaviour #constraints #empirical #semantics
On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment (CC, HT, UZ, TTTK, EW, CR), pp. 155–164.
ICSAICSA-2017-KugeleOBCTH
On Service-Orientation for Automotive Software (SK, PO, MB, OC, MT, WH), pp. 193–202.
JCDLJCDL-2017-ElekesSB #modelling #semantics #similarity #word
On the Various Semantics of Similarity in Word Embedding Models (AE, MS, KB), pp. 139–148.
CSEETCSEET-2017-RupakhetiHMCS #requirements
On a Pursuit for Perfecting an Undergraduate Requirements Engineering Course (CRR, MH, SM, SC, AS), pp. 97–106.
EDMEDM-2017-BaoCH #learning #multi #online
On the Prevalence of Multiple-Account Cheating in Massive Open Online Learning (YB, GC, CH).
EDMEDM-2017-LalleCATM #learning #self #student
On the Influence on Learning of Student Compliance with Prompts Fostering Self-Regulated Learning (SL, CC, RA, MT, NM).
ICPCICPC-2017-LinPMBL
On the uniqueness of code redundancies (BL0, LP, AM, GB, ML), pp. 121–131.
ICPCICPC-2017-ValeM #assessment #design
On the properties of design-relevant classes for design anomaly assessment (LdNV, MdAM), pp. 332–335.
ICSMEICSME-2017-BaumSB #order #overview #perspective #source code
On the Optimal Order of Reading Source Code Changes for Review (TB, KS, AB), pp. 329–340.
MSRMSR-2017-OrellanaLMD #dataset #difference #integration #testing
On the differences between unit and integration testing in the travistorrent dataset (GO, GL, AM, SD), pp. 451–454.
MSRMSR-2017-PaixaoFDM #integration #non-functional #requirements
On the interplay between non-functional requirements and builds on continuous integration (KVRP, CZF, FMD, MdAM), pp. 479–482.
SANERSANER-2017-OsmanCSGN #evolution #exception #java
On the evolution of exception usage in Java projects (HO, AC, JS, MG, ON), pp. 422–426.
SCAMSCAM-2017-RahmanR #empirical
On the Relationships Between Stability and Bug-Proneness of Code Clones: An Empirical Study (MSR0, CKR), pp. 131–140.
AFLAFL-2017-BeierHK #complexity #linear #set
On the Descriptional Complexity of Operations on Semilinear Sets (SB, MH, MK), pp. 41–55.
AFLAFL-2017-PlatekO #automaton
On h-Lexicalized Restarting Automata (MP, FO), pp. 219–233.
CIAACIAA-2017-AcetoAFIK #complexity #monitoring
On the Complexity of Determinizing Monitors (LA, AA, AF, AI, SÖK), pp. 1–13.
CIAACIAA-2017-BerglundMWW #regular expression #semantics
On the Semantics of Atomic Subgroups in Practical Regular Expressions (MB, BvdM, BWW, NW), pp. 14–26.
CIAACIAA-2017-BjorklundBE #graph #order
On the Regularity and Learnability of Ordered DAG Languages (HB, JB, PE), pp. 27–39.
CIAACIAA-2017-Bordihn0 #automaton #finite #nondeterminism
On the Number of Active States in Deterministic and Nondeterministic Finite Automata (HB, MH0), pp. 40–51.
CIAACIAA-2017-Massazza
On the Conjecture ℒDFCM ⊊ RCM (PM), pp. 175–187.
DLTDLT-2017-Beier0 #complexity #proving #regular expression
On Regular Expression Proof Complexity (SB, MH0), pp. 83–95.
DLTDLT-2017-Broda0MMR #automaton
On the Mother of All Automata: The Position Automaton (SB, MH0, EM, NM, RR), pp. 134–146.
DLTDLT-2017-GazdagT #power of
On the Power of Permitting Semi-conditional Grammars (ZG, KT), pp. 173–184.
DLTDLT-2017-GonzeGGJV
On the Interplay Between Babai and Černý's Conjectures (FG, VVG, BG, RMJ, MVV), pp. 185–197.
DLTDLT-2017-HospodarJM #complexity
On the Descriptive Complexity of Σ∗L (MH, GJ, PM), pp. 222–234.
DLTDLT-2017-PetrovaS #word
On the Tree of Binary Cube-Free Words (EAP, AMS), pp. 296–307.
DLTDLT-2017-RubtsovV #automaton #complexity #set
On Computational Complexity of Set Automata (AAR, MNV), pp. 332–344.
DLTDLT-2017-Rukavicka #word
On the Number of Rich Words (JR), pp. 345–352.
FSCDFSCD-2017-Pistone #modelling
On Dinaturality, Typability and beta-eta-Stable Models (PP), p. 17.
SEFMSEFM-2017-PolaSB #approximate #metric
On Approximate Diagnosability of Metric Systems (GP, EDS, MDDB), pp. 269–283.
SEFMSEFM-2017-SantosR #constraints #runtime #workflow
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows (DRdS, SR), pp. 203–218.
ICFP-2017-0002KLP #monad #power of
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control (YF0, OK, SL, MP), p. 29.
ICFP-2017-IgarashiSI #polymorphism #type system
On polymorphic gradual typing (YI, TS, AI), p. 29.
FDGFDG-2017-Abuzuraiq #clustering #constraints #generative #graph #morphism #using
On using graph partitioning with isomorphism constraint in procedural content generation (AMA), p. 10.
CIKMCIKM-2017-Duong-TrungS #concept #documentation #topic
On Discovering the Number of Document Topics via Conceptual Latent Space (NDT, LST), pp. 2051–2054.
CIKMCIKM-2017-HuCHFL #graph #nondeterminism
On Embedding Uncertain Graphs (JH, RC, ZH0, YF, SL), pp. 157–166.
CIKMCIKM-2017-YanLWLZJZ #behaviour #video
On Migratory Behavior in Video Consumption (HY, THL, GW0, YL0, HZ0, DJ, BYZ), pp. 1109–1118.
ECIRECIR-2017-EsquivelAMCM
On the Long-Tail Entities in News (JE, DA, MMA, DC, SM), pp. 691–697.
ECIRECIR-2017-HafizogluKA #performance
On the Efficiency of Selective Search (FH, ECK, ISA), pp. 705–712.
ICMLICML-2017-BriolOCCG #kernel #problem
On the Sampling Problem for Kernel Quadrature (FXB, CJO, JC, WYC, MAG), pp. 586–595.
ICMLICML-2017-ChoiD
On Relaxing Determinism in Arithmetic Circuits (AC, AD), pp. 825–833.
ICMLICML-2017-ChowdhuryG #kernel #multi
On Kernelized Multi-armed Bandits (SRC, AG), pp. 844–853.
ICMLICML-2017-GentileLKKZE #clustering
On Context-Dependent Clustering of Bandits (CG, SL, PK, AK, GZ, EE), pp. 1253–1262.
ICMLICML-2017-GuoPSW #network
On Calibration of Modern Neural Networks (CG, GP, YS0, KQW), pp. 1321–1330.
ICMLICML-2017-KhannaEDGN #approximate #optimisation #rank
On Approximation Guarantees for Greedy Low Rank Optimization (RK, ERE, AGD, JG, SNN), pp. 1837–1846.
ICMLICML-2017-MaoSC #matrix #symmetry
On Mixed Memberships and Symmetric Nonnegative Matrix Factorizations (XM0, PS, DC), pp. 2324–2333.
ICMLICML-2017-RaghuPKGS #network #power of
On the Expressive Power of Deep Neural Networks (MR, BP, JMK, SG, JSD), pp. 2847–2854.
ICMLICML-2017-ShenL #complexity
On the Iteration Complexity of Support Recovery via Hard Thresholding Pursuit (JS0, PL0), pp. 3115–3124.
ICMLICML-2017-VorontsovTKP #dependence #learning #network #orthogonal
On orthogonality and learning recurrent networks with long term dependencies (EV, CT, SK, CP), pp. 3570–3578.
ICMLICML-2017-YangGKSFL #set
On The Projection Operator to A Three-view Cardinality Constrained Set (HY, SG, CK, DS, RF, JL0), pp. 3871–3880.
KDDKDD-2017-ChenSSH #collaboration
On Sampling Strategies for Neural Network-based Collaborative Filtering (TC0, YS, YS, LH), pp. 767–776.
KDDKDD-2017-ShenHYSLC #network #online #social
On Finding Socially Tenuous Groups for Online Social Networks (CYS, LHH, DNY, HHS, WCL, MSC), pp. 415–424.
MDEBX-2017-StevensG
On Ontologology (PS, JG), pp. 54–58.
ECMFAECMFA-2017-ArcegaFHC #feature model #modelling #runtime
On the Influence of Models at Run-Time Traces in Dynamic Feature Location (LA, JF, ØH, CC), pp. 90–105.
ECMFAECMFA-2017-GomezMBCDGKLT #case study #development #experience #modelling #scalability
On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development (AG, XM, GB, JC, CD, AG, DSK, JdL, ST), pp. 300–315.
ECMFAECMFA-2017-Kraas #automation #uml
On the Automated Derivation of Domain-Specific UML Profiles (AK), pp. 3–19.
MoDELSMoDELS-2017-HidakaJT #model transformation #transformation language
On Additivity in Transformation Languages (SH, FJ, MT), pp. 23–33.
LOPSTRLOPSTR-2017-BodiniT #λ-calculus
On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms (OB, PT), pp. 252–268.
POPLPOPL-2017-BouajjaniEGH #consistency #verification
On verifying causal consistency (AB, CE, RG, JH), pp. 626–638.
POPLPOPL-2017-KobayashiLB #fixpoint #higher-order #logic #recursion
On the relationship between higher-order recursion schemes and higher-order fixpoint logic (NK0, ÉL, FB), pp. 246–259.
ESEC-FSEESEC-FSE-2017-AlrajehPN #forensics #requirements
On evidence preservation requirements for forensic-ready systems (DA, LP, BN), pp. 559–569.
ESEC-FSEESEC-FSE-2017-Ellmann #development #documentation #similarity
On the similarity of software development documentation (ME), pp. 1030–1033.
ESEC-FSEESEC-FSE-2017-ZhouCMW #kernel #linux #maintenance #scalability
On the scalability of Linux kernel maintainers' work (MZ, QC, AM, FW), pp. 27–37.
ICSE-2017-SayaghKA #fault
On cross-stack configuration errors (MS, NK, BA), pp. 255–265.
CASECASE-2017-ArboGG #industrial #predict
On model predictive path following and trajectory tracking for industrial robots (MHA, EIG, JTG), pp. 100–105.
CASECASE-2017-BoseHS
On the separation of a polyhedron from its single-part mold (PB, DH, SS), pp. 61–66.
CASECASE-2017-LeeMKR #approximate
On the accuracy of analytic approximations for the mean cycle time in semiconductor manufacturing equipment with PM events (ML, JRM, AAK, KR), pp. 737–738.
CASECASE-2017-NagavalliCS #behaviour #multi #scheduling
On time-optimal behavior scheduling of robotic swarms for achieving multiple goals (SN, NC, KPS), pp. 1546–1553.
CASECASE-2017-ZhangZ #game studies
On eventual periodicity of networked evolutionary games (KZ, LZ0), pp. 177–180.
FASEFASE-2017-AraujoNN #debugging #effectiveness #predict
On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study (CWA, IN, DJN), pp. 78–95.
CADECADE-2017-HorbachVW #integer #linear
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic (MH, MV, CW), pp. 77–94.
CAVCAV-2017-Ben-AmramG #multi #ranking
On Multiphase-Linear Ranking Functions (AMBA, SG), pp. 601–620.
CAVCAV-2017-Tentrup
On Expansion and Resolution in CEGAR Based QBF Solving (LT), pp. 475–494.
CSLCSL-2017-Boker #automaton
On the (In)Succinctness of Muller Automata (UB), p. 16.
CSLCSL-2017-Oliveira
On Supergraphs Satisfying CMSO Properties (MdOO), p. 15.
CSLCSL-2017-VerbitskyZ #complexity #first-order #morphism
On the First-Order Complexity of Induced Subgraph Isomorphism (OV, MZ), p. 16.
CBSECBSE-2016-CrnkovicMMS #architecture #component #cyber-physical #using
On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems (IC, IM, HM, MS), pp. 23–32.
WICSAWICSA-2016-GallidabinoPIMS #architecture #design
On the Architecture of Liquid Software: Technology Alternatives and Design Space (AG, CP, VI, TM, KS, JPV, AT), pp. 122–127.
WICSAWICSA-2016-MubeenN #abstraction #analysis #component #distributed #embedded
On Timing Analysis of Component-Based Vehicular Distributed Embedded Systems at Various Abstraction Levels (SM, TN), pp. 277–278.
WICSAWICSA-2016-TsigkanosK #formal method #identification #specification
On Formalizing and Identifying Patterns in Cloud Workload Specifications (CT, TK), pp. 262–267.
EDMEDM-2016-JiangG #approach #contest #graph #mining
On Competition for Undergraduate Co-op Placements: A Graph Mining Approach (YHJ, LG), pp. 394–399.
EDMEDM-2016-KidzinskiSBD #modelling
On generalizability of MOOC models (LK, KS, MSB, PD), pp. 406–411.
ICPCICPC-2016-GeffenM
On method ordering (YG, SM), pp. 1–10.
ICPCICPC-2016-VasquezHP #android #automation #detection
On automatically detecting similar Android apps (MLV, AH, DP), pp. 1–10.
ICSMEICSME-2016-Borges #git
On the Popularity of GitHub Software (HB), p. 618.
ICSMEICSME-2016-ChaparroFM
On the Vocabulary Agreement in Software Issue Descriptions (OC, JMF, AM), pp. 448–452.
ICSMEICSME-2016-SawantRB #api #java
On the Reaction to Deprecation of 25, 357 Clients of 4+1 Popular Java APIs (AAS, RR, AB), pp. 400–410.
MSRMSR-2016-MoslehiAR #documentation #mining #speech
On mining crowd-based speech documentation (PM, BA, JR), pp. 259–268.
SANERSANER-2016-0001AKP #consistency #empirical #fault
On the Relationship of Inconsistent Software Clones and Faults: An Empirical Study (SW0, AA, KK, AP), pp. 79–89.
SANERSANER-2016-AltingerDSVW #modelling
On Error-Class Distribution in Automotive Model-Based Software (HA, YD, SS, JJV, FW), pp. 688–692.
SANERSANER-2016-MloukiKA #android #detection #ecosystem
On the Detection of Licenses Violations in the Android Ecosystem (OM, FK, GA), pp. 382–392.
CIAACIAA-2016-IbarraM #bound #linear
On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L (OHI, IM), pp. 138–149.
CIAACIAA-2016-Lerner #automaton
On Synchronizing Automata and Uniform Distribution (EL), pp. 202–212.
DLTDLT-2016-IbarraM #product line
On Families of Full Trios Containing Counter Machine Languages (OHI, IM), pp. 216–228.
DLTDLT-2016-KweeO #order
On Ordered RRWW-Automata (KK, FO), pp. 268–279.
DLTDLT-2016-ManeaNS #equation #problem #strict #word
On the Solvability Problem for Restricted Classes of Word Equations (FM, DN, MLS), pp. 306–318.
DLTDLT-2016-Paul #ambiguity #automaton #finite #polynomial
On Finite and Polynomial Ambiguity of Weighted Tree Automata (EP), pp. 368–379.
FSCDFSCD-2016-Vries
On Undefined and Meaningless in Lambda Definability (FJdV), p. 15.
IFM-2016-CassarF #framework #implementation #programming
On Implementing a Monitor-Oriented Programming Framework for Actor Systems (IC, AF), pp. 176–192.
IFM-2016-ChenAGSM #behaviour #classification #robust #verification
On Robust Malware Classifiers by Verifying Unwanted Behaviours (WC, DA0, ADG, CAS, IM), pp. 326–341.
IFM-2016-DamianiL #product line #type checking
On Type Checking Delta-Oriented Product Lines (FD, ML), pp. 47–62.
CIKMCIKM-2016-CheemaKALWCR #analysis #health #monitoring #using
On Structural Health Monitoring Using Tensor Analysis and Support Vector Machine with Artificial Negative Data (PC, NLDK, MMA, WL0, YW0, FC0, PR), pp. 1813–1822.
CIKMCIKM-2016-FanWL #analysis #metric #mobile #network #optimisation
On Backup Battery Data in Base Stations of Mobile Networks: Measurement, Analysis, and Optimization (XF, FW0, JL), pp. 1513–1522.
CIKMCIKM-2016-LiKZH #classification #network
On Transductive Classification in Heterogeneous Information Networks (XL, BK, YZ, ZH0), pp. 811–820.
CIKMCIKM-2016-LiSCS #adaptation #effectiveness #query #rank
On the Effectiveness of Query Weighting for Adapting Rank Learners to New Unlabelled Collections (PL, MS, MJC, FS), pp. 1413–1422.
ECIRECIR-2016-HasibiBB
On the Reproducibility of the TAGME Entity Linking System (FH, KB, SEB), pp. 436–449.
ECIRECIR-2016-MagdyEH #evaluation #generative #timeline #twitter
On the Evaluation of Tweet Timeline Generation Task (WM, TE, MH), pp. 648–653.
ECIRECIR-2016-NajiA #information retrieval
On Cross-Script Information Retrieval (NN, JA), pp. 796–802.
ICMLICML-2016-ArjevaniS #algorithm #complexity #first-order #optimisation
On the Iteration Complexity of Oblivious First-Order Optimization Algorithms (YA, OS), pp. 908–916.
ICMLICML-2016-HazanLS #optimisation #probability #problem
On Graduated Optimization for Stochastic Non-Convex Problems (EH, KYL, SSS), pp. 1833–1841.
ICMLICML-2016-KhandelwalLNS #analysis #monte carlo
On the Analysis of Complex Backup Strategies in Monte Carlo Tree Search (PK, EL, SN, PS), pp. 1319–1328.
ICMLICML-2016-PandeyD #metric #random #representation
On collapsed representation of hierarchical Completely Random Measures (GP0, AD), pp. 1605–1613.
ICMLICML-2016-Papakonstantinou #learning
On the Power and Limits of Distance-Based Learning (PAP, JX0, GY), pp. 2263–2271.
ICMLICML-2016-SafranS #network #quality
On the Quality of the Initial Basin in Overspecified Neural Networks (IS, OS), pp. 774–782.
ICMLICML-2016-WangGL #statistics
On the Statistical Limits of Convex Relaxations (ZW, QG, HL0), pp. 1368–1377.
ICMLICML-2016-ZhangGR #consistency #feature model
On the Consistency of Feature Selection With Lasso for Non-linear Targets (YZ, WG, SR), pp. 183–191.
ICPRICPR-2016-GuY #approximate #parametricity
On the magnitude of parameters of RBMs being universal approximators (LG, LY), pp. 2470–2474.
ICPRICPR-2016-KabkabHC #network #performance
On the size of Convolutional Neural Networks and generalization performance (MK, EMH, RC), pp. 3572–3577.
ICPRICPR-2016-KouwL #estimation #parametricity
On regularization parameter estimation under covariate shift (WMK, ML), pp. 426–431.
ICPRICPR-2016-MarcaciniCD #distance
On combining Websensors and DTW distance for kNN Time Series Forecasting (RMM, JCC, JD), pp. 2521–2525.
ICPRICPR-2016-MurakamiKT #strict
On restricting modalities in likelihood-ratio based biometric score fusion (TM, YK, KT), pp. 3036–3042.
ICPRICPR-2016-SidibeRM #detection #multi #using
On spatio-temporal saliency detection in videos using multilinear PCA (DS, MR, FM), pp. 1876–1880.
ICPRICPR-2016-YuenMT #algorithm #dataset #evaluation
On looking at faces in an automobile: Issues, algorithms and evaluation on naturalistic driving dataset (KY, SM, MMT), pp. 2777–2782.
MoDELSMoDELS-2016-Kosiuczenko #contract #protocol #state machine #synthesis
On the synthesis of protocol state machines from contracts (PK), pp. 76–85.
LOPSTRLOPSTR-2016-MesnardPV #logic programming #source code #testing #unification
On the Completeness of Selective Unification in Concolic Testing of Logic Programs (FM, ÉP, GV), pp. 205–221.
PLDIPLDI-2016-0001HM #complexity #parsing #performance
On the complexity and performance of parsing with derivatives (MDA0, CH, MM), pp. 224–236.
SASSAS-2016-MauricaMP #float #linear #problem #ranking
On the Linear Ranking Problem for Simple Floating-Point Loops (FM, FM, ÉP), pp. 300–316.
ASEASE-2016-MeinickeWKTS #complexity #configuration management #interactive
On essential configuration complexity: measuring interactions in highly-configurable systems (JM, CPW, CK, TT, GS), pp. 483–494.
FSEFSE-2016-Kurtz #mutation testing #testing
On the utility of dominator mutants for mutation testing (BK), pp. 1088–1090.
FSEFSE-2016-MaozR #specification
On well-separation of GR(1) specifications (SM, JOR), pp. 362–372.
ICSE-2016-GopinathAAJG #reduction
On the limits of mutation reduction strategies (RG, MAA, IA0, CJ, AG), pp. 511–522.
ICSE-2016-RizziED #case study #tool support
On the techniques we create, the tools we build, and their misalignments: a study of KLEE (EFR, SGE, MBD), pp. 132–143.
CASECASE-2016-BochkarevS
On minimizing turns in robot coverage path planning (SB, SLS0), pp. 1237–1242.
CASECASE-2016-ShinKYJ
On avoiding Moving Objects for indoor autonomous quadrotors (DS, JK, BY, DHJ), pp. 503–508.
CASECASE-2016-SundstromWRL #energy #robust
On the conflict between energy, stability and robustness in production schedules (NS, OW, SR, BL), pp. 1263–1269.
CCCC-2016-RajbhandariKKPR #recursion #traversal
On fusing recursive traversals of K-d trees (SR, JK, SK, LNP, FR, RJH, PS), pp. 152–162.
CCCC-2016-ScholzJSW #datalog #performance #program analysis #scalability
On fast large-scale program analysis in Datalog (BS, HJ, PS, TW), pp. 196–206.
ESOPESOP-2016-DOsualdoO #communication #π-calculus
On Hierarchical Communication Topologies in the π-calculus (ED, CHLO), pp. 149–175.
ESOPESOP-2016-KouzapasPY #higher-order #process
On the Relative Expressiveness of Higher-Order Session Processes (DK, JAP, NY), pp. 446–475.
CSLCSL-2016-GanardiGL #bisimulation #complexity #finite #parallel
On the Parallel Complexity of Bisimulation on Finite Systems (MG, SG, ML), p. 17.
IJCARIJCAR-2016-Sofronie-Stokkermans
On Interpolation and Symbol Elimination in Theory Extensions (VSS), pp. 273–289.
ECSAECSA-2015-MucciniTR #architecture #social
On the Social Dimensions of Architectural Decisions (HM, DAT, VSR), pp. 137–145.
QoSAQoSA-2015-KjaergaardK #architecture #mobile
On Architectural Qualities and Tactics for Mobile Sensing (MBK, MK), pp. 63–72.
HTHT-2015-HaKK #recommendation
On Recommending Newly Published Academic Papers (JH, SHK, SWK), pp. 329–330.
HTHT-2015-LeeHKGH #recommendation
On Recommending Job Openings (YCL, JH, SWK, SG, JYH), pp. 331–332.
PODSPODS-2015-RahulT #2d
On Top-k Range Reporting in 2D Space (SR, YT), pp. 265–275.
SIGMODSIGMOD-2015-LoesingPEK #database #design #distributed #scalability
On the Design and Scalability of Distributed Shared-Data Databases (SL, MP, TE, DK), pp. 663–676.
SIGMODSIGMOD-2015-TerleckiXSKW
On Improving User Response Times in Tableau (PT, FX, MS, VK, RMGW), pp. 1695–1706.
TPDLTPDL-2015-DebruyneBGCD #framework #linked data #open data #platform
On a Linked Data Platform for Irish Historical Vital Records (CD, ODB, RG, SC, SD), pp. 99–110.
TPDLTPDL-2015-FigueiraPAG #case study
On the Impact of Academic Factors on Scholar Popularity: A Cross-Area Study (PF, GP, JMA, MAG), pp. 139–152.
VLDBVLDB-2015-KhanC #graph #modelling #nondeterminism #query
On Uncertain Graphs Modeling and Queries (AK, LC), pp. 2042–2053.
VLDBVLDB-2015-SchuhknechtKD #clustering
On the Surprising Difficulty of Simple Things: the Case of Radix Partitioning (FMS, PK, JD), pp. 934–937.
EDMEDM-2015-BazalduaKDHLW #behaviour #collaboration #convergence #process
On Convergence of Cognitive and Non-cognitive Behavior in Collaborative Activity (DLB, SMK, AAvD, JH, LL, ZW), pp. 496–499.
EDMEDM-2015-KlinglerKSG #modelling #performance
On the Performance Characteristics of Latent-Factor and Knowledge Tracing Models (SK, TK, BS, MHG), pp. 37–44.
ICSMEICSME-2015-NucciPSBOL #debugging #developer #predict
On the role of developer’s scattered changes in bug prediction (DDN, FP, SS, GB, RO, ADL), pp. 241–250.
SANERSANER-2015-Cleland-Huang #question
On whose shoulders? (JCH), p. 1.
SANERSANER-2015-MuskeB #static analysis #tool support
On implementational variations in static analysis tools (TM, PB), pp. 512–515.
SCAMSCAM-2015-UddinGGR #comprehension #eye tracking #using #visualisation
On the comprehension of code clone visualizations: A controlled study using eye tracking (MSU, VG, CG, CKR), pp. 161–170.
CIAACIAA-J-2013-BalkanskiBKW15 #complexity #word
On the state complexity of partial word DFAs (EB, FBS, MK, BJW), pp. 2–12.
CIAACIAA-J-2013-JirasekJ15 #bound #regular expression
On the boundary of regular languages (JJ, GJ), pp. 42–57.
CIAACIAA-2015-BerglundM #parsing #regular expression #semantics
On the Semantics of Regular Expression Parsing in the Wild (MB, BvdM), pp. 292–304.
CIAACIAA-2015-CaronMM
On the Hierarchy of Block Deterministic Languages (PC, LM, CM), pp. 63–75.
CIAACIAA-2015-GusevS #graph
On the Number of Synchronizing Colorings of Digraphs (VVG, MS), pp. 127–139.
CIAACIAA-2015-HeamJ #automaton #generative #morphism #random
On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism (PCH, JLJ), pp. 140–152.
CIAACIAA-2015-MohriR #ambiguity #automaton
On the Disambiguation of Weighted Automata (MM, MDR), pp. 263–278.
DLTDLT-2015-AlmeidaBKK #decidability
On Decidability of Intermediate Levels of Concatenation Hierarchies (JA, JB, OK, MK), pp. 58–70.
DLTDLT-2015-BianchiHK #automaton #liveness #problem
On the Size of Two-Way Reasonable Automata for the Liveness Problem (MPB, JH, IK), pp. 120–131.
DLTDLT-2015-EremondiIM
On the Density of Context-Free and Counter Languages (JE, OHI, IM), pp. 228–239.
DLTDLT-2015-KrebsLL
On Distinguishing NC¹ and NL (AK, KJL, ML), pp. 340–351.
DLTDLT-2015-MasopustT #automaton #complexity #testing
On the Complexity of k-Piecewise Testability and the Depth of Automata (TM, MT), pp. 364–376.
ICALPICALP-v1-2015-Avigdor-Elgrabli #order #random
On the Randomized Competitive Ratio of Reordering Buffer Management with Non-Uniform Costs (NAE, SI, BM, YR), pp. 78–90.
ICALPICALP-v1-2015-CzyzowiczGKKSU #convergence #protocol
On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols (JC, LG, AK, EK, PGS, PU), pp. 393–405.
ICALPICALP-v1-2015-DoronT #approximate #graph #probability #problem
On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace (DD, ATS), pp. 419–431.
ICALPICALP-v1-2015-DvorakK #csp
On Planar Boolean CSP (ZD, MK), pp. 432–443.
ICALPICALP-v1-2015-Erlebach0K #graph
On Temporal Graph Exploration (TE, MH, FK), pp. 444–455.
ICALPICALP-v1-2015-KurpiszLM #problem
On the Hardest Problem Formulations for the 0/1 0 / 1 Lasserre Hierarchy (AK, SL, MM), pp. 872–885.
ICALPICALP-v2-2015-BouajjaniEEH #reachability
On Reducing Linearizability to State Reachability (AB, ME, CE, JH), pp. 95–107.
ICALPICALP-v2-2015-FriedrichK #graph #random
On the Diameter of Hyperbolic Random Graphs (TF, AK), pp. 614–625.
ICALPICALP-v2-2015-KuperbergS #automaton #nondeterminism
On Determinisation of Good-for-Games Automata (DK, MS), pp. 299–310.
ICALPICALP-v2-2015-LerouxST #automaton #problem
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension (JL, GS, PT), pp. 324–336.
ICALPICALP-v2-2015-SwernofskyW #complexity
On the Complexity of Intersecting Regular, Context-Free, and Tree Languages (JS, MW), pp. 414–426.
LATALATA-2015-BadkobehFL #word
On the Number of Closed Factors in a Word (GB, GF, ZL), pp. 381–390.
LATALATA-2015-BresolinMMSS #complexity #logic
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures (DB, DDM, AM, PS, GS), pp. 511–523.
LATALATA-2015-GodinKP #automaton
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata (TG, IK, MP), pp. 328–339.
LATALATA-2015-GonzeJ #probability
On the Synchronizing Probability Function and the Triple Rendezvous Time — New Approaches to Černý’s Conjecture (FG, RMJ), pp. 212–223.
LATALATA-2015-HalavaNP #game studies
On Robot Games of Degree Two (VH, RN, IP), pp. 224–236.
LATALATA-2015-LiH #algebra #automaton #network
On Observability of Automata Networks via Computational Algebra (RL, YH), pp. 249–262.
LATALATA-2015-NayakK #word
On the Language of Primitive Partial Words (ACN, KK), pp. 436–445.
SEFMSEFM-2015-HanazumiM #testing
On the Testability of Properties Patterns (SH, ACVdM), pp. 148–155.
CoGCIG-2015-RunarssonL #approximate #evaluation #game studies #using
On imitating Connect-4 game trajectories using an approximate n-tuple evaluation function (TPR, SML), pp. 208–213.
GCMGCM-2015-Flick #correctness #graph #recursion #source code
On Correctness of Graph Programs Relative to Recursively Nested Conditions (NEF), pp. 97–112.
CHICHI-2015-BowserHMC #experience
On Vintage Values: The Experience of Secondhand Fashion Reacquisition (AEB, OLH, EFM, EFC), pp. 897–906.
CHICHI-2015-SongCOKH #effectiveness
On the Effectiveness of Pattern Lock Strength Meters: Measuring the Strength of Real World Pattern Locks (YS, GC, SO, HK, JHH), pp. 2343–2352.
CSCWCSCW-2015-SlovakTTOF #challenge
On Becoming a Counsellor: Challenges and Opportunities to Support Interpersonal Skills Training (PS, AT, PT, PO, GF), pp. 1336–1347.
HCIDUXU-DD-2015-Liang #industrial #metaprogramming #online
On Chinese Online P2P Lender’s Model Building on the Macro, Micro and Industry Level (QL), pp. 315–327.
HCIHCI-IT-2015-SarsharNR #analysis #human-computer #smarttech #usability
On the Usability of Smartphone Apps in Emergencies — An HCI Analysis of GDACSmobile and SmartRescue Apps (PS, VN, JR), pp. 765–774.
HCIHCI-UC-2015-JeongJ #performance #personalisation
On Time: Efficient and Personalized Hospital Service (SYJ, DYJ), pp. 190–197.
ICEISICEIS-v1-2015-FolinoGP #behaviour #modelling #process
On the Discovery of Explainable and Accurate Behavioral Models for Complex Lowly-structured Business Processes (FF, MG, LP), pp. 206–217.
ICEISICEIS-v2-2015-FrantzSRYE #ecosystem #integration #markov #process #using
On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems (RZF, SS, FRF, IY, MTME), pp. 260–267.
ICEISICEIS-v2-2015-MazurKW #data access #modelling #performance #security
On the Modelling of the Influence of Access Control Management to the System Security and Performance (KM, BK, AW), pp. 346–354.
CIKMCIKM-2015-BagdouriO15a #microblog #predict
On Predicting Deletions of Microblog Posts (MB, DWO), pp. 1707–1710.
CIKMCIKM-2015-ChenQW #estimation #set
On Gapped Set Intersection Size Estimation (CC0, JQ, WW0), pp. 1351–1360.
CIKMCIKM-2015-GrauerL #component #interactive
On the Effect of “Stupid” Search Components on User Interaction with Search Engines (LG, AL), pp. 1727–1730.
CIKMCIKM-2015-GuidoGLR #independence
On Query-Update Independence for SPARQL (NG, PG, NL, CR), pp. 1675–1678.
CIKMCIKM-2015-LuMC #cost analysis #modelling #proximity
On the Cost of Extracting Proximity Features for Term-Dependency Models (XL0, AM, JSC), pp. 293–302.
ECIRECIR-2015-GogMP #identification #statistics #using
On Identifying Phrases Using Collection Statistics (SG, AM, MP), pp. 278–283.
ECIRECIR-2015-SchedlHFT #algorithm #music #recommendation
On the Influence of User Characteristics on Music Recommendation Algorithms (MS, DH, KF, MT), pp. 339–345.
ICMLICML-2015-GasseAE #classification #composition #multi #set
On the Optimality of Multi-Label Classification under Subset Zero-One Loss for Distributions Satisfying the Composition Property (MG, AA, HE), pp. 2531–2539.
ICMLICML-2015-KordaA #approximate #bound #convergence #exponential
On TD(0) with function approximation: Concentration bounds and a centered variant with exponential convergence (NK, PLA), pp. 626–634.
ICMLICML-2015-NeyshaburS #symmetry
On Symmetric and Asymmetric LSHs for Inner Product Search (BN, NS), pp. 1926–1934.
ICMLICML-2015-SharmaKD
On Greedy Maximization of Entropy (DS, AK, AD), pp. 1330–1338.
ICMLICML-2015-TagortiS #bound #convergence #fault
On the Rate of Convergence and Error Bounds for LSTD(λ) (MT, BS), pp. 1521–1529.
ICMLICML-2015-WangALB #learning #multi #representation
On Deep Multi-View Representation Learning (WW, RA, KL, JAB), pp. 1083–1092.
ICMLICML-2015-WuGS #combinator #feedback #finite #identification
On Identifying Good Options under Combinatorially Structured Feedback in Finite Noisy Environments (YW, AG, CS), pp. 1283–1291.
ICMLICML-2015-ZhaoMP #network
On the Relationship between Sum-Product Networks and Bayesian Networks (HZ, MM, PP), pp. 116–124.
KDDKDD-2015-0002PGM #network
On the Formation of Circles in Co-authorship Networks (TC, SP, PG, AM), pp. 109–118.
KDDKDD-2015-GogaLSTG #network #online #reliability #scalability #social
On the Reliability of Profile Matching Across Large Online Social Networks (OG, PL, RS, RT, KPG), pp. 1799–1808.
KDDKDD-2015-Kifer #category theory
On Estimating the Swapping Rate for Categorical Data (DK), pp. 557–566.
KDDKDD-2015-LiLGSZFH #evolution
On the Discovery of Evolving Truth (YL, QL, JG, LS, BZ, WF, JH), pp. 675–684.
MLDMMLDM-2015-OliveiraVZ #clustering
On Bicluster Aggregation and its Benefits for Enumerative Solutions (SHGdO, RV, FJVZ), pp. 266–280.
SEKESEKE-2015-MagalhaesAM #approach #framework #independence #model transformation #platform #specification
On the Specification of Model Transformations through a Platform Independent Approach (APM, AMSA, RSPM), pp. 558–561.
SIGIRSIGIR-2015-FarSBFH
On Term Selection Techniques for Patent Prior Art Search (MGF, SS, MRB, GF, DH), pp. 803–806.
SIGIRSIGIR-2015-HashemiCDKK #reuse #usability
On the Reusability of Open Test Collections (SHH, CLAC, ADH, JK, JK), pp. 827–830.
SIGIRSIGIR-2015-MegorskayaKS #assessment
On the Relation Between Assessor’s Agreement and Accuracy in Gamified Relevance Assessment (OM, VK, PS), pp. 605–614.
SIGIRSIGIR-2015-PetriM #cost analysis #ranking
On the Cost of Phrase-Based Ranking (MP, AM), pp. 931–934.
ECMFAECMFA-2015-BruneliereGDKHB #lightweight #metamodelling #modelling #tool support
On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
MoDELSMoDELS-2015-Fernandez-SaezC #documentation #industrial #maintenance #overview #uml #using
On the use of UML documentation in software maintenance: Results from a survey in industry (AMFS, DC, MG, MRVC), pp. 292–301.
PLATEAUPLATEAU-2015-HanenbergS #community
On the need to define community agreements for controlled experiments with human subjects: a discussion paper (SH, AS), pp. 61–67.
LOPSTRLOPSTR-2015-Seki #logic programming #source code
On Dual Programs in Co-Logic Programming (HS), pp. 21–35.
PADLPADL-2015-CruzR #compilation #linear #logic programming #source code
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.
PADLPADL-2015-Tarau #combinator #generative #logic programming #normalisation #type inference
On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.
POPLPOPL-2015-ElangoRPRS #complexity #data access #source code
On Characterizing the Data Access Complexity of Programs (VE, FR, LNP, JR, PS), pp. 567–580.
PPDPPPDP-2015-BartakDZ #logic programming #modelling #problem
On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
PPDPPPDP-2015-Tarau #combinator #representation
On a uniform representation of combinators, arithmetic, λ terms and types (PT), pp. 244–255.
ESEC-FSEESEC-FSE-2015-HammoudiBBR #debugging #using #web
On the use of delta debugging to reduce recordings and facilitate debugging of web applications (MH, BB, GB, GR), pp. 333–344.
ICSEICSE-v2-2015-BarnBR #re-engineering
On the Role of Value Sensitive Concerns in Software Engineering Practice (BSB, RB, FR), pp. 497–500.
ICSEICSE-v2-2015-Cavalcante #architecture #development
On the Architecture-Driven Development of Software-Intensive Systems-of-Systems (EC), pp. 899–902.
ICSEICSE-v2-2015-SongENCFC #adaptation #architecture
On Architectural Diversity of Dynamic Adaptive Systems (HS, AE, VN, FC, FF, SC), pp. 595–598.
SACSAC-2015-BerardiCEM #microblog #realtime
On the impact of entity linking in microblog real-time filtering (GB, DC, AE, DM), pp. 1066–1071.
SACSAC-2015-BurkhardtK #classification #multi
On the spectrum between binary relevance and classifier chains in multi-label classification (SB, SK), pp. 885–892.
SACSAC-2015-FonooniH #behaviour #visual notation
On the similarities between control based and behavior based visual servoing (BF, TH), pp. 320–326.
SACSAC-2015-JoCKBO #algorithm #approach #collaboration #cpu #data-driven
On running data-intensive algorithms with intelligent SSD and host CPU: a collaborative approach (YYJ, SC, SWK, DHB, HO), pp. 2060–2065.
SACSAC-2015-OkkaliogluKP
On the discovery of fake binary ratings (MO, MK, HP), pp. 901–907.
SACSAC-2015-SioutisSC #composition #graph #reasoning
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning (MS, YS, JFC), pp. 1874–1879.
SLESLE-2015-MaroSATG #domain-specific language #editing #experience #industrial #uml #visual notation
On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience (SM, JPS, AA, MT, LG), pp. 1–12.
CASECASE-2015-BergagardF #automation #using
On restart of automated manufacturing systems using restart states (PB, MF), pp. 166–167.
CASECASE-2015-MoalDC #case study #monitoring #overview #process
On the feasibility of a monitoring system for the friction stir welding process: Literature review and experimental study (GLM, FD, DC), pp. 1576–1583.
CGOCGO-2015-ZhengLHWJ #approach #debugging #manycore #performance
On performance debugging of unnecessary lock contentions on multicore processors: a replay-based approach (LZ, XL, BH, SW, HJ), pp. 56–67.
DACDAC-2015-TashjianD #identification #using
On using control signals for word-level identification in a gate-level netlist (ET, AD), p. 6.
DATEDATE-2015-AntoniadisKEBS #architecture #memory management #optimisation #statistics
On the statistical memory architecture exploration and optimization (CA, GK, NEE, APB, GIS), pp. 543–548.
DATEDATE-2015-RiefertCSRB #automation #generative #source code
On the automatic generation of SBST test programs for in-field test (AR, RC, MS, MSR, BB), pp. 1186–1191.
DATEDATE-2015-YeYZX
On the premises and prospects of timing speculation (RY, FY, JZ, QX), pp. 605–608.
PDPPDP-2015-RossiXMR #clustering #energy
On the Impact of Energy-Efficient Strategies in HPC Clusters (FDR, MGX, YJM, CAFDR), pp. 17–21.
PDPPDP-2015-ThomanGF #concurrent #implementation #library #quality #thread
On the Quality of Implementation of the C++11 Thread Support Library (PT, PG, TF), pp. 94–98.
PPoPPPPoPP-2015-AshariTBRCKS #kernel #machine learning #optimisation
On optimizing machine learning workloads via kernel fusion (AA, ST, MB, BR, KC, JK, PS), pp. 173–182.
FoSSaCSFoSSaCS-2015-BacciBLM #distance #markov
On the Total Variation Distance of Semi-Markov Chains (GB, GB, KGL, RM), pp. 185–199.
FoSSaCSFoSSaCS-2015-BagnolDS #dependence #logic
On the Dependencies of Logical Rules (MB, AD, AS), pp. 436–450.
FoSSaCSFoSSaCS-2015-HabermehlK #quantifier
On Presburger Arithmetic Extended with Modulo Counting Quantifiers (PH, DK), pp. 375–389.
FoSSaCSFoSSaCS-2015-SchubertUZ #first-order #logic
On the Mints Hierarchy in First-Order Intuitionistic Logic (AS, PU, KZ), pp. 451–465.
STOCSTOC-2015-BansalGG #graph #independence #set
On the Lovász Theta function for Independent Sets in Sparse Graphs (NB, AG, GG), pp. 193–200.
STOCSTOC-2015-ChenDO #complexity #game studies #nash
On the Complexity of Nash Equilibria in Anonymous Games (XC, DD, AO), pp. 381–390.
STOCSTOC-2015-FeldmanPV #complexity #problem #random #satisfiability
On the Complexity of Random Satisfiability Problems with Planted Solutions (VF, WP, SV), pp. 77–86.
TACASTACAS-2015-ChakrabortyFMSV #generative #parallel #satisfiability #scalability
On Parallel Scalable Uniform SAT Witness Generation (SC, DJF, KSM, SAS, MYV), pp. 304–319.
CAVCAV-2015-CookKP #automation #infinity #verification
On Automation of CTL* Verification for Infinite-State Systems (BC, HK, NP), pp. 13–29.
CSLCSL-2015-AminiE #linear #logic
On Classical PCF, Linear Logic and the MIX Rule (SA, TE), pp. 582–596.
CSLCSL-2015-DuparcFH #ambiguity
On Unambiguous Regular Tree Languages of Index (0, 2) (JD, KF, SH), pp. 534–548.
CSLCSL-2015-KupfermanV #finite #probability
On Relative and Probabilistic Finite Counterability (OK, GV), pp. 175–192.
ICLPICLP-2015-KieslST #analysis #source code
On Structural Analysis of Non-Ground Answer-Set Programs (BK, PS, HT), pp. 221–234.
ICLPICLP-2015-Tarau #generative
On Type-directed Generation of λ Terms (PT), pp. 60–72.
ICSTICST-2015-AlegrothBB #case study #empirical #industrial
On the Industrial Applicability of TextTest: An Empirical Case Study (EA, GB, EB), pp. 1–10.
LICSLICS-2015-AccattoliC
On the Relative Usefulness of Fireballs (BA, CSC), pp. 141–155.
LICSLICS-2015-BozzelliP #complexity #equilibrium #logic
On the Complexity of Temporal Equilibrium Logic (LB, DP), pp. 645–656.
LICSLICS-2015-LechnerOW #complexity #linear
On the Complexity of Linear Arithmetic with Divisibility (AL, JO, JW), pp. 667–676.
ICSTSAT-2015-BovaCMS #compilation
On Compiling CNFs into Structured Deterministic DNNFs (SB, FC, SM, FS), pp. 199–214.
DocEngDocEng-2014-DadachevBB #automation #segmentation
On automatic text segmentation (BD, AB, HB), pp. 73–80.
HTHT-2014-0001IAS #predict
On the predictability of talk attendance at academic conferences (CS, JI, MA, GS), pp. 279–284.
HTHT-2014-Santos-NetoPAR #data flow #optimisation
On the choice of data sources to improve content discoverability via textual feature optimization (ESN, TP, JMA, MR), pp. 273–278.
JCDLJCDL-2014-PopNP #deployment
On Cloud deployment of digital preservation environments (DP, MN, DP), pp. 443–444.
PODSPODS-2014-FanGL #big data #independence #query
On scale independence for querying big data (WF, FG, LL), pp. 51–62.
SIGMODSIGMOD-2014-ZhangDI #complexity #optimisation #query
On complexity and optimization of expensive queries in complex event processing (HZ, YD, NI), pp. 217–228.
VLDBVLDB-2014-FunkeNS
On k-Path Covers and their Applications (SF, AN, SS), pp. 893–902.
VLDBVLDB-2014-LinK #query
On Arbitrage-free Pricing for General Data Queries (BRL, DK), pp. 757–768.
VLDBVLDB-2014-Song0C #set
On Concise Set of Relative Candidate Keys (SS, LC, HC), pp. 1179–1190.
SANERCSMR-WCRE-2014-ClaesMG #maintenance
On the maintainability of CRAN packages (MC, TM, PG), pp. 308–312.
ICPCICPC-2014-JbaraF #comprehension
On the effect of code regularity on comprehension (AJ, DGF), pp. 189–200.
ICPCICPC-2014-ShobeKZK #commit #open source
On mapping releases to commits in open source systems (JFS, MYK, MBZ, HHK), pp. 68–71.
ICSMEICSME-2014-BiazziniMB #commit #distributed #version control
On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems (MB, MM, BB), pp. 261–270.
ICSMEICSME-2014-ChaparroBMP #metric #quality #refactoring
On the Impact of Refactoring Operations on Code Quality Metrics (OC, GB, AM, MDP), pp. 456–460.
ICSMEICSME-2014-MorenoTMS #debugging #locality #stack #using
On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization (LM, JJT, AM, WS), pp. 151–160.
ICSMEICSME-2014-SahaLKP #c #debugging #effectiveness #information retrieval #locality #source code
On the Effectiveness of Information Retrieval Based Bug Localization for C Programs (RKS, JL, SK, DEP), pp. 161–170.
SCAMSCAM-2014-Cortes-CoyVAP #automation #commit #generative #source code #summary
On Automatically Generating Commit Messages via Summarization of Source Code Changes (LFCC, MLV, JA, DP), pp. 275–284.
SCAMSCAM-2014-JiangSGC #maintenance #slicing
On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance (SJ, RAS, MG, HC), pp. 145–154.
SCAMSCAM-2014-RahmanR14a #exception #recommendation #using
On the Use of Context in Recommending Exception Handling Code Examples (MMR, CKR), pp. 285–294.
DLTDLT-J-2013-BertoniCD14 #automaton #context-free grammar #decidability #problem #quantum
On the Decidability of the Intersection Problem for Quantum Automata and Context-Free Languages (AB, CC, FD), pp. 1065–1082.
DLTDLT-J-2013-DayRS14 #problem
On the Dual Post Correspondence Problem (JDD, DR, JCS), pp. 1033–1048.
DLTDLT-J-2013-GocRRS14 #automation #word
On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving) (DG, NR, MR, PS), pp. 1097–1110.
AFLAFL-2014-CarninoL #ambiguity #automaton
On Determinism and Unambiguity of Weighted Two-way Automata (VC, SL), pp. 188–200.
AFLAFL-2014-Klima #algebra #automaton
On Varieties of Automata Enriched with an Algebraic Structure (OK), pp. 49–54.
CIAACIAA-2014-BianchiMP #automaton #power of #quantum
On the Power of One-Way Automata with Quantum and Classical States (MPB, CM, BP), pp. 84–97.
CIAACIAA-2014-BieglerM #automaton #finite #word
On Comparing Deterministic Finite Automata and the Shuffle of Words (FB, IM), pp. 98–109.
CIAACIAA-2014-CevorovaJK #regular expression
On the Square of Regular Languages (KC, GJ, IK), pp. 136–147.
CIAACIAA-2014-Ibarra #ambiguity #problem #transducer
On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers (OHI), pp. 211–225.
DLTDLT-2014-BerdinskyK #automation #graph #transitive
On Automatic Transitive Graphs (DB, BK), pp. 1–12.
DLTDLT-2014-Berlinkov #algorithm #automaton #problem
On Two Algorithmic Problems about Synchronizing Automata — (MVB), pp. 61–67.
DLTDLT-2014-FeliceN #algorithm #automaton #complexity
On the Average Complexity of Brzozowski’s Algorithm for Deterministic Automata with a Small Number of Final States (SDF, CN), pp. 25–36.
DLTDLT-2014-KarhumakiP #word
On k-Abelian Palindromic Rich and Poor Words (JK, SP), pp. 191–202.
ICALPICALP-v1-2014-AmirCLL
On Hardness of Jumbled Indexing (AA, TMC, ML, NL), pp. 114–125.
ICALPICALP-v1-2014-BavarianGI #communication
On the Role of Shared Randomness in Simultaneous Communication (MB, DG, TI), pp. 150–162.
ICALPICALP-v1-2014-Biedl #graph
On Area-Optimal Planar Graph Drawings (TCB), pp. 198–210.
ICALPICALP-v1-2014-BlaisHST #approximate
On DNF Approximators for Monotone Boolean Functions (EB, JH, RAS, LYT), pp. 235–246.
ICALPICALP-v1-2014-IvanyosKQSS #complexity #constraints #fault #problem
On the Complexity of Trial and Error for Constraint Satisfaction Problems (GI, RK, YQ, MS, AS), pp. 663–675.
ICALPICALP-v1-2014-OstrovskyPV #proving
On Input Indistinguishable Proof Systems (RO, GP, IV), pp. 895–906.
ICALPICALP-v1-2014-Volkovich #bound #learning
On Learning, Lower Bounds and (un)Keeping Promises (IV), pp. 1027–1038.
ICALPICALP-v2-2014-BojanczykGMS #decidability #infinity
On the Decidability of MSO+U on Infinite Trees (MB, TG, HM, MS), pp. 50–61.
ICALPICALP-v2-2014-BundalaO #complexity
On the Complexity of Temporal-Logic Path Checking (DB, JO), pp. 86–97.
ICALPICALP-v2-2014-OuaknineW #linear #problem #sequence
On the Positivity Problem for Simple Linear Recurrence Sequences, (JO, JW), pp. 318–329.
LATALATA-2014-BoyarKLL #problem
On the List Update Problem with Advice (JB, SK, KSL, ALO), pp. 210–221.
LATALATA-2014-GalleT #incremental
On Context-Diverse Repeats and Their Incremental Computation (MG, MT), pp. 384–395.
LATALATA-2014-GwynneK #constraints #satisfiability
On SAT Representations of XOR Constraints (MG, OK), pp. 409–420.
LATALATA-2014-IbarraR #problem
On the Parikh Membership Problem for FAs, PDAs, and CMs (OHI, BR), pp. 14–31.
LATALATA-2014-Kalocinski
On Computability and Learnability of the Pumping Lemma Function (DK), pp. 433–440.
LATALATA-2014-MasseTT
On the Arithmetics of Discrete Figures (ABM, AMT, HT), pp. 198–209.
LATALATA-2014-ZhengGQ #automaton #complexity #finite
On the State Complexity of Semi-quantum Finite Automata (SZ, JG, DQ), pp. 601–612.
FLOPSFLOPS-2014-HanadaI #multi #persistent #programming
On Cross-Stage Persistence in Multi-Stage Programming (YH, AI), pp. 103–118.
ICFPICFP-2014-Ramsey #design #education
On teaching *how to design programs*: observations from a newcomer (NR), pp. 153–166.
ICGTICGT-2014-HaymanH #category theory
On Pushouts of Partial Maps (JH, TH), pp. 177–191.
CHICHI-2014-BalataCM #2d #using
On the selection of 2D objects using external labeling (JB, LC, ZM), pp. 2255–2258.
HCIDUXU-DP-2014-PosadaHB #motivation #user interface
On Feelings of Comfort, Motivation and Joy that GUI and TUI Evoke (JEGP, ECSH, MCCB), pp. 273–284.
HCIDUXU-TMT-2014-FaroughiM #design #idea
On the Idea of Design: Analyzing the Ideal Form of Cars (AF, SM), pp. 64–73.
HCISCSM-2014-HardjonoDC #design #framework #self
On the Design of Trustworthy Compute Frameworks for Self-organizing Digital Institutions (TH, PD, JHC), pp. 342–353.
CAiSECAiSE-2014-PadilhaPFAGS #detection #effectiveness #empirical #metric #smell
On the Effectiveness of Concern Metrics to Detect Code Smells: An Empirical Study (JP, JAP, EF, JMA, AG, CS), pp. 656–671.
CAiSECAiSE-2014-RiveniTD #social
On the Elasticity of Social Compute Units (MR, HLT, SD), pp. 364–378.
ICEISICEIS-v1-2014-KleinSRF #formal method #integration #using
On the Formalisation of an Application Integration Language Using Z Notation (MJK, SS, FRF, RZF), pp. 314–319.
CIKMCIKM-2014-CanutoSGRRGRM #classification #effectiveness #performance
On Efficient Meta-Level Features for Effective Text Classification (SDC, TS, MAG, LCdR, GSR, LG, TCR, WSM), pp. 1709–1718.
CIKMCIKM-2014-DeveaudAMO #learning #rank
On the Importance of Venue-Dependent Features for Learning to Rank Contextual Suggestions (RD, MDA, CM, IO), pp. 1827–1830.
CIKMCIKM-2014-HannulaKL #independence
On Independence Atoms and Keys (MH, JK, SL), pp. 1229–1238.
CIKMCIKM-2014-KalyanakrishnanSK #online #scalability
On Building Decision Trees from Large-scale Data in Applications of On-line Advertising (SK, DS, RK), pp. 669–678.
ECIRECIR-2014-CatenaMO #performance
On Inverted Index Compression for Search Engine Efficiency (MC, CM, IO), pp. 359–371.
ECIRECIR-2014-FrommholzA #clustering
On Clustering and Polyrepresentation (IF, MKA), pp. 618–623.
ECIRECIR-2014-LiakosPS #locality #network #social
On the Effect of Locality in Compressing Social Networks (PL, KP, MS), pp. 650–655.
ICMLICML-c1-2014-LiWLZT #dependence #modelling #topic
On Modelling Non-linear Topical Dependencies (ZL, SW, JL, PZ, JT), pp. 458–466.
ICMLICML-c1-2014-OrabonaHSJ #random
On Measure Concentration of Random Maximum A-Posteriori Perturbations (FO, TH, ADS, TSJ), pp. 432–440.
ICMLICML-c2-2014-JawanpuriaVN #feature model #kernel #learning #multi
On p-norm Path Following in Multiple Kernel Learning for Non-linear Feature Selection (PJ, MV, JSN), pp. 118–126.
ICMLICML-c2-2014-KricheneDB #convergence #learning
On the convergence of no-regret learning in selfish routing (WK, BD, AMB), pp. 163–171.
ICMLICML-c2-2014-SongGJMHD #learning #locality
On learning to localize objects with minimal supervision (HOS, RBG, SJ, JM, ZH, TD), pp. 1611–1619.
ICMLICML-c2-2014-TorkamaniL #robust
On Robustness and Regularization of Structural Support Vector Machines (MT, DL), pp. 577–585.
ICPRICPR-2014-CruzSC
On Meta-learning for Dynamic Ensemble Selection (RMOC, RS, GDCC), pp. 1230–1235.
ICPRICPR-2014-DeCannRC #clustering
On Clustering Human Gait Patterns (BD, AR, MC), pp. 1794–1799.
ICPRICPR-2014-DhamechaSSV #effectiveness
On Effectiveness of Histogram of Oriented Gradient Features for Visible to Near Infrared Face Matching (TID, PS, RS, MV), pp. 1788–1793.
ICPRICPR-2014-GuptaBVS #using
On Iris Spoofing Using Print Attack (PG, SB, MV, RS), pp. 1681–1686.
ICPRICPR-2014-Mishra0M #clustering #database #validation
On Validation of Clustering Techniques for Bibliographic Databases (SM, SS, SM), pp. 3150–3155.
ICPRICPR-2014-RosaCJPFT #clustering #network #using
On the Training of Artificial Neural Networks with Radial Basis Function Using Optimum-Path Forest Clustering (GHR, KAPC, LAPJ, JPP, AXF, JMRST), pp. 1472–1477.
ICPRICPR-2014-SalmonW #recognition #scalability
On the Scalability of Graphic Symbol Recognition (JPS, LW), pp. 533–537.
ICPRICPR-2014-SatzodaT #estimation #evaluation #metric #performance
On Performance Evaluation Metrics for Lane Estimation (RKS, MMT), pp. 2625–2630.
ICPRICPR-2014-WilliamsCD #automation #human-computer #recognition
On Human Perception and Automatic Target Recognition: Strategies for Human-Computer Cooperation (DPW, MC, SD), pp. 4690–4695.
KDDKDD-2014-00020GMB #community #network
On the permanence of vertices in network communities (TC, SS, NG, AM, SB), pp. 1396–1405.
KDDKDD-2014-LiLBLY #social
On social event organization (KL, WL, SB, LVSL, CY), pp. 1206–1215.
KRKR-2014-BelleL14a #multi
On the Progression of Knowledge in Multiagent Systems (VB, GL).
KRKR-2014-Coste-MarquisKMM
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (SCM, SK, JGM, PM).
KRKR-2014-DuckhamLLL #constraints
On Redundant Topological Constraints (MD, SL, WL, ZL).
KRKR-2014-EveraereKM
On Egalitarian Belief Merging (PE, SK, PM).
KRKR-2014-Razgon #bound
On OBDDs for CNFs of Bounded Treewidth (IR).
RecSysRecSys-2014-AdamopoulosT14a #bias #collaboration #probability #recommendation
On over-specialization and concentration bias of recommendations: probabilistic neighborhood selection in collaborative filtering systems (PA, AT), pp. 153–160.
SEKESEKE-2014-RodriguesPTZOS #automation #component #design #requirements
On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment (EMR, LTP, LT, AFZ, FMdO, RSS), pp. 402–407.
SIGIRSIGIR-2014-AlipovTT
On peculiarities of positional effects in sponsored search (VA, VAT, IT), pp. 1015–1018.
SIGIRSIGIR-2014-ChakrabortyRSB #correlation #effectiveness
On correlation of absence time and search effectiveness (SC, FR, MS, PB), pp. 1163–1166.
SIGIRSIGIR-2014-GolbusA #difference #modelling #retrieval #standard
On the information difference between standard retrieval models (PBG, JAA), pp. 1135–1138.
SIGIRSIGIR-2014-Ma #recommendation #social
On measuring social friend interest similarities in recommender systems (HM), pp. 465–474.
SIGIRSIGIR-2014-MitraSRH #interactive #query
On user interactions with query auto-completion (BM, MS, FR, KH), pp. 1055–1058.
SIGIRSIGIR-2014-NguyenL #microblog #network #predict
On predicting religion labels in microblogging networks (MTN, EPL), pp. 1211–1214.
SIGIRSIGIR-2014-VoorheesLE #as a service #evaluation
On run diversity in Evaluation as a Service (EMV, JL, ME), pp. 959–962.
AMTAMT-2014-GogollaHH #dynamic analysis #modelling #ocl #uml
On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
ICMTICMT-2014-WieberAS #automation #graph grammar #model transformation #testing
On the Usage of TGGs for Automated Model Transformation Testing (MW, AA, AS), pp. 1–16.
MODELSMoDELS-2014-OgunyomiRK #incremental #model-to-text #using
On the Use of Signatures for Source Incremental Model-to-text Transformation (BO, LMR, DSK), pp. 84–98.
MODELSMoDELS-2014-Storrle #comprehension #diagrams #layout #matter #quality #uml
On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters (HS), pp. 518–534.
SPLCSPLC-2014-KnappRS #development #modelling #product line #testing #using
On the use of test cases in model-based software product line development (AK, MR, BHS), pp. 247–251.
PPDPPPDP-J-2012-Thielecke14 #parsing #semantics
On the semantics of parsing actions (HT), pp. 52–76.
PEPMPEPM-J-2013-Garcia-PerezN14 #automaton #functional #hybrid
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.
LOPSTRLOPSTR-2014-Drabent #logic programming #source code
On Completeness of Logic Programs (WD), pp. 261–278.
PADLPADL-2014-AreiasR #correctness #logic programming #performance #source code
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs (MA, RR), pp. 168–183.
PLDIPLDI-2014-ZhangMGNY #abstraction #analysis #datalog #refinement
On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.
POPLPOPL-2014-LagoSA #functional #higher-order #induction #probability #source code
On coinductive equivalences for higher-order probabilistic functional programs (UDL, DS, MA), pp. 297–308.
PPDPPPDP-2014-ChenDY #precise #type system
On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.
PPDPPPDP-2014-Haemmerle #constraints #logic programming
On Combining Backward and Forward Chaining in Constraint Logic Programming (RH), pp. 213–224.
PPDPPPDP-2014-Karczmarczuk #concept #declarative #quantum
On the Declarative Structure of Quantum Concepts: States and Observables (JK), pp. 105–110.
SASSAS-2014-IoossAR #equivalence #reduction
On Program Equivalence with Reductions (GI, CA, SVR), pp. 168–183.
FSEFSE-2014-BohmeP #automation #performance #testing
On the efficiency of automated testing (MB, SP), pp. 632–642.
FSEFSE-2014-TuSD #locality
On the localness of software (ZT, ZS, PTD), pp. 269–280.
SACSAC-2014-AlexandreMP #algorithm #multi
On the support of task-parallel algorithmic skeletons for multi-GPU computing (FA, RM, HP), pp. 880–885.
SACSAC-2014-BonifacioM #testing
On the completeness of test suites (ALB, AVM), pp. 1287–1292.
SACSAC-2014-GuimaraesGF #composition #quantifier
On the impact of obliviousness and quantification on model composition effort (EG, AG, KF), pp. 1043–1048.
DACDAC-2014-ChangCCKLL
On Trading Wear-leveling with Heal-leveling (YMC, YHC, JJC, TWK, HPL, HTL), p. 6.
DACDAC-2014-GebalaMMRT #using
On Using Implied Values in EDT-based Test Compression (MG, GM, NM, JR, JT), p. 6.
DACDAC-2014-HuangYT #fault tolerance #scheduling
On the Scheduling of Fault-Tolerant Mixed-Criticality Systems (PH, HY, LT), p. 6.
DACDAC-2014-JungSWPL #3d #perspective
On Enhancing Power Benefits in 3D ICs: Block Folding and Bonding Styles Perspective (MJ, TS, YW, YP, SKL), p. 6.
DACDAC-2014-KimM #3d #design #reliability
On the Design of Reliable 3D-ICs Considering Charged Device Model ESD Events During Die Stacking (DK, SM), p. 6.
DACDAC-2014-WangX #performance #simulation
On the Simulation of NBTI-Induced Performance Degradation Considering Arbitrary Temperature and Voltage Variations (TW, QX), p. 6.
DACDAC-2014-WuWNBP
On Timing Closure: Buffer Insertion for Hold-Violation Removal (PCW, MDFW, IN, SB, VP), p. 6.
DATEDATE-2014-AltmeyerD #analysis #correctness #precise #probability
On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.
DATEDATE-2014-HaddadTBF #independence #modelling #probability
On the assumption of mutual independence of jitter realizations in P-TRNG stochastic models (PH, YT, FB, VF), pp. 1–6.
DATEDATE-2014-LeeL #3d #gpu #reduction
On GPU bus power reduction with 3D IC technologies (YJL, SKL), pp. 1–6.
PDPPDP-2014-GrandjeanU #2d #clustering #difference #distributed #finite #memory management #parallel
On Partitioning Two Dimensional Finite Difference Meshes for Distributed Memory Parallel Computers (AG, BU), pp. 9–16.
ESOPESOP-2014-CrubilleL #bisimulation #call-by #probability #λ-calculus
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (RC, UDL), pp. 209–228.
FoSSaCSFoSSaCS-2014-ErbaturKMMNR #problem #symmetry #unification
On Asymmetric Unification and the Combination Problem in Disjoint Theories (SE, DK, AMM, CM, PN, CR), pp. 274–288.
FoSSaCSFoSSaCS-2014-EsparzaD #concurrent
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations (JE, JD), pp. 258–273.
STOCSTOC-2014-BitanskyCPR
On the existence of extractable one-way functions (NB, RC, OP, AR), pp. 505–514.
STOCSTOC-2014-GoldreichW #algorithm
On derandomizing algorithms that err extremely rarely (OG, AW), pp. 109–118.
TACASTACAS-2014-BoenderC #algorithm #branch #correctness
On the Correctness of a Branch Displacement Algorithm (JB, CSC), pp. 605–619.
ICLPICLP-J-2014-Antic #set #source code
On Cascade Products of Answer Set Programs (CA), pp. 711–723.
ICLPICLP-J-2014-DuckHS #confluence #consistency #termination #type inference
On Termination, Confluence and Consistent CHR-based Type Inference (GJD, RH, MS), pp. 619–632.
ICSTICST-2014-DenaroPV #data flow #testing
On the Right Objectives of Data Flow Testing (GD, MP, MV), pp. 71–80.
ICTSSICTSS-2014-El-FakihSY #assessment #automaton #test coverage #testing
On Code Coverage of Extended FSM Based Test Suites: An Initial Assessment (KEF, TS, NY), pp. 198–204.
LICSLICS-CSL-2014-BernardoSV #higher-order #interactive #power of
On the discriminating power of passivation and higher-order interaction (MB, DS, VV), p. 10.
LICSLICS-CSL-2014-Breuvart #modelling
On the characterization of models of H (FB), p. 10.
LICSLICS-CSL-2014-ChenK #distance #markov
On the total variation distance of labelled Markov chains (TC, SK), p. 10.
LICSLICS-CSL-2014-Das
On the pigeonhole and related principles in deep inference and monotone systems (AD), p. 10.
LICSLICS-CSL-2014-EndrullisH #morphism
On periodically iterated morphisms (JE, DH), p. 10.
LICSLICS-CSL-2014-KikotKPZ #ontology #query
On the succinctness of query rewriting over shallow ontologies (SK, RK, VVP, MZ), p. 10.
LICSLICS-CSL-2014-KreutzerS
On Hanf-equivalence and the number of embeddings of small induced subgraphs (SK, NS), p. 10.
LICSLICS-CSL-2014-Mamino #power of
On the computing power of +, -, and × (MM), p. 10.
LICSLICS-CSL-2014-Mamouras #hoare #monad #recursion
On the Hoare theory of monadic recursion schemes (KM), p. 10.
LICSLICS-CSL-2014-Perrinel #interactive #semantics
On context semantics and interaction nets (MP), p. 10.
ICSTSAT-2014-IgnatievMM #independence #satisfiability #set
On Reducing Maximum Independent Set to Minimum Satisfiability (AI, AM, JMS), pp. 103–120.
ICSTSAT-2014-Marques-SilvaP
On Computing Preferred MUSes and MCSes (JMS, AP), pp. 58–74.
QoSAQoSA-2013-DurdikR #design pattern #documentation #using
On the appropriate rationale for using design patterns and pattern documentation (ZD, RHR), pp. 107–116.
DocEngDocEng-2013-SilvaSMB #performance #xpath
On the performance of the position() XPath function (LAMdS, LLNdSJ, MM, VB), pp. 229–230.
HTHT-2013-Luczak-RoschT #web
On the topology of the web of data (MLR, RT), pp. 253–257.
HTHT-2013-NasimIRN #behaviour #facebook
On commenting behavior of Facebook users (MN, MUI, AR, NN), pp. 179–183.
ICDARICDAR-2013-MoyssetK #algorithm #detection #evaluation
On the Evaluation of Handwritten Text Line Detection Algorithms (BM, CK), pp. 185–189.
ICDARICDAR-2013-NeumannM #multi #recognition
On Combining Multiple Segmentations in Scene Text Recognition (LN, JM), pp. 523–527.
ICDARICDAR-2013-PantkeMF #evaluation #word
On Evaluation of Segmentation-Free Word Spotting Approaches without Hard Decisions (WP, VM, TF), pp. 1300–1304.
ICDARICDAR-2013-TeradaHFU #detection
On the Possibility of Structure Learning-Based Scene Character Detector (YT, RH, YF, SU), pp. 472–476.
PODSPODS-2013-AmelootBW #power of
On the expressive power of update primitives (TJA, JVdB, EW), pp. 139–150.
PODSPODS-2013-Figueira #testing #transitive #xpath
On XPath with transitive axes and data tests (DF), pp. 249–260.
PODSPODS-2013-GogaczM
On the BDD/FC conjecture (TG, JM), pp. 127–138.
SIGMODSIGMOD-2013-LongWYJ #worst-case
On optimal worst-case matching (CL, RCWW, PSY, MJ), pp. 845–856.
SIGMODSIGMOD-2013-MoerkotteFE
On the correct and complete enumeration of the core search space (GM, PF, ME), pp. 493–504.
SIGMODSIGMOD-2013-QiaoSDQSGCSZABBGGIJLPRSSSSTTWZ #distributed #framework #platform
On brewing fresh espresso: LinkedIn’s distributed data serving platform (LQ, KS, SD, TQ, BS, BG, AC, OS, ZZ, AA, CB, GB, MG, KG, WI, SJ, SL, AP, AR, AS, RS, SS, YS, ST, CT, JW, DZ), pp. 1135–1146.
TPDLTPDL-2013-KellyBWN
On the Change in Archivability of Websites Over Time (MK, JFB, MCW, MLN), pp. 35–47.
VLDBVLDB-2013-DengF #complexity #query
On the Complexity of Query Result Diversification (TD, WF), pp. 577–588.
VLDBVLDB-2013-FuKR #scalability
On Scaling Up Sensitive Data Auditing (YF, RK, RR), pp. 313–324.
VLDBVLDB-2013-KornSSY #problem
On Repairing Structural Problems In Semi-structured Data (FK, BS, DS, SY), pp. 601–612.
VLDBVLDB-2013-ZhaoCSZZ #random
On the Embeddability of Random Walk Distances (XZ, AC, ADS, HZ, BYZ), pp. 1690–1701.
ITiCSEITiCSE-2013-Luxton-ReillyDKTY #difference #student
On the differences between correct student solutions (ALR, PD, DK, EDT, SYY), pp. 177–182.
CSMRCSMR-2013-JaafarHGHA #empirical #evolution
On the Relationship between Program Evolution and Fault-Proneness: An Empirical Study (FJ, SH, YGG, SH, BA), pp. 15–24.
ICPCICPC-2013-BernhartG #code review #comprehension #source code
On the understanding of programs with continuous code reviews (MB, TG), pp. 192–198.
ICPCICPC-2013-PruijtKB #analysis #architecture #dependence
On the accuracy of Architecture Compliance Checking support Accuracy of dependency analysis and violation reporting (LP, CK, SB), pp. 172–181.
ICSMEICSM-2013-BazelliHS #stack overflow
On the Personality Traits of StackOverflow Users (BB, AH, ES), pp. 460–463.
ICSMEICSM-2013-MantylaKAEP #agile #testing
On Rapid Releases and Software Testing (MM, FK, BA, EE, KP), pp. 20–29.
ICSMEICSM-2013-MorenoBHM #debugging #source code
On the Relationship between the Vocabulary of Bug Reports and Source Code (LM, WB, SH, AM), pp. 452–455.
ICSMEICSM-2013-ShahDM #automation #java #refactoring
On the Automation of Dependency-Breaking Refactorings in Java (SMAS, JD, CM), pp. 160–169.
WCREWCRE-2013-IshioHKO #automation #effectiveness #feature model
On the effectiveness of accuracy of automated feature location technique (TI, SH, HK, TO), pp. 381–390.
WCREWCRE-2013-SohKGAA #maintenance
On the effect of program exploration on maintenance tasks (ZS, FK, YGG, GA, BA), pp. 391–400.
CIAACIAA-J-2012-KutribO13 #automaton #complexity
On the Descriptional Complexity of the Window Size for Deleting Restarting Automata (MK, FO), pp. 831–846.
CIAACIAA-J-2012-Mohri13 #ambiguity #automaton #finite #functional #transducer
On the Disambiguation of Finite Automata and Functional Transducers (MM), pp. 847–862.
DLTDLT-J-2012-EsikO13 #context-free grammar #word
On Context-Free Languages of Scattered Words (ZÉ, SO), pp. 1029–1048.
CIAACIAA-2013-HasanIRS #automaton #sequence
On Palindromic Sequence Automata and Applications (MMH, ASMSI, MSR, AS), pp. 158–168.
CIAACIAA-2013-JirasekJ #bound #regular expression
On the Boundary of Regular Languages (JJ, GJ), pp. 208–219.
CIAACIAA-2013-KushikY #finite #nondeterminism #sequence #state machine
On the Length of Homing Sequences for Nondeterministic Finite State Machines (NK, NY), pp. 220–231.
DLTDLT-2013-Blanchet-SadriF #complexity #word
On the Asymptotic Abelian Complexity of Morphic Words (FBS, NF), pp. 94–105.
DLTDLT-2013-DayRS #problem
On the Dual Post Correspondence Problem (JDD, DR, JCS), pp. 167–178.
DLTDLT-2013-RampersadRS #word
On the Number of Abelian Bordered Words (NR, MR, PS), pp. 420–432.
ICALPICALP-v1-2013-AvisT #combinator #complexity
On the Extension Complexity of Combinatorial Polytopes (DA, HRT), pp. 57–68.
ICALPICALP-v1-2013-BohlerCKLPZ #complexity #diagrams #higher-order
On the Complexity of Higher Order Abstract Voronoi Diagrams (CB, PC, RK, CHL, EP, MZ), pp. 208–219.
ICALPICALP-v1-2013-BulanekKS #online #random
On Randomized Online Labeling with Polynomially Many Labels (JB, MK, MES), pp. 291–302.
ICALPICALP-v1-2013-CheriyanGGS #symmetry
On Integrality Ratios for Asymmetric TSP in the Sherali-Adams Hierarchy (JC, ZG, KG, SS), pp. 340–351.
ICALPICALP-v1-2013-FotakisT #game studies #power of
On the Power of Deterministic Mechanisms for Facility Location Games (DF, CT), pp. 449–460.
ICALPICALP-v1-2013-HirtR #complexity
On the Complexity of Broadcast Setup (MH, PR), pp. 552–563.
ICALPICALP-v1-2013-IndykR #matrix #modelling
On Model-Based RIP-1 Matrices (PI, IR), pp. 564–575.
ICALPICALP-v2-2013-CelisGK #information management
On Revenue Maximization for Agents with Costly Information Acquisition — Extended Abstract (LEC, DCG, ARK), pp. 484–495.
ICALPICALP-v2-2013-DemriDS #complexity #verification
On the Complexity of Verifying Regular Properties on Flat Counter Systems, (SD, AKD, AS), pp. 162–173.
LATALATA-2013-AlurKTY #complexity #graph #problem
On the Complexity of Shortest Path Problems on Discounted Cost Graphs (RA, SK, KT, YY), pp. 44–55.
LATALATA-2013-BabaaliK #automaton #product line
On the Construction of a Family of Automata That Are Generically Non-minimal (PB, CK), pp. 80–91.
LATALATA-2013-FreivaldsZP #automaton #complexity
On the Size Complexity of Deterministic Frequency Automata (RF, TZ, GRP), pp. 287–298.
LATALATA-2013-GocMS
On the Number of Unbordered Factors (DG, HM, JS), pp. 299–310.
LATALATA-2013-IbarraR #automaton #bound
On Bounded Languages and Reversal-Bounded Automata (OHI, BR), pp. 359–370.
TLCATLCA-2013-Schopp #continuation #interactive
On Interaction, Continuations and Defunctionalization (US), pp. 205–220.
FDGFDG-2013-Bjork #game studies
On the foundations of digital games (SB), pp. 1–8.
FDGFDG-2013-Ekman #artificial reality #game studies #pervasive
On the desire to not kill your players: Rethinking sound in pervasive and mixed reality games (IE), pp. 142–149.
FDGFDG-2013-Marklund #development #game studies #learning
On the development of learning games (BBM), pp. 474–476.
FDGFDG-2013-Myers #game studies
On the absence of imaginative resistance in games (DM), pp. 26–30.
CHICHI-2013-JuhlinO #collaboration #design #gesture #interactive
On the relation of ordinary gestures to TV screens: general lessons for the design of collaborative interactive techniques (OJ, EÖ), pp. 919–930.
HCIDUXU-PMT-2013-FaroughiF #design
On the Poetry of Design (AF, RF), pp. 38–47.
HCIHIMI-D-2013-ChangSCH #design #interface #layout #performance #topic
On the Reading Performance of Text Layout, Switch Position, Topic of Text, and Luminance Contrast for Chinese E-books Interface Design (WTC, LHS, ZC, KCH), pp. 567–575.
HCIHIMI-LCCB-2013-LeeCSJ
On Services and Insights of Technology Intelligence System (SL, MHC, SKS, HJ), pp. 579–587.
CAiSECAiSE-2013-Henderson-SellersCG #modelling
On the Search for a Level-Agnostic Modelling Language (BHS, TC, CGP), pp. 240–255.
ICEISICEIS-J-2013-Heusinger13a #design #research
On the “Impossibility” of Critical and Emancipatory Design Science Research (JMH), pp. 331–348.
CIKMCIKM-2013-AlbakourMO #effectiveness #microblog #realtime
On sparsity and drift for effective real-time filtering in microblogs (MDA, CM, IO), pp. 419–428.
CIKMCIKM-2013-Eklund #challenge #game studies #lessons learnt #mobile #perspective
On challenges with mobile e-health: lessons from a game-theoretic perspective (AME), pp. 1249–1252.
CIKMCIKM-2013-LiaoPPL #behaviour #mining #mobile #predict #smarttech
On mining mobile apps usage behavior for predicting apps usage in smartphones (ZXL, YCP, WCP, PRL), pp. 609–618.
CIKMCIKM-2013-LiMWLX #network #online #predict #social
On popularity prediction of videos shared in online social networks (HL, XM, FW, JL, KX), pp. 169–178.
CIKMCIKM-2013-ParikhSH #query #segmentation
On segmentation of eCommerce queries (NP, PS, MAH), pp. 1137–1146.
CIKMCIKM-2013-ZhouLSCJ #metric #reliability
On the reliability and intuitiveness of aggregated search metrics (KZ, ML, TS, RC, JMJ), pp. 689–698.
ECIRECIR-2013-MarkovAC13a
On CORI Results Merging (IM, AA, FC), pp. 752–755.
ICMLICML-c3-2013-HoXV #learning #taxonomy
On A Nonlinear Generalization of Sparse Coding and Dictionary Learning (JH, YX, BCV), pp. 1480–1488.
ICMLICML-c3-2013-JiaVD
On Compact Codes for Spatially Pooled Features (YJ, OV, TD), pp. 549–557.
ICMLICML-c3-2013-KamyshanskaM
On autoencoder scoring (HK, RM), pp. 720–728.
ICMLICML-c3-2013-KarS0K #algorithm #learning #online
On the Generalization Ability of Online Learning Algorithms for Pairwise Loss Functions (PK, BKS, PJ, HK), pp. 441–449.
ICMLICML-c3-2013-KontorovichNW #learning
On learning parametric-output HMMs (AK, BN, RW), pp. 702–710.
ICMLICML-c3-2013-MenonNAC #algorithm #classification #consistency #statistics
On the Statistical Consistency of Algorithms for Binary Classification under Class Imbalance (AKM, HN, SA, SC), pp. 603–611.
ICMLICML-c3-2013-PascanuMB #network
On the difficulty of training recurrent neural networks (RP, TM, YB), pp. 1310–1318.
ICMLICML-c3-2013-SutskeverMDH #learning
On the importance of initialization and momentum in deep learning (IS, JM, GED, GEH), pp. 1139–1147.
KDDKDD-2013-CaiQ #analysis #linear #rank
On the equivalent of low-rank linear regressions and linear discriminant analysis based regressions (XC, CHQD, FN, HH), pp. 1124–1132.
KDDKDD-2013-CiglanLN #community #detection #network
On community detection in real-world networks and the importance of degree assortativity (MC, ML, KN), pp. 1007–1015.
KDIRKDIR-KMIS-2013-NcirE #clustering #question
On the Extension of k-Means for Overlapping Clustering — Average or Sum of Clusters’ Representatives? (CEBN, NE), pp. 208–213.
SEKESEKE-2013-Kung #case study #identification
On Use Case Identification (DCK), pp. 759–764.
SEKESEKE-2013-ZhangLK #debugging #statistics #using
On the Use of Bug and Predicate Signatures for Statistical Debugging (YZ, EL, BK), pp. 249–299.
SIGIRSIGIR-2013-McParlaneMJ #recommendation
On contextual photo tag recommendation (PJM, YM, JMJ), pp. 965–968.
SIGIRSIGIR-2013-UrbanoMM #metric #reliability
On the measurement of test collection reliability (JU, MM, DM), pp. 393–402.
BXBX-2013-OrejasBE0S #concurrent
On Propagation-Based Concurrent Model Synchronization (FO, AB, HE, FH, HS), pp. 18–36.
ICMTICMT-2013-HermannGNBMPE #automation #graph grammar #using
On an Automated Translation of Satellite Procedures Using Triple Graph Grammars (FH, SG, NN, BB, GM, AP, TE), pp. 50–51.
MODELSMoDELS-2013-HebigGSS #evolution
On the Complex Nature of MDE Evolution (RH, HG, FS, AS), pp. 436–453.
PADLPADL-2013-0004R #implementation #performance
On the Efficient Implementation of Mode-Directed Tabling (JS, RR), pp. 141–156.
POPLPOPL-2013-Ben-AmramG #constraints #integer #linear #problem #ranking
On the linear ranking problem for integer linear-constraint loops (AMBA, SG), pp. 51–62.
SASSAS-2013-BjornerMR #horn clause #quantifier
On Solving Universally Quantified Horn Clauses (NB, KLM, AR), pp. 105–125.
REER-BR-2013-SantosW #communication #ecosystem #requirements
On the Impact of Software Ecosystems in Requirements Communication and Management (RPdS, CMLW).
RERE-2013-GhezziMSS #requirements #verification
On requirements verification for model refinements (CG, CM, AMS, PS), pp. 62–71.
SACSAC-OOPS-J-2009-BettiniCD13 #flexibility #java
On flexible dynamic trait replacement for Java-like languages (LB, SC, FD), pp. 907–932.
ICSEICSE-2013-Khalid #identification
On identifying user complaints of iOS apps (HK), pp. 1474–1476.
ICSEICSE-2013-Kuhn #interactive #live programming #programming #testing
On extracting unit tests from interactive live programming sessions (AK), pp. 1241–1244.
ICSEICSE-2013-RahmanARP #case study
On the relationships between domain-based coupling and code clones: an exploratory study (MSR, AA, CKR, FP), pp. 1265–1268.
ICSEICSE-2013-SayyadMA #case study #product line #re-engineering #search-based
On the value of user preferences in search-based software engineering: a case study in software product lines (ASS, TM, HA), pp. 492–501.
SACSAC-2013-AccorsiSM #mining #process #security
On the exploitation of process mining for security audits: the process discovery case (RA, TS, GM), pp. 1462–1468.
SACSAC-2013-DermevalCSPBBETS #architecture #design #metamodelling #requirements #using
On the use of metamodeling for relating requirements and architectural design decisions (DD, JC, CTLLS, JP, IIB, PHdSB, EE, TT, APdS), pp. 1278–1283.
SACSAC-2013-GoncalvesEPSKS #distributed #network
On the load balancing of virtual networks in distributed clouds (GEG, PTE, AVdAP, MAS, JK, DS), pp. 625–631.
SACSAC-2013-OliveiraB #configuration management
On the reconfiguration of software connectors (NO, LSB), pp. 1885–1892.
SACSAC-2013-VukovicD #distributed #estimation #security
On the security of distributed power system state estimation under targeted attacks (OV, GD), pp. 666–672.
GPCEGPCE-2013-KurilovaR #data type #linked data #open data
On the simplicity of synthesizing linked data structure operations (DK, DR), pp. 155–158.
CASECASE-2013-KimM #equilibrium #random
On the equilibrium probabilities of deterministic flow lines with random arrivals (WsK, JRM), pp. 723–729.
CCCC-2013-BertschNS #lr #parsing
On LR Parsing with Selective Delays (EB, MJN, SS), pp. 244–263.
CCCC-2013-CammarotaNVKDM #optimisation
On the Determination of Inlining Vectors for Program Optimization (RC, AN, AVV, AK, DD, MM), pp. 164–183.
CGOCGO-2013-RuanLWS #framework #platform
On the platform specificity of STM instrumentation mechanisms (WR, YL, CW, MFS), p. 10.
DACDAC-2013-CarloYM #3d #delivery #induction #integration #power management
On the potential of 3D integration of inductive DC-DC converter for high-performance power delivery (SC, WY, SM), p. 8.
DACDAC-2013-GirbalMGAQCY #convergence
On the convergence of mainstream and mission-critical markets (SG, MM, AG, JA, EQ, FJC, SY), p. 10.
DACDAC-2013-JiangYXCE #3d #effectiveness #performance
On effective and efficient in-field TSV repair for stacked 3D ICs (LJ, FY, QX, KC, BE), p. 6.
DACDAC-2013-LiuC #synthesis
On learning-based methods for design-space exploration with high-level synthesis (HYL, LPC), p. 7.
DACDAC-2013-XuWHRT #estimation #performance #robust
On robust task-accurate performance estimation (YX, BW, RH, RR, JT), p. 6.
DACDAC-2013-YuanLJX #testing
On testing timing-speculative circuits (FY, YL, WBJ, QX), p. 6.
DATEDATE-2013-BertaccoCBFVKP #using
On the use of GP-GPUs for accelerating compute-intensive EDA applications (VB, DC, NB, FF, SV, AMK, HDP), pp. 1357–1366.
DATEDATE-2013-ChiangTWHCDN #array #configuration management #order #synthesis #using
On reconfigurable single-electron transistor arrays synthesis using reordering techniques (CEC, LFT, CYW, CYH, YCC, SD, VN), pp. 1807–1812.
DATEDATE-2013-Pomeranz #equivalence #fault #graph #set
On candidate fault sets for fault diagnosis and dominance graphs of equivalence classes (IP), pp. 1083–1088.
HPDCHPDC-2013-AjiPJCMBBDFMMT
On the efficacy of GPU-integrated MPI for scientific applications (AMA, LSP, FJ, MC, KM, PB, KRB, JD, WcF, JMMC, XM, RT), pp. 191–202.
ESOPESOP-2013-PetersNG #calculus #process
On Distributability in Process Calculi (KP, UN, UG), pp. 310–329.
FASEFASE-2013-HaslingerLE #feature model #modelling #set
On Extracting Feature Models from Sets of Valid Feature Combinations (ENH, RELH, AE), pp. 53–67.
FASEFASE-2013-HoferRWAG #empirical #evaluation #fault #locality #spreadsheet
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets (BH, AR, FW, RA, EG), pp. 68–82.
FoSSaCSFoSSaCS-2013-BauerHK #higher-order #monad #parametricity
On Monadic Parametricity of Second-Order Functionals (AB, MH, AK), pp. 225–240.
FoSSaCSFoSSaCS-2013-DreierELL #composition #process #π-calculus
On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.
STOCSTOC-2013-BeiCZ #complexity #fault
On the complexity of trial and error (XB, NC, SZ), pp. 31–40.
STOCSTOC-2013-Ben-SassonCGT #performance #proving
On the concrete efficiency of probabilistically-checkable proofs (EBS, AC, DG, ET), pp. 585–594.
STOCSTOC-2013-BitanskyP #approximate #encryption #obfuscation
On the impossibility of approximate obfuscation and applications to resettable cryptography (NB, OP), pp. 241–250.
STOCSTOC-2013-Wootters #fault #linear #random #scalability
On the list decodability of random linear codes with large error rates (MW), pp. 853–860.
CSLCSL-2013-AfshariL #calculus #μ-calculus
On closure ordinals for the modal μ-calculus (BA, GEL), pp. 30–44.
CSLCSL-2013-HarwathS #first-order #invariant #locality #logic #quantifier
On the locality of arb-invariant first-order logic with modulo counting quantifiers (FH, NS), pp. 363–379.
CSLCSL-2013-Mellies #game studies
On dialogue games and coherent strategies (PAM), pp. 540–562.
ICLPICLP-J-2013-BartholomewL #semantics
On the stable model semantics for intensional functions (MB, JL), pp. 863–876.
LICSLICS-2013-FereeHG #complexity #query
On the Query Complexity of Real Functionals (HF, MH, WG), pp. 103–112.
LICSLICS-2013-LerouxPS #problem
On the Context-Freeness Problem for Vector Addition Systems (JL, VP, GS), pp. 43–52.
LICSLICS-2013-MogaveroMS #behaviour #bound
On the Boundary of Behavioral Strategies (FM, AM, LS), pp. 263–272.
ICSTSAT-2013-Gableske #heuristic #message passing #satisfiability
On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.
ICSTSAT-2013-JanotaM
On Propositional QBF Expansions and Q-Resolution (MJ, JMS), pp. 67–82.
ICSTSAT-2013-Toran #complexity #graph #morphism
On the Resolution Complexity of Graph Non-isomorphism (JT), pp. 52–66.
WICSA-ECSAWICSA-ECSA-2012-HilliardMMP #architecture #composition #framework #reuse #using
On the Composition and Reuse of Viewpoints across Architecture Frameworks (RH, IM, HM, PP), pp. 131–140.
HTHT-2012-RecueroA #topic #twitter
On the rise of artificial trending topics in twitter (RR, RA), pp. 305–306.
JCDLJCDL-2012-MarshallS #social #social media
On the institutional archiving of social media (CCM, FMSI), pp. 1–10.
PODSPODS-2012-DengFG #complexity #problem #recommendation
On the complexity of package recommendation problems (TD, WF, FG), pp. 261–272.
PODSPODS-2012-XuT #clustering
On the optimality of clustering properties of space filling curves (PX, ST), pp. 215–224.
TPDLTPDL-2012-DalipGCC #assessment #automation #multi #quality #wiki
On MultiView-Based Meta-learning for Automatic Quality Assessment of Wiki Articles (DHD, MAG, MC, PC), pp. 234–246.
VLDBVLDB-2012-LappasVGT
On The Spatiotemporal Burstiness of Terms (TL, MRV, DG, VJT), pp. 836–847.
VLDBVLDB-2013-ZengNC12 #mining
On differentially private frequent itemset mining (CZ, JFN, JYC), pp. 25–36.
ITiCSEITiCSE-2012-HiltonJ #array #education #learning #testing
On teaching arrays with test-driven learning in WebIDE (MH, DSJ), pp. 93–98.
CSMRCSMR-2012-BertranAGCS #architecture #identification
On the Relevance of Code Anomalies for Identifying Architecture Degradation Symptoms (IMB, RA, AG, CC, AvS), pp. 277–286.
CSMRCSMR-2012-MurtazaSHC #comparison #identification #kernel
On the Comparison of User Space and Kernel Space Traces in Identification of Software Anomalies (SSM, AS, AHL, MC), pp. 127–136.
SCAMSCAM-2012-HillRK #debugging #java #locality #using
On the Use of Stemming for Concern Location and Bug Localization in Java (EH, SR, ACK), pp. 184–193.
WCREWCRE-2012-BrunetBGF #architecture
On the Evolutionary Nature of Architectural Violations (JB, RAB, DSG, JCAdF), pp. 257–266.
AFLAFL-J-2011-FazekasLS12 #context-free grammar
On Non-Primitive Palindromic Context-Free Languages (SZF, PL, KST), pp. 1277–1290.
DLTDLT-J-2011-BrodaMMR12 #automaton
On the Average Size of Glushkov and Partial derivative Automata (SB, AM, NM, RR), pp. 969–984.
CIAACIAA-2012-HeamHK #bound #constraints
On Positive TAGED with a Bounded Number of Constraints (PCH, VH, OK), pp. 329–336.
CIAACIAA-2012-JiraskovaM #complexity
On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs (GJ, TM), pp. 229–239.
CIAACIAA-2012-KutribO #automaton #complexity
On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata (MK, FO), pp. 253–264.
DLTDLT-2012-EsikO #context-free grammar #word
On Context-Free Languages of Scattered Words (ZÉ, SO), pp. 142–153.
DLTDLT-2012-FlickK
On a Hierarchy of Languages with Catenation and Shuffle (NEF, MK), pp. 452–458.
DLTDLT-2012-GandhiKL #complexity #finite #word
On State Complexity of Finite Word and Tree Languages (AG, BK, JL), pp. 392–403.
DLTDLT-2012-Otto #component
On Centralized PC Grammar Systems with Context-Sensitive Components (FO), pp. 356–367.
ICALPICALP-v1-2012-BhaskaraCMV #polynomial #programming
On Quadratic Programming with a Ratio Objective (AB, MC, RM, AV), pp. 109–120.
ICALPICALP-v1-2012-SanthanamS
On the Limits of Sparsification (RS, SS), pp. 774–785.
ICALPICALP-v2-2012-BaldeschiHLS #keyword #multi
On Multiple Keyword Sponsored Search Auctions with Budgets (RCB, MH, SL, MS), pp. 1–12.
ICALPICALP-v2-2012-Barenboim #locality #problem
On the Locality of Some NP-Complete Problems (LB), pp. 403–415.
ICALPICALP-v2-2012-KuperbergB #infinity #logic #power of #word
On the Expressive Power of Cost Logics over Infinite Words (DK, MVB), pp. 287–298.
LATALATA-2012-MeierSTV #complexity #logic
On the Parameterized Complexity of Default Logic and Autoepistemic Logic (AM, JS, MT, HV), pp. 389–400.
LATALATA-2012-SaloT #automaton #finite #product line #set
On Stable and Unstable Limit Sets of Finite Families of Cellular Automata (VS, IT), pp. 502–513.
LATALATA-2012-TangO #automaton #model checking
On Model Checking for Visibly Pushdown Automata (NVT, HO), pp. 408–419.
RTARTA-2012-AccattoliL #cost analysis #reduction
On the Invariance of the Unitary Cost Model for Head Reduction (BA, UDL), pp. 22–37.
RTARTA-2012-BertrandDKSS #decidability #graph transformation #reachability
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (NB, GD, BK, AS, JS), pp. 101–116.
RTARTA-2012-GmeinerGS #term rewriting
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems (KG, BG, FS), pp. 193–208.
RTARTA-2012-ThiemannAN #formal method #multi #order #termination
On the Formalization of Termination Techniques based on Multiset Orderings (RT, GA, JN), pp. 339–354.
ICFPICFP-2012-EndrullisHB #complexity #equivalence #infinity #specification
On the complexity of equivalence of specifications of infinite objects (JE, DH, RB), pp. 153–164.
AIIDEAIIDE-2012-BulitkoRL #heuristic #realtime
On Case Base Formation in Real-Time Heuristic Search (VB, DCR, RL).
CHICHI-2012-HuhnKLK #evaluation #using
On the use of virtual environments for the evaluation of location-based applications (AEH, VJK, AL, PK), pp. 2569–2578.
CHICHI-2012-McCay-PeetLN
On saliency, affect and focused attention (LMP, ML, VN), pp. 541–550.
CSCWCSCW-2012-GrubbB #enterprise #information management
On the perceived interdependence and information sharing inhibitions of enterprise software engineers (AMG, AB), pp. 1337–1346.
CAiSECAiSE-2012-BinderDDDFGGHHRRW #case study #clustering #experience #process
On Analyzing Process Compliance in Skin Cancer Treatment: An Experience Report from the Evidence-Based Medical Compliance Cluster (EBMC2) (MB, WD, GD, RD, KAF, WG, WG, KH, MH, SRM, CR, SW), pp. 398–413.
CIKMCIKM-2012-BabbarPGA #classification #empirical #scalability #trade-off
On empirical tradeoffs in large scale hierarchical classification (RB, IP, ÉG, CA), pp. 2299–2302.
CIKMCIKM-2012-ChengZXAC #classification #learning
On active learning in hierarchical classification (YC, KZ, YX, AA, ANC), pp. 2467–2470.
CIKMCIKM-2012-Cummins #precise
On the inference of average precision from score distributions (RC), pp. 2435–2438.
CIKMCIKM-2012-HofmannBR #bias
On caption bias in interleaving experiments (KH, FB, FR), pp. 115–124.
CIKMCIKM-2012-HwangLKL #performance #recommendation #using
On using category experts for improving the performance and accuracy in recommender systems (WSH, HJL, SWK, ML), pp. 2355–2358.
CIKMCIKM-2012-Li0HRD
On skyline groups (CL, NZ, NH, SR, GD), pp. 2119–2123.
CIKMCIKM-2012-LiuKCBLPR #graph
On compressing weighted time-evolving graphs (WL, AK, JC, JB, CL, JP, KR), pp. 2319–2322.
CIKMCIKM-2012-LiuW #analysis #semantics
On the connections between explicit semantic analysis and latent semantic analysis (CL, YMW), pp. 1804–1808.
CIKMCIKM-2012-MacdonaldSO #learning #query #rank
On the usefulness of query features for learning to rank (CM, RLTS, IO), pp. 2559–2562.
CIKMCIKM-2012-MoghaddamE #design #mining #modelling
On the design of LDA models for aspect-based opinion mining (SM, ME), pp. 803–812.
CIKMCIKM-2012-Sadri #integration #probability
On the foundations of probabilistic information integration (FS), pp. 882–891.
CIKMCIKM-2012-YangLCYH #network #social
On bundle configuration for viral marketing in social networks (DNY, WCL, NHC, MY, HJH), pp. 2234–2238.
ECIRECIR-2012-AtilganAU #keyword #xml
On the Size of Full Element-Indexes for XML Keyword Search (DA, ISA, ÖU), pp. 556–560.
ECIRECIR-2012-CumminsO #information retrieval
On Theoretically Valid Score Distributions in Information Retrieval (RC, CO), pp. 451–454.
ECIRECIR-2012-HosseiniCMKV #documentation #multi
On Aggregating Labels from Multiple Crowd Workers to Infer Relevance of Documents (MH, IJC, NMF, GK, VV), pp. 182–194.
ECIRECIR-2012-NeumayerBN #ad hoc #modelling #web
On the Modeling of Entities for Ad-Hoc Entity Search in the Web of Data (RN, KB, KN), pp. 133–145.
ECIRECIR-2012-Robertson #precise
On Smoothing Average Precision (SR), pp. 158–169.
ICMLICML-2012-AzarMK #complexity #generative #learning
On the Sample Complexity of Reinforcement Learning with a Generative Model (MGA, RM, BK), p. 222.
ICMLICML-2012-BachLO #algorithm #equivalence
On the Equivalence between Herding and Conditional Gradient Algorithms (FRB, SLJ, GO), p. 176.
ICMLICML-2012-BowlingZ
On Local Regret (MB, MZ), p. 56.
ICMLICML-2012-HazanJ #random
On the Partition Function and Random Maximum A-Posteriori Perturbations (TH, TSJ), p. 217.
ICMLICML-2012-HeKC #nearest neighbour
On the Difficulty of Nearest Neighbor Search (JH, SK, SFC), p. 9.
ICMLICML-2012-Memisevic #learning #multi
On multi-view feature learning (RM), p. 140.
ICMLICML-2012-ScholkopfJPSZM #learning
On causal and anticausal learning (BS, DJ, JP, ES, KZ, JMM), p. 63.
ICMLICML-2012-SunGS #kernel #online #taxonomy
On the Size of the Online Kernel Sparsification Dictionary (YS, FJG, JS), p. 79.
ICPRICPR-2012-Al-KhaffafSCB #performance #re-engineering
On the performance of Decapod’s digital font reconstruction (HSMAK, FS, MPC, TMB), pp. 649–652.
ICPRICPR-2012-ChaudhuriM
On the relation between K-means and PLSA (ARC, MNM), pp. 2298–2301.
ICPRICPR-2012-ConnollyGS #classification #correlation
On the correlation between genotype and classifier diversity (JFC, EG, RS), pp. 1068–1071.
ICPRICPR-2012-KovalenkoS
On methods for incorporating evidences into posterior scoring of hypotheses (DK, SNS), pp. 577–580.
ICPRICPR-2012-MatovskiNMM #automation #quality #recognition
On including quality in applied automatic gait recognition (DSM, MSN, SM, TM), pp. 3272–3275.
KDDKDD-2012-AbrahaoSHK #community
On the separability of structural classes of communities (BDA, SS, JEH, RK), pp. 624–632.
KDDKDD-2012-SpeiserALS
On nested palindromes in clickstream data (MS, GA, AL, JS), pp. 1460–1468.
KDDKDD-2012-WuALYY
On “one of the few” objects (YW, PKA, CL, JY, CY), pp. 1487–1495.
KDDKDD-2012-YangSLC #network #query #social
On socio-spatial group query for location-based social networks (DNY, CYS, WCL, MSC), pp. 949–957.
KDIRKDIR-2012-BelliniCN #effectiveness #information retrieval #optimisation
On the Effectiveness and Optimization of Information Retrieval for Cross Media Content (PB, DC, PN), pp. 344–347.
KDIRKDIR-2012-SantosNF #generative
On the Generation of Dynamic Business Indicators (FAPdS, RCdN, JBF), pp. 390–394.
KMISKMIS-2012-WangK #development #framework
On the Development of a Theoretical Framework for New Product Development (LW, AK), pp. 49–59.
KRKR-2012-BordeauxJSM #quantifier
On Unit-Refutation Complete Formulae with Existentially Quantified Variables (LB, MJ, JPMS, PM).
KRKR-2012-OetschPPST #source code #testing
On the Small-Scope Hypothesis for Testing Answer-Set Programs (JO, MP, JP, MS, HT).
RecSysRecSys-2012-YangSGL #network #recommendation #social #using
On top-k recommendation using social networks (XY, HS, YG, YL), pp. 67–74.
SEKESEKE-2012-Devanbu
On the Naturalness of Software (PTD).
SIGIRSIGIR-2012-LimSG #trade-off
On the mathematical relationship between expected n-call@k and the relevance vs. diversity trade-off (KWL, SS, SG), pp. 1117–1118.
SIGIRSIGIR-2012-McCreadieSLMOM #corpus #reuse #twitter
On building a reusable Twitter corpus (RM, IS, JL, CM, IO, DM), pp. 1113–1114.
SIGIRSIGIR-2012-RobertsonK #evaluation #information retrieval #topic
On per-topic variance in IR evaluation (SER, EK), pp. 891–900.
SIGIRSIGIR-2012-RobertsonK12a #ad hoc #evaluation #realtime #retrieval
On real-time ad-hoc retrieval evaluation (SER, EK), pp. 1119–1120.
SIGIRSIGIR-2012-WoodwardXN #automation #documentation #web
On automatically tagging web documents from examples (NJW, WX, KN), pp. 1111–1112.
SIGIRSIGIR-2012-YilmazKCT
On judgments obtained from a commercial search engine (EY, GK, NC, SMMT), pp. 1115–1116.
ECMFAECMFA-2012-GuyCDSJ #type system
On Model Subtyping (CG, BC, SD, JS, JMJ), pp. 400–415.
MODELSMoDELS-2012-ButtnerEC #atl #off the shelf #smt #using #verification
On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
MODELSMoDELS-2012-HamannHG #behaviour #modelling #ocl
On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.
OOPSLAOOPSLA-2012-CastanosEINNOW #compilation #jit #scripting language #static typing
On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages (JGC, DE, KI, PN, TN, TO, PW), pp. 195–212.
POPLPOPL-2012-CretinR #abstraction #power of
On the power of coercion abstraction (JC, DR), pp. 361–372.
SASSAS-2012-Alonso-BlasG #approach #cost analysis
On the Limits of the Classical Approach to Cost Analysis (DEAB, SG), pp. 405–421.
RERE-2012-Knauss #ecosystem #elicitation #requirements
On the usage of context for requirements elicitation: End-user involvement in IT ecosystems (AK), pp. 345–348.
RERE-2012-LiaskosJA #elicitation #metric #modelling
On eliciting contribution measures in goal models (SL, RJ, JA), pp. 221–230.
ICSEICSE-2012-HindleBSGD
On the naturalness of software (AH, ETB, ZS, MG, PTD), pp. 837–847.
ICSEICSE-2012-Jaafar #analysis #evolution #source code
On the analysis of evolution of software artefacts and programs (FJ), pp. 1563–1566.
ICSEICSE-2012-NovaisNLCDGM #comprehension #evolution #industrial #interactive #visualisation
On the proactive and interactive visualization for feature evolution comprehension: An industrial investigation (RLN, CN, CANL, EC, FD, AG, MGM), pp. 1044–1053.
ICSEICSE-2012-SchwarzLR #how #repository
On how often code is cloned across repositories (NS, ML, RR), pp. 1289–1292.
SACSAC-2012-AccorsiS #consistency #mining #process #security
On the exploitation of process mining for security audits: the conformance checking case (RA, TS), pp. 1709–1716.
SACSAC-2012-Affeldt #library #low level
On construction of a library of formally verified low-level arithmetic functions (RA), pp. 1326–1331.
SACSAC-2012-ArpiniA #behaviour #enterprise #modelling
On the support for the assignment of active structure and behavior in enterprise modeling approaches (RHA, JPAA), pp. 1686–1693.
SACSAC-2012-CombiP #complexity #workflow
On the complexity of temporal controllabilities for workflow schemata (CC, RP), pp. 60–66.
SACSAC-2012-NathML #classification #fault #testing
On the improvement of a fault classification scheme with implications for white-box testing (SKN, RM, MFL), pp. 1123–1130.
SACSAC-2012-OliveiraCS #bound #using
On using adversary simulators to obtain tight lower bounds for response times (RSdO, AC, RAS), pp. 1573–1579.
SACSAC-2012-TarauH
On computing with types (PT, DH), pp. 1889–1896.
SLESLE-2012-DuranZT #domain-specific language #non-functional #reuse #specification
On the Reusable Specification of Non-functional Properties in DSLs (FD, SZ, JT), pp. 332–351.
CASECASE-2012-GhonaimGS #problem
On the assignment problem of arbitrary processing time operations in partially overlapping manufacturing resources (WG, HG, WS), pp. 341–346.
CASECASE-2012-HouLZ #petri net
On iterative liveness-enforcement for a class of generalized Petri nets (YH, DL, MZ), pp. 188–193.
CASECASE-2012-KimM #modelling #probability #random #throughput
On the throughput of deterministic flow lines with random state dependent setups: Stochastic models and applications (WsK, JRM), pp. 650–655.
CASECASE-2012-KlotzSSFTS #verification
On the formal verification of routing in material handling systems (TK, NS, BS, EF, KT, JS), pp. 8–13.
CASECASE-2012-KobayashiH #automaton
On opacity and diagnosability in discrete event systems modeled by pushdown automata (KK, KH), pp. 662–667.
CASECASE-2012-SawadaS #design #feedback #optimisation
On numerical optimization design of continuous-time feedback type quantizer for networked control systems (KS, SS), pp. 1144–1149.
DACDAC-2012-ForteS #proximity
On improving the uniqueness of silicon-based physically unclonable functions via optical proximity correction (DF, AS), pp. 96–105.
DACDAC-2012-KarakonstantisRBB #fault
On the exploitation of the inherent error resilience of wireless systems under unreliable silicon (GK, CR, CB, AB), pp. 510–515.
DACDAC-2012-SloanSK #design #probability
On software design for stochastic processors (JS, JS, RK), pp. 918–923.
DACDAC-2012-YorkC #multi
On the asymptotic costs of multiplexer-based reconfigurability (JY, DC), pp. 790–795.
DATEDATE-2012-HsuCCLC #effectiveness #pseudo
On effective flip-chip routing via pseudo single redistribution layer (HWH, MLC, HMC, HCL, SHC), pp. 1597–1602.
DATEDATE-2012-JiangSCBP #algorithm #constraints #generative #memory management
On the optimality of K longest path generation algorithm under memory constraints (JJ, MS, AC, BB, IP), pp. 418–423.
DATEDATE-2012-JiangXE #3d #effectiveness
On effective TSV repair for 3D-stacked ICs (LJ, QX, BE), pp. 793–798.
DATEDATE-2012-RamboHS #consistency #memory management #multi #verification
On ESL verification of memory consistency for system-on-chip multiprocessing (EAR, OPH, LCVdS), pp. 9–14.
DATEDATE-2012-SchmutzlerSB
On demand dependent deactivation of automotive ECUs (CS, MS, JB), pp. 69–74.
PDPPDP-2012-IlicS #distributed #scheduling
On Realistic Divisible Load Scheduling in Highly Heterogeneous Distributed Systems (AI, LS), pp. 426–433.
PDPPDP-2012-PopovBF
On the Influence of PRNGs on Data Distribution (IP, AB, TF), pp. 536–543.
PDPPDP-2012-SteinbrecherS #optimisation #problem #sequence
On Optimizing the Longest Common Subsequence Problem by Loop Unrolling Along Wavefronts (JS, WS), pp. 603–611.
WRLAWRLA-J-2010-DuranM12 #order
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (FD, JM), pp. 816–850.
ESOPESOP-2012-HabermaierK #correctness #execution
On the Correctness of the SIMT Execution Model of GPUs (AH, AK), pp. 316–335.
FASEFASE-2012-StaatsGWH #generative #testing
On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
FoSSaCSFoSSaCS-2012-ChenBW #complexity #probability #similarity
On the Complexity of Computing Probabilistic Bisimilarity (DC, FvB, JW), pp. 437–451.
FoSSaCSFoSSaCS-2012-GlabbeekGS #petri net
On Distributability of Petri Nets — (RJvG, UG, JWSU), pp. 331–345.
FoSSaCSFoSSaCS-2012-KieferMOWW #automaton #complexity #equivalence #probability #problem
On the Complexity of the Equivalence Problem for Probabilistic Automata (SK, ASM, JO, BW, JW), pp. 467–481.
FoSSaCSFoSSaCS-2012-KurzST #regular expression
On Nominal Regular Languages with Binders (AK, TS, ET), pp. 255–269.
STOCSTOC-2012-ChawlaIL #black box #design #reduction
On the limits of black-box reductions in mechanism design (SC, NI, BL), pp. 435–448.
STOCSTOC-2012-Chuzhoy
On vertex sparsifiers with Steiner nodes (JC), pp. 673–688.
STOCSTOC-2012-ForbesS #rank #testing
On identity testing of tensors, low-rank recovery and compressed sensing (MAF, AS), pp. 163–172.
STOCSTOC-2012-HuynhN #communication #complexity #proving #trade-off
On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity (TH, JN), pp. 233–248.
CAVCAV-2012-GuhaNA #automaton #bisimulation #decidability
On Decidability of Prebisimulation for Timed Automata (SG, CN, SAK), pp. 444–461.
CSLCSL-2012-CarraroS #consistency #equation #formal method #modelling #λ-calculus
On the equational consistency of order-theoretic models of the λ-calculus (AC, AS), pp. 152–166.
ICLPICLP-2012-GrecoST #logic programming #source code #termination
On the Termination of Logic Programs with Function Symbols (SG, FS, IT), pp. 323–333.
LICSLICS-2012-BundalaOW #bound #model checking
On the Magnitude of Completeness Thresholds in Bounded Model Checking (DB, JO, JW), pp. 155–164.
LICSLICS-2012-ChenF #order
On the Ordered Conjecture (YC, JF), pp. 225–234.
LICSLICS-2012-Constable
On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (RLC), pp. 2–8.
LICSLICS-2012-Nigam #complexity #linear #logic
On the Complexity of Linear Authorization Logics (VN), pp. 511–520.
LICSLICS-2012-Parys
On the Significance of the Collapse Operation (PP), pp. 521–530.
ICSTSAT-2012-BelovIMM #performance
On Efficient Computation of Variable MUSes (AB, AI, AM, JMS), pp. 298–311.
ICSTSAT-2012-Egly
On Sequent Systems and Resolution for QBFs (UE), pp. 100–113.
ICSTSAT-2012-KullmannZ #reduction #satisfiability
On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets (OK, XZ), pp. 270–283.
SMTSMT-2012-KovasznaiFB #complexity #logic
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width (GK, AF, AB), pp. 44–56.
VMCAIVMCAI-2012-Ben-AmramGM #integer #termination
On the Termination of Integer Loops (AMBA, SG, ANM), pp. 72–87.
VMCAIVMCAI-2012-Bugaychenko #diagrams #model checking #multi #probability
On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking (DB), pp. 104–118.
ECSAECSA-2011-Axelsson #architecture #embedded #how #nondeterminism
On How to Deal with Uncertainty When Architecting Embedded Software and Systems (JA), pp. 199–202.
JCDLJCDL-2011-GollapalliGMC #identification #library
On identifying academic homepages for digital libraries (SDG, CLG, PM, CC), pp. 123–132.
PODSPODS-2011-AmsterdamerDMT
On provenance minimization (YA, DD, TM, VT), pp. 141–152.
PODSPODS-2011-HeBWN #complexity #privacy
On the complexity of privacy-preserving complex event processing (YH, SB, DW, JFN), pp. 165–174.
PODSPODS-2011-ShengT11a #memory management
On finding skylines in external memory (CS, YT), pp. 107–116.
SIGMODSIGMOD-2011-TaoSP
On k-skip shortest paths (YT, CS, JP), pp. 421–432.
VLDBVLDB-2011-RenLKZC #evolution #graph #query #sequence
On Querying Historical Evolving Graph Sequences (CR, EL, BK, XZ, RC), pp. 726–737.
VLDBVLDB-2011-SunCLCH #similarity
On Link-based Similarity Join (LS, RC, XL, DWC, JH), pp. 714–725.
VLDBVLDB-2011-WangYYZP #database #nondeterminism #ranking
On Pruning for Top-K Ranking in Uncertain Databases (CW, LYY, JHY, ORZ, JP), pp. 598–609.
VLDBVLDB-2011-YangCLC #constraints #query
On Social-Temporal Group Query with Acquaintance Constraint (DNY, YLC, WCL, MSC), pp. 397–408.
VLDBVLDB-2012-PavloJZ11 #execution #modelling #optimisation #parallel #predict #transaction
On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems (AP, EPCJ, SBZ), pp. 85–96.
CSMRCSMR-2011-JunioMMNV #maintenance
On the Benefits of Planning and Grouping Software Maintenance Requests (GAJ, MNM, HMdA, HTMN, MTV), pp. 55–64.
CSMRCSMR-2011-MendeKP #case study #fault #integration #predict #testing
On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study (TM, RK, JP), pp. 259–268.
CSMRCSMR-2011-SilvaPAM #execution #using
On the Use of Execution Trace Alignment for Driving Perfective Changes (LLS, KRP, SdA, MdAM), pp. 221–230.
ICPCICPC-2011-EitanGHMW #comprehension #source code #visualisation
On Visualization and Comprehension of Scenario-Based Programs (NE, MG, DH, AM, GW), pp. 189–192.
ICPCICPC-2011-HaiducM #concept #query
On the Effect of the Query in IR-based Concept Location (SH, AM), pp. 234–237.
ICSMEICSM-2011-GethersOPL #information retrieval #orthogonal #traceability
On integrating orthogonal information retrieval methods to improve traceability recovery (MG, RO, DP, ADL), pp. 133–142.
ICSMEICSM-2011-ShevertalovM #maintenance
On the maintenance of UI-integrated mashup applications (MS, SM), pp. 203–212.
WCREWCRE-2011-UddinRSH #detection #effectiveness #scalability
On the Effectiveness of Simhash for Detecting Near-Miss Clones in Large Scale Software Systems (MSU, CKR, KAS, AH), pp. 13–22.
DLTDLT-J-2009-LehtinenO11 #equation #set
On Equations over Sets of Numbers and their Limitations (TL, AO), pp. 377–393.
CIAACIAA-J-2010-Birget11
On the Circuit-Size of inverses (JCB), pp. 1925–1938.
DLTDLT-J-2010-Berlinkov11
On a Conjecture by Carpi and d’Alessandro (MVB), pp. 1565–1576.
DLTDLT-J-2010-BrodaMMR11 #approach #automaton #combinator #complexity
On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach (SB, AM, NM, RR), pp. 1593–1606.
DLTDLT-J-2010-KuppusamyMK11 #ambiguity
On the Ambiguity of Insertion Systems (LK, AM, KK), pp. 1747–1758.
DLTDLT-J-2010-Shur11
On the existence of Minimal β-powers (AMS), pp. 1683–1696.
AFLAFL-2011-Blanchet-SadriNT #word
On Operations Preserving Primitivity of Partial Words with One Hole (FBS, SN, AT), pp. 93–107.
AFLAFL-2011-Choffrut #finite #infinity #word
On relations of finite words over infinite alphabets (CC), pp. 25–27.
AFLAFL-2011-MedunaVZ #nondeterminism
On Nondeterminism in Programmed Grammars (AM, LV, PZ), pp. 315–327.
CIAACIAA-2011-ChengJBK #synthesis
On the Hardness of Priority Synthesis (CHC, BJ, CB, AK), pp. 110–117.
CIAACIAA-2011-Ibarra #equivalence #linear #problem #transducer
On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs (OHI), pp. 190–202.
DLTDLT-2011-FiciL #word
On Prefix Normal Words (GF, ZL), pp. 228–238.
DLTDLT-2011-GusevP #set
On Non-complete Sets and Restivo’s Conjecture (VVG, EVP), pp. 239–250.
DLTDLT-2011-IbarraY #transducer
On Two-Way Transducers (OHI, HCY), pp. 300–311.
DLTDLT-2011-KitaevSSU #graph
On the Representability of Line Graphs (SK, PS, CS, HÚ), pp. 478–479.
DLTDLT-2011-PlyushchenkoS
On Brzozowski’s Conjecture for the Free Burnside Semigroup Satisfying x2 = x3 (ANP, AMS), pp. 362–373.
DLTDLT-2011-RampersadV #word
On Highly Repetitive and Power Free Words (NR, EV), pp. 441–451.
ICALPICALP-v1-2011-AllenderW #algebra #branch #power of #source code
On the Power of Algebraic Branching Programs of Width Two (EA, FW), pp. 736–747.
ICALPICALP-v1-2011-BockenhauerKKK #complexity #problem
On the Advice Complexity of the k-Server Problem (HJB, DK, RK, RK), pp. 207–218.
ICALPICALP-v1-2011-CanzarEKM
On Tree-Constrained Matchings and Generalizations (SC, KME, GWK, JM), pp. 98–109.
ICALPICALP-v1-2011-EpsteinILN
On Variants of File Caching (LE, CI, AL, JNG), pp. 195–206.
ICALPICALP-v1-2011-NordstromR #satisfiability #trade-off
On Minimal Unsatisfiability and Time-Space Trade-offs for k-DNF Resolution (JN, AAR), pp. 642–653.
ICALPICALP-v1-2011-Zhang #bound #communication #complexity #power of #quantum
On the Power of Lower Bound Methods for One-Way Quantum Communication Complexity (SZ), pp. 49–60.
ICALPICALP-v2-2011-AlvimACP #data flow #difference #privacy
On the Relation between Differential Privacy and Quantitative Information Flow (MSA, MEA, KC, CP), pp. 60–76.
ICALPICALP-v2-2011-BrihayeDGORW #automaton #bound #hybrid #reachability
On Reachability for Hybrid Automata over Bounded Time (TB, LD, GG, JO, JFR, JW), pp. 416–427.
ICALPICALP-v2-2011-DengH #automaton #markov #semantics
On the Semantics of Markov Automata (YD, MH), pp. 307–318.
ICALPICALP-v2-2011-KieferMOWZ #algorithm
On Stabilization in Herman’s Algorithm (SK, ASM, JO, JW, LZ), pp. 466–477.
ICALPICALP-v2-2011-Zetzsche #automaton #monad #transducer
On the Capabilities of Grammars, Automata, and Transducers Controlled by Monoids (GZ), pp. 222–233.
LATALATA-2011-Quaas #automaton #bound #problem
On the Interval-Bound Problem for Weighted Timed Automata (KQ), pp. 452–464.
FMFM-2011-ZhangSPLD #reduction
On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
ICFPICFP-2011-DevrieseP
On the bright side of type classes: instance arguments in Agda (DD, FP), pp. 143–155.
FDGFDG-2011-AndersenLSSCP #game studies
On the harmfulness of secondary game objectives (EA, YEL, RS, RS, SC, ZP), pp. 30–37.
FDGFDG-2011-CrenshawOWH #game studies #multi #realtime #user interface
On creating a native real-time-strategy game user interface for multi-touch devices (NC, SO, WSW, AH), pp. 283–285.
CoGVS-Games-2011-VoulgariK #collaboration #game studies #interactive #learning #multi #online
On Studying Collaborative Learning Interactions in Massively Multiplayer Online Games (IV, VK), pp. 182–183.
CoGVS-Games-2011-VoutounosL
On the Presentation of Byzantine Art in Virtual Environments (CV, AL), pp. 176–177.
CHICHI-2011-FidasVA
On the necessity of user-friendly CAPTCHA (CF, AGV, NMA), pp. 2623–2626.
CHICHI-2011-HaradaTA #representation
On the audio representation of radial direction (SH, HT, CA), pp. 2779–2788.
CHICHI-2011-QuinnCRD #cost analysis #multi
On the costs of multiple trajectory pointing methods (PQ, AC, KJR, JD), pp. 859–862.
HCIIDGD-2011-RigbyD #analysis #design #network
On the Design of Organizational Network Analysis Software (JR, HD), pp. 550–555.
CAiSECAiSE-2011-LeopoldMR #automation #modelling #process
On the Automatic Labeling of Process Models (HL, JM, HAR), pp. 512–520.
ICEISICEIS-J-2011-NovaisCJM11a #approach #difference #evolution #interactive #using #visualisation
On the Use of Software Visualization to Analyze Software Evolution: An Interactive Differential Approach (RLN, GdFC, PRMSJ, MGM), pp. 241–255.
ICEISICEIS-v3-2011-LiXH
On Low-carbon Supply Chain Management (JL, FX, GH), pp. 497–501.
ICEISICEIS-v3-2011-NovaisCJM #approach #difference #evolution #interactive #using #visualisation
On the Use of Software Visualization to Analyze Software Evolution — An Interactive Differential Approach (RLN, GdFC, PRMSJ, MGdMN), pp. 15–24.
CIKMCIKM-2011-AmodeoAG #query
On relevance, time and query expansion (GA, GA, GG), pp. 1973–1976.
CIKMCIKM-2011-KonstantinouABTK #database #platform
On the elasticity of NoSQL databases over cloud management platforms (IK, EA, CB, DT, NK), pp. 2385–2388.
CIKMCIKM-2011-RiveroHRC #benchmark #metric #ontology #semantics
On benchmarking data translation systems for semantic-web ontologies (CRR, IH, DR, RC), pp. 1613–1618.
CIKMCIKM-2011-ShiYCYW #community #detection #multi
On selection of objective functions in multi-objective community detection (CS, PSY, YC, ZY, BW), pp. 2301–2304.
CIKMCIKM-2011-XingZZ #bias #feedback #problem
On bias problem in relevance feedback (QX, YZ, LZ), pp. 1965–1968.
ECIRECIR-2011-Robertson #evaluation #topic
On the Contributions of Topics to System Evaluation (SR), pp. 129–140.
ICMLICML-2011-HelmboldL
On the Necessity of Irrelevant Variables (DPH, PML), pp. 281–288.
ICMLICML-2011-KimS #kernel #robust
On the Robustness of Kernel Density M-Estimators (JK, CDS), pp. 697–704.
ICMLICML-2011-LeNCLPN #learning #optimisation
On optimization methods for deep learning (QVL, JN, AC, AL, BP, AYN), pp. 265–272.
ICMLICML-2011-LiZSC #integration #learning #modelling #taxonomy #topic
On the Integration of Topic Modeling and Dictionary Learning (LL, MZ, GS, LC), pp. 625–632.
ICMLICML-2011-NakajimaSB #automation
On Bayesian PCA: Automatic Dimensionality Selection and Analytic Solution (SN, MS, SDB), pp. 497–504.
ICMLICML-2011-NockMBN #adaptation
On tracking portfolios with certainty equivalents on a generalization of Markowitz model: the Fool, the Wise and the Adaptive (RN, BM, EB, FN), pp. 73–80.
ICMLICML-2011-SaxeKCBSN #learning #random
On Random Weights and Unsupervised Feature Learning (AMS, PWK, ZC, MB, BS, AYN), pp. 1089–1096.
ICMLICML-2011-SugiyamaYKH #clustering #parametricity
On Information-Maximization Clustering: Tuning Parameter Selection and Analytic Solution (MS, MY, MK, HH), pp. 65–72.
ICMLICML-2011-SwerskyRBMF #energy #modelling
On Autoencoders and Score Matching for Energy Based Models (KS, MR, DB, BMM, NdF), pp. 1201–1208.
ICMLICML-2011-YangR #learning #using #visual notation
On the Use of Variational Inference for Learning Discrete Graphical Model (EY, PDR), pp. 1009–1016.
KDDKDD-2011-AggarwalXY #data-driven
On dynamic data-driven selection of sensor streams (CCA, YX, PSY), pp. 1226–1234.
KDDKDD-2011-PedarsaniG #network #privacy
On the privacy of anonymized networks (PP, MG), pp. 1235–1243.
KDDKDD-2011-YeSLYJ #network #semantics #social
On the semantic annotation of places in location-based social networks (MY, DS, WCL, PY, KJ), pp. 520–528.
KEODKEOD-2011-Bab #integration #logic
On the Integration of Knowledge in a Propositional Logical Layer (SB), pp. 299–303.
KEODKEOD-2011-KontotasiouBB #framework #ontology #re-engineering
On Establishing an Ontology Reengineering Framework (DK, CB, PDB), pp. 354–360.
MLDMMLDM-2011-Hasan #behaviour
On the Temporal Behavior of EEG Recorded during Real Finger Movement (BASH), pp. 335–347.
SIGIRSIGIR-2011-SantosMO11a #metric #ranking
On the suitability of diversity metrics for learning-to-rank for diversity (RLTS, CM, IO), pp. 1185–1186.
SIGIRSIGIR-2011-ValletC #personalisation #web
On diversifying and personalizing web search (DV, PC), pp. 1157–1158.
SIGIRSIGIR-2011-YeXLX
On theme location discovery for travelogue services (MY, RX, WCL, XX), pp. 465–474.
BXBX-2011-Brandt #enterprise #graph grammar #modelling #requirements
On the role of Triple Graph Grammars Concerning Requirements for Enterprise Modeling (CB), p. 54.
PLEASEPLEASE-2011-MichalikWB #evolution #problem #product line
On the problems with evolving Egemin’s software product line (BM, DW, WVB), pp. 15–19.
OnwardOnward-2011-Adamczyk
On the language metaphor (PA), pp. 121–128.
AdaEuropeAdaEurope-2011-Hatton #evolution #natural language
On the Evolution of Unnatural Language (LH), pp. 219–225.
PADLPADL-2011-WielemakerC #prolog
On the Portability of Prolog Applications (JW, VSC), pp. 69–83.
PLDIPLDI-2011-BouajjaniDES #analysis #interprocedural #source code
On inter-procedural analysis of programs with lists and data (AB, CD, CE, MS), pp. 578–589.
POPLPOPL-2011-SinhaW #abstraction
On interference abstractions (NS, CW), pp. 423–434.
SASSAS-2011-BouajjaniEP #concurrent #source code
On Sequentializing Concurrent Programs (AB, ME, GP), pp. 129–145.
RERE-2011-DekhtyarDHHCK #analysis #performance #requirements #statistics
On human analyst performance in assisted requirements tracing: Statistical analysis (AD, OD, JH, JHH, DC, WKK), pp. 111–120.
RERE-2011-FranchMTC #framework #modelling #using
On the joint use of i* with other modelling frameworks: A vision paper (XF, AM, JT, CC), pp. 133–142.
ESEC-FSEESEC-FSE-2011-BeckD #composition #congruence
On the congruence of modularity and code coupling (FB, SD), pp. 354–364.
ESEC-FSEESEC-FSE-2011-CosmoV #co-evolution #component
On software component co-installability (RDC, JV), pp. 256–266.
SACSAC-2011-AlmeidaC #enterprise #ontology #towards
On the elements of an enterprise: towards an ontology-based account (JPAA, ECSC), pp. 323–330.
SACSAC-2011-BoscP #axiom #flexibility #fuzzy #retrieval
On three fuzzy connectives for flexible data retrieval and their axiomatization (PB, OP), pp. 1114–1118.
SACSAC-2011-DebroyW #equivalence #fault #locality
On the equivalence of certain fault localization techniques (VD, WEW), pp. 1457–1463.
SACSAC-2011-MunizL #encryption #protocol #recognition
On the (im)possibility of perennial message recognition protocols without public-key cryptography (MGM, PL), pp. 1510–1515.
GPCEGPCE-2011-RibeiroQBTBS #dependence #maintenance #product line
On the impact of feature dependencies when maintaining preprocessor-based software product lines (MR, FQ, PB, TT, CB, SS), pp. 23–32.
CASECASE-2011-KumarSTS #fuzzy #modelling
On the combination of fuzzy models (MK, NS, KT, RS), pp. 322–326.
DACDAC-2011-SchneiderGCBEP #quantifier
On the quantification of sustainability and extensibility of FlexRay schedules (RS, DG, SC, UDB, PE, ZP), pp. 375–380.
DATEDATE-2011-ButtrickK #3d #network #testing #using
On testing prebond dies with incomplete clock networks in a 3D IC using DLLs (MB, SK), pp. 1418–1423.
DATEDATE-2011-ChanSGK
On the efficacy of NBTI mitigation techniques (TBC, JS, PG, RK), pp. 932–937.
DATEDATE-2011-LiuX #debugging #multi
On multiplexed signal tracing for post-silicon debug (XL, QX), pp. 685–690.
DATEDATE-2011-SreedharK #design #identification #process
On design of test structures for lithographic process corner identification (AS, SK), pp. 800–805.
DATEDATE-2011-TsaiLCKCK #bound
On routing fixed escaped boundary pins for high speed boards (TYT, RJL, CYC, CYK, HMC, YK), pp. 461–466.
DATEDATE-2011-YeHL #fault #multi #using
On diagnosis of multiple faults using compacted responses (JY, YH, XL), pp. 679–684.
ISMMISMM-2011-GuD #collaboration
On the theory and potential of LRU-MRU collaborative cache management (XG, CD), pp. 43–54.
PDPPDP-2011-AldinucciCDDTT #biology #design #multi
On Designing Multicore-Aware Simulators for Biological Systems (MA, MC, FD, MD, MT, AT), pp. 318–325.
FASEFASE-2011-KhanH #analysis #contract #dependence #modelling #testing #using #visual notation
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts (TAK, RH), pp. 341–355.
FoSSaCSFoSSaCS-2011-DelzannoSZ #ad hoc #clique #network #power of #verification
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks (GD, AS, GZ), pp. 441–455.
STOCSTOC-2011-Kopparty #complexity #finite
On the complexity of powering in finite fields (SK), pp. 489–498.
STOCSTOC-2011-PapadimitriouP
On optimal single-item auctions (CHP, GP), pp. 119–128.
TACASTACAS-2011-KieferW #parallel #probability #process #source code
On Probabilistic Parallel Programs with Process Creation and Synchronisation (SK, DW), pp. 296–310.
CADECADE-2011-KovacsMV #order
On Transfinite Knuth-Bendix Orders (LK, GM, AV), pp. 384–399.
CSLCSL-2011-Egri #constraints #problem
On Constraint Satisfaction Problems below P (LE), pp. 203–217.
ICLPICLP-J-2011-Antoy #correctness
On the correctness of pull-tabbing (SA), pp. 713–730.
ICLPICLP-J-2011-AreiasR #evaluation #logic programming #source code
On combining linear-based strategies for tabled evaluation of logic programs (MA, RR), pp. 681–696.
ICSTICST-2011-Nica #testing #using
On the Improvement of the Mutation Score Using Distinguishing Test Cases (SN), pp. 423–426.
ISSTAISSTA-2011-DiGiuseppeJ #fault #locality #multi
On the influence of multiple faults on coverage-based fault localization (ND, JAJ), pp. 210–220.
ICSTSAT-2011-AudemardLMS
On Freezing and Reactivating Learnt Clauses (GA, JML, BM, LS), pp. 188–200.
ICSTSAT-2011-KullmannZ #normalisation
On Variables with Few Occurrences in Conjunctive Normal Forms (OK, XZ), pp. 33–46.
ICSTSAT-2011-SilvaL #algorithm
On Improving MUS Extraction Algorithms (JPMS, IL), pp. 159–173.
ECSAECSA-2010-EsfahaniM #adaptation #architecture #middleware #platform
On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms (NE, SM), pp. 433–440.
ECSAECSA-2010-Lopez-HerrejonE #architecture #product line
On the Need of Safe Software Product Line Architectures (RELH, AE), pp. 493–496.
DocEngDocEng-2010-BalinskyBS #documentation
On helmholtz’s principle for documents processing (AAB, HB, SJS), pp. 283–286.
DRRDRR-2010-ChenL #pseudo #security #usability
On the usability and security of pseudo-signatures (JC, DPL), pp. 1–10.
HTHT-2010-BeelG #robust
On the robustness of google scholar against spam (JB, BG), pp. 297–298.
PODSPODS-2010-DeutchKM #fixpoint #markov #probability #query
On probabilistic fixpoint and Markov chain query languages (DD, CK, TM), pp. 215–226.
PODSPODS-2010-Wijsen #database #first-order #nondeterminism #query
On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases (JW), pp. 179–190.
SIGMODSIGMOD-2010-AgrawalAK #set
On indexing error-tolerant set containment (PA, AA, RK), pp. 927–938.
SIGMODSIGMOD-2010-ArasuGK #learning
On active learning of record matching packages (AA, MG, RK), pp. 783–794.
VLDBVLDB-2010-AbhiramaBDSH #cost analysis
On the Stability of Plan Costs and the Costs of Plan Stability (MA, SB, AD, HS, JRH), pp. 1137–1148.
VLDBVLDB-2010-AggarwalLYJ #graph #mining
On Dense Pattern Mining in Graph Streams (CCA, YL, PSY, RJ), pp. 975–984.
VLDBVLDB-2010-ZhangHOPS #multi
On Multi-Column Foreign Key Discovery (MZ, MH, BCO, CMP, DS), pp. 805–814.
VLDBVLDB-2010-ZhaoH #graph #network #optimisation #query #scalability
On Graph Query Optimization in Large Networks (PZ, JH), pp. 340–351.
VLDBVLDB-2011-WangZTT10 #graph
On Triangulation-based Dense Neighborhood Graphs Discovery (NW, JZ, KLT, AKHT), pp. 58–68.
EDMEDM-2010-DesmaraisP #performance #student
On the Faithfulness of Simulated Student Performance Data (MCD, IP), pp. 21–30.
ICPCICPC-2010-OlivetoGPL #automation #equivalence #information retrieval #traceability
On the Equivalence of Information Retrieval Methods for Automated Traceability Link Recovery (RO, MG, DP, ADL), pp. 68–71.
ICPCICPC-2010-ShternT #algorithm #clustering
On the Comparability of Software Clustering Algorithms (MS, VT), pp. 64–67.
ICSMEICSM-2010-Haller #correctness #implementation #information management
On the implementation and correctness of information system upgrades (KH), pp. 1–5.
WCREWCRE-2010-HaiducAMM #automation #source code #summary #using
On the Use of Automated Text Summarization Techniques for Summarizing Source Code (SH, JA, LM, AM), pp. 35–44.
AFLAFL-J-2008-AfoninK10 #regular expression
On the Structure of Finitely Generated Semigroups of Unary Regular Languages (SA, EK), pp. 689–704.
AFLAFL-J-2008-KutribMO10 #automaton
On Stateless Two-Pushdown Automata and Restarting Automata (MK, HM, FO), pp. 781–798.
DLTDLT-J-2008-Ada10 #communication #complexity #nondeterminism #regular expression
On the Non-Deterministic Communication Complexity of Regular Languages (AA), pp. 479–493.
DLTDLT-J-2008-HolubN10 #finite #word
On the Relation between Periodicity and Unbordered Factors of Finite Words (SH, DN), pp. 633–645.
CIAACIAA-2010-Egri-NagyN #finite #word
On Straight Words and Minimal Permutators in Finite Transformation Semigroups (AEN, CLN), pp. 115–124.
CIAACIAA-2010-EpifanioFGMS #graph #lazy evaluation
On Lazy Representations and Sturmian Graphs (CE, CF, AG, FM, JS), pp. 125–134.
DLTDLT-2010-Berlinkov
On a Conjecture by Carpi and D’Alessandro (MVB), pp. 66–75.
DLTDLT-2010-BrodaMMR #automaton
On the Average Number of States of Partial Derivative Automata (SB, AM, NM, RR), pp. 112–123.
DLTDLT-2010-CarpiD #hybrid #problem
On the Hybrid Cerný-Road Coloring Problem and Hamiltonian Paths (AC, FD), pp. 124–135.
DLTDLT-2010-DassowM #context-free grammar #strict
On Restricted Context-Free Grammars (JD, TM), pp. 434–435.
DLTDLT-2010-EsikI #context-free grammar
On Müller Context-Free Grammars (ZÉ, SI), pp. 173–184.
DLTDLT-2010-HalavaHKR #word
On the Periodicity of Morphic Words (VH, TH, TK, MR), pp. 209–217.
DLTDLT-2010-Ibarra #problem
On Decision Problems for Simple and Parameterized Machines (OHI), p. 31.
DLTDLT-2010-KlimaP
On Schützenberger Products of Semirings (OK, LP), pp. 279–290.
DLTDLT-2010-Kopecki
On the Iterated Hairpin Completion (SK), pp. 438–439.
DLTDLT-2010-LehtinenO #equation
On Language Equations XXK = XXL and XM = N over a Unary Alphabet (TL, AO), pp. 291–302.
DLTDLT-2010-OttoPM #automaton
On Lexicalized Well-Behaved Restarting Automata That Are Monotone (FO, MP, FM), pp. 352–363.
DLTDLT-2010-PorrecaLZ
On a Powerful Class of Non-universal P Systems with Active Membranes (AEP, AL, CZ), pp. 364–375.
DLTDLT-2010-Schluter #automaton #lookahead
On Lookahead Hierarchies for Monotone and Deterministic Restarting Automata with Auxiliary Symbols (NS), pp. 440–441.
DLTDLT-2010-Shur
On the Existence of Minimal β-Powers (AMS), pp. 411–422.
ICALPICALP-v1-2010-BhattacharyaDMT #approximate
On Approximate Horn Formula Minimization (AB, BD, DM, GT), pp. 438–450.
ICALPICALP-v1-2010-BorodinL #combinator #design
On the Limitations of Greedy Mechanism Design for Truthful Combinatorial Auctions (AB, BL), pp. 90–101.
ICALPICALP-v1-2010-GuruswamiS
On the Inapproximability of Vertex Cover on k-Partite k-Uniform Hypergraphs (VG, RS), pp. 360–371.
ICALPICALP-v1-2010-HarksK #game studies #nash
On the Existence of Pure Nash Equilibria in Weighted Congestion Games (TH, MK), pp. 79–89.
ICALPICALP-v1-2010-JacobsCLM #complexity
On the Complexity of Searching in Trees: Average-Case Minimization (TJ, FC, ESL, MM), pp. 527–539.
ICALPICALP-v1-2010-Litow
On Sums of Roots of Unity (BEL), pp. 420–425.
ICALPICALP-v1-2010-PatrascuT #independence #linear
On the k-Independence Required by Linear Probing and Minwise Independence (MP, MT), pp. 715–726.
ICALPICALP-v1-2010-ShpilkaV #polynomial #testing
On the Relation between Polynomial Identity Testing and Finding Variable Disjoint Factors (AS, IV), pp. 408–419.
ICALPICALP-v2-2010-Blum #lr #polynomial
On LR(k)-Parsers of Polynomial Size (NB), pp. 163–174.
ICALPICALP-v2-2010-ChenF #logic #proving
On p-Optimal Proof Systems and Logics for PTIME (YC, JF), pp. 321–332.
ICALPICALP-v2-2010-HirschkoffP #replication #similarity
On Bisimilarity and Substitution in Presence of Replication (DH, DP), pp. 454–465.
ICALPICALP-v2-2010-LanesePSS #calculus #communication #higher-order #process
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 442–453.
ICALPICALP-v2-2010-Zetzsche #random
On Erasing Productions in Random Context Grammars (GZ), pp. 175–186.
LATALATA-2010-ChoffrutMMP #power of
On the Expressive Power of FO[+] (CC, AM, CM, BP), pp. 190–201.
LATALATA-2010-CrochemoreIKRRW #polynomial #string
On the Maximal Number of Cubic Runs in a String (MC, CSI, MK, JR, WR, TW), pp. 227–238.
LATALATA-2010-Cruz-SantosM #quantum #reduction #satisfiability
On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT (WCS, GML), pp. 239–248.
IFMIFM-2010-Baier #distributed #model checking #random
On Model Checking Techniques for Randomized Distributed Systems (CB), pp. 1–11.
RTARTA-2010-GmeinerGS
On (Un)Soundness of Unravelings (KG, BG, FS), pp. 119–134.
AIIDEAIIDE-2010-FurtakB #complexity #game studies #graph
On the Complexity of Two-Player Attrition Games Played on Graphs (TF, MB).
CoGCIG-2010-TeytaudT #algorithm #monte carlo
On the huge benefit of decisive moves in Monte-Carlo Tree Search algorithms (FT, OT), pp. 359–364.
CoGVS-Games-2010-SantosDRP #modelling
On the Expeditious Modelling of Buildings (DS, MD, NR, AP), pp. 60–67.
GT-VMTGT-VMT-2010-MolR #graph #order
On A Graph Formalism for Ordered Edges (MdM, AR).
ICGTICGT-2010-BaldanBCKS #graph grammar
On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (PB, AB, AC, BK, SS), pp. 91–106.
CHICHI-2010-Salvucci #re-engineering
On reconstruction of task context after interruption (DDS), pp. 89–92.
CSCWCSCW-2010-HechtG #locality
On the “localness” of user-generated content (BH, DG), pp. 229–232.
CAiSECAiSE-2010-LagunaMC #case study #modelling #question #semantics
On the Semantics of the Extend Relationship in Use Case Models: Open-Closed Principle or Clairvoyance? (MAL, JMM, YC), pp. 409–423.
ICEISICEIS-HCI-2010-BellstromT #education #programming #visualisation
On the Importance of Visualizing in Programming Education (PB, CT), pp. 131–136.
ICEISICEIS-ISAS-2010-ShishkovWS #energy
On the Application of Autonomic and Context-aware Computing to Support Home Energy Management (BS, MW, MvS), pp. 307–313.
CIKMCIKM-2010-CarmelRY
On the relationship between novelty and popularity of user-generated content (DC, HR, EYT), pp. 1509–1512.
CIKMCIKM-2010-DoulkeridisVNKV #multi
On the selectivity of multidimensional routing indices (CD, AV, KN, YK, MV), pp. 109–118.
CIKMCIKM-2010-GolbandiKL #recommendation
On bootstrapping recommender systems (NG, YK, RL), pp. 1805–1808.
CIKMCIKM-2010-RaiberK #documentation #identification
On identifying representative relevant documents (FR, OK), pp. 99–108.
CIKMCIKM-2010-YinLL #social #web
On top-k social web search (PY, WCL, KCKL), pp. 1313–1316.
CIKMCIKM-2010-ZhaoAY #composition #nondeterminism #set
On wavelet decomposition of uncertain time series data sets (YZ, CCA, PSY), pp. 129–138.
ECIRECIR-2010-RamanUBB #documentation #feedback #pseudo #using
On Improving Pseudo-Relevance Feedback Using Pseudo-Irrelevant Documents (KR, RU, PB, AB), pp. 573–576.
ECIRECIR-2010-SooF
On Foreign Name Search (JJS, OF), pp. 483–494.
ICMLICML-2010-DuchiMJ #algorithm #consistency #ranking
On the Consistency of Ranking Algorithms (JCD, LWM, MIJ), pp. 327–334.
ICMLICML-2010-HueV #kernel #learning
On learning with kernels for unordered pairs (MH, JPV), pp. 463–470.
ICMLICML-2010-KolarPX #parametricity
On Sparse Nonparametric Conditional Covariance Selection (MK, APP, EPX), pp. 559–566.
ICMLICML-2010-LiangS #interactive #learning #multi
On the Interaction between Norm and Dimensionality: Multiple Regimes in Learning (PL, NS), pp. 647–654.
ICPRICPR-2010-AhmadNSNN #distributed #estimation #network
On Clock Offset Estimation in Wireless Sensor Networks with Weibull Distributed Network Delays (AA, AN, ES, HNN, MNN), pp. 2322–2325.
ICPRICPR-2010-BaradaraniMW #design #image
On the Design of a Class of Odd-Length Biorthogonal Wavelet Filter Banks for Signal and Image Processing (AB, PM, QMJW), pp. 2282–2285.
ICPRICPR-2010-BharathM #empirical #online #recognition #word
On the Significance of Stroke Size and Position for Online Handwritten Devanagari Word Recognition: An Empirical Study (AB, SM), pp. 2033–2036.
ICPRICPR-2010-CapitaineF10a #clustering #image #segmentation
On Selecting an Optimal Number of Clusters for Color Image Segmentation (HLC, CF), pp. 3388–3391.
ICPRICPR-2010-ChenWL #clustering
On Dynamic Weighting of Data in Clustering with K-Alpha Means (SC, HW, BL), pp. 774–777.
ICPRICPR-2010-Gonzalez-RubioC #multi #string #using
On the Use of Median String for Multi-source Translation (JGR, FC), pp. 4328–4331.
ICPRICPR-2010-KoniuszM #image #segmentation
On a Quest for Image Descriptors Based on Unsupervised Segmentation Maps (PK, KM), pp. 762–765.
ICPRICPR-2010-LiBN #network #performance
On the Performance of Handoff and Tracking in a Camera Network (YL, BB, VN), pp. 3645–3648.
ICPRICPR-2010-LourencoFJ #clustering #scalability
On the Scalability of Evidence Accumulation Clustering (AL, ALNF, AKJ), pp. 782–785.
ICPRICPR-2010-MelendezPG #adaptation #classification #segmentation
On Adapting Pixel-based Classification to Unsupervised Texture Segmentation (JM, DP, MAG), pp. 854–857.
ICPRICPR-2010-WoodardPMJR
On the Fusion of Periocular and Iris Biometrics in Non-ideal Imagery (DLW, SJP, PEM, RRJ, AR), pp. 201–204.
ICPRICPR-2010-ZhangYFZ #recognition #reduction #representation
On the Dimensionality Reduction for Sparse Representation Based Face Recognition (LZ, MY, ZF, DZ), pp. 1237–1240.
KDDKDD-2010-GaoLFWSH #community #detection #network #performance
On community outliers and their efficient detection in information networks (JG, FL, WF, CW, YS, JH), pp. 813–822.
KDDKDD-2010-WenL #quality #social
On the quality of inferring interests from social neighbors (ZW, CYL), pp. 373–382.
KEODKEOD-2010-AbouenourBR
On the Extension of Arabic Wordnet Named Entities and Its Impact on Question / Answering (LA, KB, PR), pp. 424–429.
KEODKEOD-2010-EynardMM #analysis #ontology #using
On the Use of Correspondence Analysis to Learn Seed Ontologies from Text (DE, FM, MM), pp. 430–437.
KRKR-2010-Arieli #logic
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information (OA).
KRKR-2010-CiabattoniR #fuzzy #monad
On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System (AC, PR).
KRKR-2010-PenalozaS #axiom #complexity #logic #product line
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics (RP, BS).
KRKR-2010-ZhangZ #bound #semantics #set #source code
On the Progression Semantics and Boundedness of Answer Set Programs (YZ, YZ).
RecSysRecSys-2010-AdomaviciusZ #algorithm #recommendation
On the stability of recommendation algorithms (GA, JZ), pp. 47–54.
RecSysRecSys-2010-EsparzaOS #realtime #recommendation #web
On the real-time web as a source of recommendation knowledge (SGE, MPO, BS), pp. 305–308.
SIGIRSIGIR-2010-AmatiACGG #performance #retrieval #topic
On performance of topical opinion retrieval (GA, GA, VC, CG, GG), pp. 777–778.
SIGIRSIGIR-2010-AzzopardiB #effectiveness
On the relationship between effectiveness and accessibility (LA, RB), pp. 889–890.
SIGIRSIGIR-2010-Barron-Cedeno #detection #reuse
On the mono- and cross-language detection of text reuse and plagiarism (ABC), p. 914.
SIGIRSIGIR-2010-RadovanovicNI #modelling
On the existence of obstinate results in vector space models (MR, AN, MI), pp. 186–193.
SIGIRSIGIR-2010-WangZ #analysis #effectiveness #information retrieval #metric #optimisation #statistics
On statistical analysis and optimization of information retrieval effectiveness metrics (JW, JZ), pp. 226–233.
ECMFAECMFA-2010-Vallecillo #modelling
On the Combination of Domain Specific Modeling Languages (AV), pp. 305–320.
LOPSTRLOPSTR-2010-Seki #induction #proving
On Inductive Proofs by Extended Unfold/Fold Transformation Rules (HS), pp. 117–132.
PADLPADL-2010-Costa #implementation
On the Implementation of the CLP(BN) Language (VSC), pp. 234–248.
POPLPOPL-2010-AtigBBM #memory management #modelling #problem #verification
On the verification problem for weak memory models (MFA, AB, SB, MM), pp. 7–18.
PPDPPPDP-2010-Bonacina #proving #theorem proving
On theorem proving for program checking: historical perspective and recent developments (MPB), pp. 1–12.
RERE-2010-GacituaSG #abstraction #effectiveness #identification #requirements
On the Effectiveness of Abstraction Identification in Requirements Engineering (RG, PS, VG), pp. 5–14.
REFSQREFSQ-2010-ErnstM #lifecycle #quality #requirements
On the Perception of Software Quality Requirements during the Project Lifecycle (NAE, JM), pp. 143–157.
REFSQREFSQ-2010-GervasiZ #ambiguity
On the Role of Ambiguity in RE (VG, DZ), pp. 248–254.
SACSAC-2010-JungCCL #query
On processing location based top-k queries in the wireless broadcasting system (HJ, BKC, YDC, LL), pp. 585–591.
SACSAC-2010-Perez-CastilloGP #process #using
On the use of patterns to recover business processes (RPC, IGRdG, MP), pp. 165–166.
LDTALDTA-2010-HoldermansH #program transformation #type system
On the rôle of minimal typing derivations in type-driven program transformation (SH, JH), p. 2.
LDTALDTA-2010-KlintSV #domain-specific language #implementation #maintenance #tool support
On the impact of DSL tools on the maintainability of language implementations (PK, TvdS, JJV), p. 10.
CASECASE-2010-ChanR #clustering #estimation #multi #scheduling #tool support
On gradient estimation of scheduling for multi-cluster tools with general robot moving times (WK(C, TMR), pp. 112–117.
CGOCGO-2010-WangWY #layout #memory management
On improving heap memory layout by dynamic pool allocation (ZW, CW, PCY), pp. 92–100.
DACDAC-2010-NadakuditiM #cost analysis
On the costs and benefits of stochasticity in stream processing (RRN, ILM), pp. 320–325.
DATEDATE-2010-ChandraPA
On the efficacy of write-assist techniques in low voltage nanoscale SRAMs (VC, CP, RCA), pp. 345–350.
DATEDATE-2010-ChineaGDDK #megamodelling #performance
On the construction of guaranteed passive macromodels for high-speed channels (AC, SGT, DD, TD, LK), pp. 1142–1147.
DATEDATE-2010-PomeranzR10a #functional #testing
On reset based functional broadside tests (IP, SMR), pp. 1438–1443.
DATEDATE-2010-UgryumovaS #algorithm #modelling
On passivity of the super node algorithm for EM modeling of interconnect systems (MVU, WHAS), pp. 471–476.
DATEDATE-2010-WeerasekeraGPT #3d
On signalling over Through-Silicon Via (TSV) interconnects in 3-D Integrated Circuits (RW, MG, DP, HT), pp. 1325–1328.
PDPPDP-2010-SerafinoR #algorithm #parallel #search-based
On the Application of Multiple-Deme Parallel Genetic Algorithms in Astrophysics (DdS, FR), pp. 231–237.
PDPPDP-2010-Strey #implementation #performance #reduction
On the Efficient Implementation of Reductions on the Cell Broadband Engine (AS), pp. 223–228.
PDPPDP-2010-UcarC #clustering #matrix #modelling #scalability
On the Scalability of Hypergraph Models for Sparse Matrix Partitioning (BU, ÜVÇ), pp. 593–600.
ESOPESOP-2010-LaneseVF #power of
On the Expressive Power of Primitives for Compensation Handling (IL, CV, CF), pp. 366–386.
FoSSaCSFoSSaCS-2010-AcciaiBZ #behaviour #logic #simulation
On the Relationship between Spatial Logics and Behavioral Simulations (LA, MB, GZ), pp. 146–160.
STOCSTOC-2010-ArvindS #commutative
On the hardness of the noncommutative determinant (VA, SS), pp. 677–686.
STOCSTOC-2010-DyerR #complexity #csp
On the complexity of #CSP (MED, DR), pp. 725–734.
STOCSTOC-2010-FraigniaudG #network
On the searchability of small-world networks with arbitrary underlying structure (PF, GG), pp. 389–398.
STOCSTOC-2010-GoyalJ #complexity
On the round complexity of covert computation (VG, AJ), pp. 191–200.
STOCSTOC-2010-GuruswamiHK #linear #random
On the list-decodability of random linear codes (VG, JH, SK), pp. 409–416.
STOCSTOC-2010-HaramatyS #polynomial
On the structure of cubic and quartic polynomials (EH, AS), pp. 331–340.
STOCSTOC-2010-HardtT #difference #geometry #privacy
On the geometry of differential privacy (MH, KT), pp. 705–714.
STOCSTOC-2010-PaturiP #complexity #satisfiability
On the complexity of circuit satisfiability (RP, PP), pp. 241–250.
TACASTACAS-2010-BauerMSH #refinement
On Weak Modal Compatibility, Refinement, and the MIO Workbench (SSB, PM, AS, RH), pp. 175–189.
WRLAWRLA-2010-RiveraDV #behaviour #domain-specific language #realtime #semantics #visual notation
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
CAVCAV-2010-ZhouHWG #array #bound
On Array Theory of Bounded Elements (MZ, FH, BYW, MG), pp. 570–584.
CSLCSL-2010-ChenF #problem #proving #slicing
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT (YC, JF), pp. 200–214.
CSLCSL-2010-NenovP #logic
On the Computability of Region-Based Euclidean Logics (YN, IPH), pp. 439–453.
IJCARIJCAR-2010-IhlemannS #reasoning
On Hierarchical Reasoning in Combinations of Theories (CI, VSS), pp. 30–45.
IJCARIJCAR-2010-SudaWW
On the Saturation of YAGO (MS, CW, PW), pp. 441–456.
ISSTAISSTA-2010-DanielGM #execution #symbolic computation #using
On test repair using symbolic execution (BD, TG, DM), pp. 207–218.
LICSLICS-2010-AvronAZ #logic
On Strong Maximality of Paraconsistent Finite-Valued Logics (AA, OA, AZ), pp. 304–313.
LICSLICS-2010-BodirskyHM #algebra #approach #constraints
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (MB, MH, BM), pp. 90–99.
LICSLICS-2010-EisentrautHZ #automaton #probability
On Probabilistic Automata in Continuous Time (CE, HH, LZ), pp. 342–351.
LICSLICS-2010-He #finite #first-order #quantifier #strict
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures (YH), pp. 170–178.
LICSLICS-2010-StatonW #symmetry
On the Expressivity of Symmetry in Event Structures (SS, GW), pp. 392–401.
ICSTSAT-2010-DantsinW #exponential #satisfiability
On Moderately Exponential Time for SAT (ED, AW), pp. 313–325.
ICSTSAT-2010-PankratovB #problem #satisfiability
On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem (DP, AB), pp. 223–236.
CBSECBSE-2009-BirkmeierO #classification #comparison #component #identification #state of the art
On Component Identification Approaches — Classification, State of the Art, and Comparison (DB, SO), pp. 1–18.
QoSAQoSA-2009-AnselmiCA #constraints #performance
On the Consolidation of Data-Centers with Performance Constraints (JA, PC, EA), pp. 163–176.
WICSA-ECSAWICSA-ECSA-2009-GuL #architecture
On service-oriented architectural concerns and viewpoints (QG, PL), pp. 289–292.
WICSA-ECSAWICSA-ECSA-2009-PintoFVPDM #aspect-oriented #design pattern #evolution
On the need of architectural patterns in AOSD for software evolution (MP, LF, JAV, PFP, FCD, ÉM), pp. 245–248.
DocEngDocEng-2009-BarcenasGL #analysis #constraints #query
On the analysis of queries with counting constraints (EB, PG, NL), pp. 21–24.
DocEngDocEng-2009-GotscharekRRS #documentation
On lexical resources for digitization of historical documents (AG, UR, CR, KUS), pp. 193–200.
HTHT-2009-Bernstein #hypermedia
On hypertext narrative (MB), pp. 5–14.
ICDARICDAR-2009-FornesLSB #identification #music #using
On the Use of Textural Features for Writer Identification in Old Handwritten Music Scores (AF, JL, GS, HB), pp. 996–1000.
VLDBVLDB-2009-MeierSL #termination
On Chase Termination Beyond Stratification (MM, MS, GL), pp. 970–981.
ICPCICPC-2009-CapobiancoLOPP #traceability
On the role of the nouns in IR-based traceability recovery (GC, ADL, RO, AP, SP), pp. 148–157.
ICSMEICSM-2009-AnbalaganV #debugging #open source #predict
On predicting the time taken to correct bug reports in open source projects (PA, MAV), pp. 523–526.
ICSMEICSM-2009-GayHMM #concept #feedback #using
On the use of relevance feedback in IR-based concept location (GG, SH, AM, TM), pp. 351–360.
MSRMSR-2009-AnbalaganV #mining #repository
On mining data across software repositories (PA, MAV), pp. 171–174.
MSRMSR-2009-Laar #industrial
On the transfer of evolutionary couplings to industry (PvdL), pp. 187–190.
MSRMSR-2009-RastkarM #interactive #question #recommendation #what
On what basis to recommend: Changesets or interactions? (SR, GCM), pp. 155–158.
MSRMSR-2009-ShihabJH #chat #developer #gnome #internet #using
On the use of Internet Relay Chat (IRC) meetings by developers of the GNOME GTK+ project (ES, ZMJ, AEH), pp. 107–110.
WCREWCRE-1999-DAmbrosLR99a #fault
On the Relationship Between Change Coupling and Software Defects (MD, ML, RR), pp. 135–144.
WCREWCRE-1999-Perez-CastilloGAP99a #legacy #source code #using
On the Use of ADM to Contextualize Data on Legacy Source Code for Software Modernization (RPC, IGRdG, OAG, MP), pp. 128–132.
CIAACIAA-2009-CastiglioneRS #algorithm
On Extremal Cases of Hopcroft’s Algorithm (GC, AR, MS), pp. 14–23.
CIAACIAA-2009-HolubS #automaton #finite #implementation #parallel
On Parallel Implementations of Deterministic Finite Automata (JH, SS), pp. 54–64.
DLTDLT-2009-BlakeleyBGR #complexity #set #word
On the Complexity of Deciding Avoidability of Sets of Partial Words (BB, FBS, JG, NR), pp. 113–124.
DLTDLT-2009-FriscoI #automaton #finite #multi
On Stateless Multihead Finite Automata and Multihead Pushdown Automata (PF, OHI), pp. 240–251.
DLTDLT-2009-FrougnyL
On Negative Bases (CF, ACL), pp. 252–263.
DLTDLT-2009-LehtinenO #equation #set
On Equations over Sets of Numbers and Their Limitations (TL, AO), pp. 360–371.
DLTDLT-2009-Saarela #complexity #equation #satisfiability #theorem
On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations (AS), pp. 443–453.
DLTDLT-2009-Souza #decidability #equivalence #transducer
On the Decidability of the Equivalence for a Certain Class of Transducers (RdS), pp. 478–489.
ICALPICALP-v1-2009-DemaineLW #query
On Cartesian Trees and Range Minimum Queries (EDD, GML, OW), pp. 341–353.
ICALPICALP-v1-2009-KhullerS
On Finding Dense Subgraphs (SK, BS), pp. 597–608.
ICALPICALP-v2-2009-DaskalakisP #network #theorem
On a Network Generalization of the Minmax Theorem (CD, CHP), pp. 423–434.
ICALPICALP-v2-2009-DaxKL #logic
On Regular Temporal Logics with Past, (CD, FK, ML), pp. 175–187.
ICALPICALP-v2-2009-LagoM #term rewriting #λ-calculus
On Constructor Rewrite Systems and the λ-Calculus (UDL, SM), pp. 163–174.
ICALPICALP-v2-2009-PuglieseTY
On Observing Dynamic Prioritised Actions in SOC (RP, FT, NY), pp. 558–570.
LATALATA-2009-BucciL #image #product line #word
On a Family of Morphic Images of Arnoux-Rauzy Words (MB, ADL), pp. 259–266.
LATALATA-2009-CarleN #regular expression
On Extended Regular Expressions (BC, PN), pp. 279–289.
LATALATA-2009-MitranaT #network
On Accepting Networks of Evolutionary Processors with at Most Two Types of Nodes (VM, BT), pp. 588–600.
LATALATA-2009-Nicaud #automaton
On the Average Size of Glushkov’s Automata (CN), pp. 626–637.
LATALATA-2009-PardubskaPO #automaton #communication #correctness #parallel
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata (DP, MP, FO), pp. 660–671.
FMFM-2009-BonakdarpourK #bound #complexity
On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery (BB, SSK), pp. 660–675.
FMFM-2009-DaylightS #case study #design
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study (EGD, SKS), pp. 273–288.
TLCATLCA-2009-BasaldellaT #logic
On the Meaning of Logical Completeness (MB, KT), pp. 50–64.
TLCATLCA-2009-Riba
On the Values of Reducibility Candidates (CR), pp. 264–278.
CoGCIG-2009-Boumaza #evolution
On the evolution of artificial Tetris players (AMB), pp. 387–393.
CoGCIG-2009-LopezO #locality #permutation #problem
On the effects of locality in a permutation problem: The Sudoku Puzzle (EGL, MO0), pp. 80–87.
DiGRADiGRA-2009-WaernD
On the Edge of Reality: Reality Fiction in 'Sanningen om Marika' (AW, MD).
CHICHI-2009-IsbisterH #challenge #design #evaluation #human-computer
On being supple: in search of rigor without rigidity in meeting new design and evaluation challenges for HCI practitioners (KI, KH), pp. 2233–2242.
CHICHI-2009-TalbotC #distance #representation
On the audio representation of distance for blind users (MT, WC), pp. 1839–1848.
HCIDHM-2009-WuLYSD
On Improving Provider Decision Making with Enhanced Computerized Clinical Reminders (SjW, MRL, YY, JJS, BND), pp. 569–577.
HCIHCI-NT-2009-SuzukiMSANYF #estimation #performance #using
On the Possibility about Performance Estimation Just before Beginning a Voluntary Motion Using Movement Related Cortical Potential (SS, TM, YS, KA, NN, TY, SF), pp. 184–191.
ICEISICEIS-HCI-2009-GarciaMDDSCBS #case study #collaboration #community #evaluation #web
On Collaborative Software for Web Communities Evaluation — A Case Study (LSG, DFM, JD, AID, MSS, MAC, LCEDB, FS), pp. 61–65.
ICEISICEIS-SAIC-2009-PetersA #analysis #platform #trust
On the Helpfulness of Product Reviews — An Analysis of Customer-to-Customer Trust on eShop-Platforms (GP, VA), pp. 41–46.
CIKMCIKM-2009-Baeza-YatesGJPT #multi #web
On the feasibility of multi-site web search engines (RABY, AG, FJ, VP, LT), pp. 425–434.
CIKMCIKM-2009-ChenBRT #adaptation #effectiveness #similarity
On domain similarity and effectiveness of adapting-to-rank (KC, JB, SR, BLT), pp. 1601–1604.
ECIRECIR-2009-Barron-CedenoR #automation #comparison #detection #n-gram
On Automatic Plagiarism Detection Based on n-Grams Comparison (ABC, PR), pp. 696–700.
ICMLICML-2009-KumarMT #approximate #composition
On sampling-based approximate spectral decomposition (SK, MM, AT), pp. 553–560.
ICMLICML-2009-ZhuX #markov #network
On primal and dual sparsity of Markov networks (JZ, EPX), pp. 1265–1272.
KDDKDD-2009-ChierichettiKLMPR #network #social
On compressing social networks (FC, RK, SL, MM, AP, PR), pp. 219–228.
KDDKDD-2009-LappasAPKG #documentation #sequence
On burstiness-aware search for document sequences (TL, BA, MP, DK, DG), pp. 477–486.
KDDKDD-2009-LiL #privacy #trade-off
On the tradeoff between privacy and utility in data publishing (TL, NL), pp. 517–526.
KEODKEOD-2009-TatsiopoulosBS #ontology
On Aligning Interesting Parts of Ontologies (CT, BB, KS), pp. 363–367.
MLDMMLDM-2009-Calliess
On Fixed Convex Combinations of No-Regret Learners (JPC), pp. 494–504.
RecSysRecSys-2009-SeyerlehnerFW #recommendation
On the limitations of browsing top-N recommender systems (KS, AF, GW), pp. 321–324.
SIGIRSIGIR-2009-Carterette #correlation #distance #rank #ranking
On rank correlation and the distance between rankings (BC), pp. 436–443.
SIGIRSIGIR-2009-CormackC #email
On the relative age of spam and ham training samples for email filtering (GVC, JMMdC), pp. 744–745.
SIGIRSIGIR-2009-DonmezSB
On the local optimality of λRank (PD, KMS, CJCB), pp. 460–467.
SIGIRSIGIR-2009-KonstasSJ #collaboration #network #recommendation #social
On social networks and collaborative recommendation (IK, VS, JMJ), pp. 195–202.
SIGIRSIGIR-2009-MacdonaldO #documentation #ranking
On perfect document rankings for expert search (CM, IO), pp. 740–741.
SIGIRSIGIR-2009-McCreadieMO #pipes and filters
On single-pass indexing with MapReduce (RM, CM, IO), pp. 742–743.
SIGIRSIGIR-2009-TatikondaJCP #manycore #performance
On efficient posting list intersection with multicore processors (ST, FJ, BBC, VP), pp. 738–739.
ECMFAECMDA-FA-2009-SadovykhVGHGE
On Study Results: Round Trip Engineering of Space Systems (AS, LV, EG, AH, JG, OE), pp. 265–276.
ECMFAECMDA-FA-2009-TisiJFCB #higher-order #model transformation #using
On the Use of Higher-Order Model Transformations (MT, FJ, PF, SC, JB), pp. 18–33.
SPLCSPLC-2009-KastnerARRBS #analysis #case study #problem
On the impact of the optional feature problem: analysis and case studies (CK, SA, SSuR, MR, DSB, GS), pp. 181–190.
OOPSLAOOPSLA-2009-Cook #abstraction #comprehension #revisited
On understanding data abstraction, revisited (WRC), pp. 557–572.
TOOLSTOOLS-EUROPE-2009-WimmerSBKK #framework #self
On Realizing a Framework for Self-tuning Mappings (MW, MS, PB, HK, GK), pp. 1–16.
AdaEuropeAdaEurope-2009-LauY #logic #testing
On Comparing Testing Criteria for Logical Decisions (MFL, YTY), pp. 44–58.
LOPSTRLOPSTR-2009-Seki #induction #proving
On Inductive and Coinductive Proofs via Unfold/Fold Transformations (HS), pp. 82–96.
PADLPADL-2009-PereiraDL #abduction #modelling
On Preferring and Inspecting Abductive Models (LMP, PD, GL), pp. 1–15.
PPDPPPDP-2009-GabbrielliMM #power of
On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.
QAPLQAPL-2009-GiroD #distributed #power of #probability
On the Expressive Power of Schedulers in Distributed Probabilistic Systems (SG, PRD), pp. 45–71.
AdaSIGAda-2009-Barkstrom #ada #algorithm #concurrent #multi #problem #using
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms (BRB), pp. 61–72.
RERE-2009-CarvalloF #component #process #requirements #using
On the Use of Requirements for Driving Call-for-Tender Processes for Procuring Coarse-grained OTS Components (JPC, XF), pp. 287–292.
ESEC-FSEESEC-FSE-2009-CataldoN #analysis #empirical #maturity #process #quality
On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality (MC, SN), pp. 101–110.
SACSAC-2009-GiroD #automaton #probability #verification
On the verification of probabilistic I/O automata with unspecified rates (SG, PRD), pp. 582–586.
SACSAC-2009-KahvedzicK #data type #persistent
On the persistence of deleted windows registry data structures (DK, MTK), pp. 895–896.
SACSAC-2009-KerschbaumDSB #communication #complexity #multi #protocol
On the practical importance of communication complexity for secure multi-party computation protocols (FK, DD, AS, DB), pp. 2008–2015.
SACSAC-2009-LaiRC #embedded #realtime #scheduling
On scheduling soft real-time tasks with lock-free synchronization for embedded devices (SL, BR, HC), pp. 1685–1686.
SACSAC-2009-LavorLMM #distance #geometry #problem #subclass
On a discretizable subclass of instances of the molecular distance geometry problem (CL, LL, AM, NM), pp. 804–805.
SACSAC-2009-Stanclova #complexity
On the complexity of hierarchical associative memories (JS), pp. 908–913.
DACDAC-2009-YuanX #identification #pseudo #testing
On systematic illegal state identification for pseudo-functional testing (FY, QX), pp. 702–707.
DATEDATE-2009-BernasconiCTV
On decomposing Boolean functions via extended cofactoring (AB, VC, GT, TV), pp. 1464–1469.
DATEDATE-2009-FahmyRJ #bound #distributed #memory management #multi #realtime #transaction
On bounding response times under software transactional memory in distributed multiprocessor real-time systems (SFF, BR, EDJ), pp. 688–693.
DATEDATE-2009-LiCSSS #analysis #statistics
On hierarchical statistical static timing analysis (BL, NC, MS, WS, US), pp. 1320–1325.
DATEDATE-2009-Schat #fault
On the relationship between stuck-at fault coverage and transition fault coverage (JS), pp. 1218–1221.
DATEDATE-2009-SreedharK #analysis
On linewidth-based yield analysis for nanometer lithography (AS, SK), pp. 381–386.
DATEDATE-2009-VillenaCIS #modelling #parametricity #performance #reduction
On the efficient reduction of complete EM based parametric models (JFV, GC, DI, LMS), pp. 1172–1177.
PDPPDP-2009-AchourNS #adaptation #algorithm #clustering #modelling #performance #using
On the Use of Performance Models for Adaptive Algorithm Selection on Heterogeneous Clusters (SA, WN, LAS), pp. 85–89.
FASEFASE-2009-Kosiuczenko #implementation
On the Implementation of @pre (PK), pp. 246–261.
FoSSaCSFoSSaCS-2009-AlurDMW
On ω-Languages Defined by Mean-Payoff Conditions (RA, AD, OM, GW), pp. 333–347.
FoSSaCSFoSSaCS-2009-ArandaVV #power of #replication #strict
On the Expressive Power of Restriction and Priorities in CCS with Replication (JA, FDV, CV), pp. 242–256.
FoSSaCSFoSSaCS-2009-BroadbentO #higher-order #model checking #recursion
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (CHB, CHLO), pp. 107–121.
FoSSaCSFoSSaCS-2009-Leivant #logic
On the Completeness of Dynamic Logic (DL), pp. 78–91.
FoSSaCSFoSSaCS-2009-Smith #data flow
On the Foundations of Quantitative Information Flow (GS), pp. 288–302.
STOCSTOC-2009-DaskalakisP #equilibrium #nash
On oblivious PTAS’s for nash equilibrium (CD, CHP), pp. 75–84.
STOCSTOC-2009-DodisKL #encryption
On cryptography with auxiliary input (YD, YTK, SL), pp. 621–630.
STOCSTOC-2009-DworkNRRV #algorithm #complexity #performance
On the complexity of differentially private data release: efficient algorithms and hardness results (CD, MN, OR, GNR, SPV), pp. 381–390.
STOCSTOC-2009-Even-DarMN #convergence #game studies
On the convergence of regret minimization dynamics in concave games (EED, YM, UN), pp. 523–532.
STOCSTOC-2009-GoldreichR #proximity #testing
On proximity oblivious testing (OG, DR), pp. 141–150.
STOCSTOC-2009-KushilevitzW #communication #complexity
On the complexity of communication complexity (EK, EW), pp. 465–474.
STOCSTOC-2009-LeeS #geometry #graph
On the geometry of graphs with a forbidden minor (JRL, AS), pp. 245–254.
CADECADE-2009-BonacinaLM #proving #satisfiability #theorem proving
On Deciding Satisfiability by DPLL(G+T) and Unsound Theorem Proving (MPB, CL, LMdM), pp. 35–50.
CAVCAV-2009-FuhrmannH #bound #induction #proving
On Extending Bounded Proofs to Inductive Proofs (OF, SH), pp. 278–290.
CAVCAV-2009-Monniaux #float #linear #using
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure (DM), pp. 570–583.
CSLCSL-2009-BlanquiR #semantics #termination
On the Relation between Sized-Types Based Termination and Semantic Labelling (FB, CR), pp. 147–162.
CSLCSL-2009-CockettS #communication #problem #word
On the Word Problem for ΣΠ-Categories, and the Properties of Two-Way Communication (JRBC, LS), pp. 194–208.
CSLCSL-2009-GuoWXC #model checking
On Model Checking Boolean BI (HG, HW, ZX, YC), pp. 302–316.
CSLCSL-2009-Kreutzer #higher-order #logic #monad
On the Parameterised Intractability of Monadic Second-Order Logic (SK), pp. 348–363.
CSLCSL-2009-Weber #complexity #logic
On the Complexity of Branching-Time Logics (VW), pp. 530–545.
ICLPICLP-2009-GebserKKS #constraints #implementation
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.
ICSTICST-2009-LeitnerPMMO #effectiveness
On the Effectiveness of Test Extraction without Overhead (AL, AP, SM, BM, MO), pp. 416–425.
LICSLICS-2009-GollerMT #complexity #process #verification
On the Computational Complexity of Verifying One-Counter Processes (SG, RM, AWT), pp. 235–244.
LICSLICS-2009-KieronskiT #equivalence #finite #first-order #logic #satisfiability
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations (EK, LT), pp. 123–132.
MBTMBT-2009-DadeauLH #automaton #generative #random #testing #using
On the Use of Uniform Random Generation of Automata for Testing (FD, JL, PCH), pp. 37–51.
ICSTSAT-2009-PorschenSS #aspect-oriented
On Some Aspects of Mixed Horn Formulas (SP, TS, ES), pp. 86–100.
ECSAECSA-2008-BatistaGCCG #aspect-oriented #configuration management
On the Interplay of Aspects and Dynamic Reconfiguration in a Specification-to-Deployment Environment (TVB, ATAG, GC, CC, AG), pp. 314–317.
ECSAECSA-2008-CapillaB #architecture #design #product line
On the Role of Architectural Design Decisions in Software Product Line Engineering (RC, MAB), pp. 241–255.
WICSAWICSA-2008-MolesiniGCB #analysis #architecture
On the Quantitative Analysis of Architecture Stability in Aspectual Decompositions (AM, AFG, CvFGC, TVB), pp. 29–38.
JCDLJCDL-2008-Bani-AhmadO #library
On content-driven search-keyword suggesters for literature digital libraries (SBA, GÖ), pp. 21–24.
PODSPODS-2008-FerraginaGGSV #string
On searching compressed string collections cache-obliviously (PF, RG, AG, RS, JSV), pp. 181–190.
PODSPODS-2008-SenellartG #complexity #database
On the complexity of deriving schema mappings from database instances (PS, GG), pp. 23–32.
SIGMODSIGMOD-2008-VlachouDNV #distributed #performance #query
On efficient top-k query processing in highly distributed environments (AV, CD, KN, MV), pp. 753–764.
VLDBVLDB-2008-GolabKKSY #dependence #functional #generative
On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.
VLDBVLDB-2008-HuangCDN #query
On the provenance of non-answers to queries over extracted data (JH, TC, AD, JFN), pp. 736–747.
VLDBVLDB-2008-SherkatR
On efficiently searching trajectories and archival data for historical similarities (RS, DR), pp. 896–908.
CSMRCSMR-2008-FigueiredoSGBCM #aspect-oriented #framework #maintenance #metric
On the Maintainability of Aspect-Oriented Software: A Concern-Oriented Measurement Framework (EF, CS, AG, TTB, WC, AM), pp. 183–192.
ICPCICPC-2008-HaiducM #source code #using
On the Use of Domain Terms in Source Code (SH, AM), pp. 113–122.
ICSMEICSM-2008-KothariBMS #algebra #development #performance #using
On evaluating the efficiency of software feature development using algebraic manifolds (JK, DB, SM, AS), pp. 7–16.
MSRMSR-2008-RatzingerSG #fault #predict #refactoring
On the relation of refactorings and software defect prediction (JR, TS, HCG), pp. 35–38.
SCAMSCAM-2008-BoogerdM #analysis #data flow #profiling #using
On the Use of Data Flow Analysis in Static Profiling (CB, LM), pp. 79–88.
DLTDLT-J-2007-Link08 #database #dependence #multi
On the Implication of Multivalued Dependencies in Partial Database Relations (SL), pp. 691–715.
DLTDLT-J-2007-Tamm08 #automaton
On Transition Minimality of Bideterministic Automata (HT), pp. 677–690.
AFLAFL-2008-KutribMO #automaton
On Stateless Two-Pushdown Automata and Restarting Automata (MK, HM, FO), pp. 257–268.
AFLAFL-2008-MasopustM #automaton #multi
On Pure Multi-Pushdown Automata that Perform Complete-Pushdown Pops (TM, AM), pp. 325–336.
CIAACIAA-2008-DolzhenkoJ #2d #complexity #transducer
On Complexity of Two Dimensional Languages Generated by Transducers (ED, NJ), pp. 181–190.
DLTDLT-2008-Ada #communication #complexity #nondeterminism #regular expression
On the Non-deterministic Communication Complexity of Regular Languages (AA), pp. 96–107.
DLTDLT-2008-BordihnKM #automaton #capacity #communication #finite #parallel
On the Computational Capacity of Parallel Communicating Finite Automata (HB, MK, AM), pp. 146–157.
DLTDLT-2008-BucciLL #morphism #standard
On a Generalization of Standard Episturmian Morphisms (MB, AdL, ADL), pp. 158–169.
DLTDLT-2008-HolubN #finite #word
On the Relation between Periodicity and Unbordered Factors of Finite Words (SH, DN), pp. 408–418.
DLTDLT-2008-HromkovicS #automaton #bound #nondeterminism #proving
On the Hardness of Determining Small NFA’s and of Proving Lower Bounds on Their Sizes (JH, GS), pp. 34–55.
DLTDLT-2008-Jiraskova #complexity #regular expression
On the State Complexity of Complements, Stars, and Reversals of Regular Languages (GJ), pp. 431–442.
DLTDLT-2008-JiraskovaO #automaton #complexity #finite
On the State Complexity of Operations on Two-Way Finite Automata (GJ, AO), pp. 443–454.
DLTDLT-2008-KapoutsisKM #automaton #complexity
On the Size Complexity of Rotating and Sweeping Automata (CAK, RK, TM), pp. 455–466.
DLTDLT-2008-Souza #decidability #equivalence #transducer
On the Decidability of the Equivalence for k-Valued Transducers (RdS), pp. 252–263.
ICALPICALP-A-2008-AlbersL #locality
On List Update with Locality of Reference (SA, SL), pp. 96–107.
ICALPICALP-A-2008-BodlaenderDFH #kernel #polynomial #problem
On Problems without Polynomial Kernels (HLB, RGD, MRF, DH), pp. 563–574.
ICALPICALP-A-2008-BorosEM #multi
On Berge Multiplication for Monotone Boolean Dualization (EB, KME, KM), pp. 48–59.
ICALPICALP-A-2008-KrokhinM
On the Hardness of Losing Weight (AAK, DM), pp. 662–673.
ICALPICALP-B-2008-BoigelotBB #automaton #finite #multi #set
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases (BB, JB, VB), pp. 112–123.
ICALPICALP-B-2008-BouyerMOW #complexity #model checking #realtime
On Expressiveness and Complexity in Real-Time Model Checking (PB, NM, JO, JW), pp. 124–135.
ICALPICALP-B-2008-DawarK #datalog
On Datalog vs. LFP (AD, SK), pp. 160–171.
ICALPICALP-B-2008-JezO #equation #set
On the Computational Completeness of Equations over Sets of Natural Numbers (AJ, AO), pp. 63–74.
ICALPICALP-C-2008-AltmannJR #black box #integer
On Black-Box Ring Extraction and Integer Factorization (KA, TJ, AR), pp. 437–448.
ICALPICALP-C-2008-HochS
On the Strength of the Concatenated Hash Combiner When All the Hash Functions Are Weak (JJH, AS), pp. 616–630.
LATALATA-2008-Altenbernd
On Bifix Systems and Generalizations (JHA), pp. 40–51.
LATALATA-2008-Kahramanogullari #concurrent #linear #logic
On Linear Logic Planning and Concurrency (OK), pp. 250–262.
LATALATA-2008-KallmeyerP #component #multi #tuple
On the Relation between Multicomponent Tree Adjoining Grammars with Tree Tuples (TT-MCTAG) and Range Concatenation Grammars (RCG) (LK, YP), pp. 263–274.
LATALATA-2008-Leupold #string #term rewriting
On Regularity-Preservation by String-Rewriting Systems (PL), pp. 345–356.
LATALATA-2008-MoriyaO
On Alternating Phrase-Structure Grammars (EM, FO), pp. 397–408.
LATALATA-2008-Puzynina #2d #word
On Periodicity of Generalized Two-Dimensional Words (SP), pp. 440–451.
LATALATA-2008-RegnaultST #2d #analysis #automaton #probability
On the Analysis of “Simple” 2D Stochastic Cellular Automata (DR, NS, ET), pp. 452–463.
RTARTA-2008-Ketema #combinator #normalisation #reduction
On Normalisation of Infinitary Combinatory Reduction Systems (JK), pp. 172–186.
FLOPSFLOPS-2008-AbelCD #algebra #proving #type system
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory (AA, TC, PD), pp. 3–13.
GT-VMTGT-VMT-2006-Willink08 #approach #challenge #visual notation
On Challenges for a Graphical Transformation Notation and the UMLX Approach (EDW), pp. 171–179.
GT-VMTGT-VMT-2008-RensinkK #diagrams #graph #semantics #uml
On a Graph-Based Semantics for UML Class and Object Diagrams (AR, AK).
ICGTICGT-2008-BrugginkK #graph
On the Recognizability of Arrow and Graph Languages (HJSB, BK), pp. 336–350.
ICGTICGT-2008-JelinkovaK #graph
On Switching to H-Free Graphs (EJ, JK), pp. 379–395.
CHICHI-2008-VertanenK #recognition #speech #visualisation
On the benefits of confidence visualization in speech recognition (KV, POK), pp. 1497–1500.
CAiSECAiSE-2008-HaesenSLP #architecture
On the Definition of Service Granularity and Its Architectural Impact (RH, MS, WL, SP), pp. 375–389.
CAiSECAiSE-2008-KhanGGR #architecture #case study #dependence #evolution
On the Impact of Evolving Requirements-Architecture Dependencies: An Exploratory Study (SSK, PG, AG, AR), pp. 243–257.
CAiSECAiSE-2008-KumaranLW #modelling #process
On the Duality of Information-Centric and Activity-Centric Models of Business Processes (SK, RL, FYW), pp. 32–47.
CAiSECAiSE-2008-MutschlerR #information management #modelling
On Modeling and Analyzing Cost Factors in Information Systems Engineering (BM, MR), pp. 510–524.
CAiSECAiSE-2008-VanderfeestenRMAC #metric #modelling #process
On a Quest for Good Process Models: The Cross-Connectivity Metric (ITPV, HAR, JM, WMPvdA, JC), pp. 480–494.
EDOCEDOC-2008-OrriensY #collaboration #quality #specification
On the Specification and Negotiation of Quality of Service for Collaborative Services (BO, JY), pp. 316–322.
EDOCEDOC-2008-ZhuST #architecture
On Creating Industry-Wide Reference Architectures (LZ, MS, VT), pp. 24–30.
ICEISICEIS-AIDSS-2008-LampertiVZ #similarity
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems (GL, FV, MZ), pp. 44–53.
ICEISICEIS-ISAS2-2008-BreemenS #concept #process
On Conceptualization as a Systematic Process (AJJvB, JJS), pp. 37–42.
CIKMCIKM-2008-ChenLYH #approach #effectiveness #graph
On effective presentation of graph patterns: a structural representative approach (CC, CXL, XY, JH), pp. 299–308.
CIKMCIKM-2008-ChoudharyMB #dataset #evolution
On quantifying changes in temporally evolving dataset (RC, SM, AB), pp. 1459–1460.
CIKMCIKM-2008-LuLH #random #similarity
On low dimensional random projections and similarity search (YEL, PL, SH), pp. 749–758.
ICMLICML-2008-KohliSRKT #multi
On partial optimality in multi-label MRFs (PK, AS, CR, VK, PHST), pp. 480–487.
ICMLICML-2008-NarayanamurthyR #markov #process #symmetry
On the hardness of finding symmetries in Markov decision processes (SMN, BR), pp. 688–695.
ICMLICML-2008-PalatucciC #classification #scalability
On the chance accuracies of large collections of classifiers (MP, AC), pp. 744–751.
ICMLICML-2008-SalakhutdinovM #analysis #network
On the quantitative analysis of deep belief networks (RS, IM), pp. 872–879.
ICMLICML-2008-WangZ #learning #multi
On multi-view active learning and the combination with semi-supervised learning (WW, ZHZ), pp. 1152–1159.
ICPRICPR-2008-DuinP #difference #learning #matrix
On refining dissimilarity matrices for an improved NN learning (RPWD, EP), pp. 1–4.
ICPRICPR-2008-HanburyS #evaluation #metric #segmentation
On segmentation evaluation metrics and region counts (AH, JS), pp. 1–4.
ICPRICPR-2008-Hernandez-RodriguezTC #classification #prototype
On the selection of base prototypes for LAESA and TLAESA classifiers (SHR, JFMT, JACO), pp. 1–4.
ICPRICPR-2008-LevadaMT #image #markov #modelling #probability #random
On the asymptotic variances of Gaussian Markov Random Field model hyperparameters in stochastic image modeling (ALML, NDAM, AT), pp. 1–4.
ICPRICPR-2008-PohK #authentication #bound #fault #multimodal #using
On using error bounds to optimize cost-sensitive multimodal biometric authentication (NP, JK), pp. 1–4.
ICPRICPR-2008-RebecchiJ #string
On the gaussian distribution of strings (SR, JMJ), pp. 1–4.
ICPRICPR-2008-UedaT #locality #scalability #using
On the scalability of robot localization using high-dimensional features (TU, KT), pp. 1–4.
ICPRICPR-2008-WangWFZ #adaptation
On edge structure based adaptive observation model for facial feature tracking (XW, YW, XF, MZ), pp. 1–4.
KDDKDD-2008-MadaniH #learning
On updates that constrain the features’ connections during learning (OM, JH), pp. 515–523.
KRKR-2008-EyerichBN #complexity
On the Complexity of Planning Operator Subsumption (PE, MB, BN), pp. 518–527.
KRKR-2008-LeeM
On Loop Formulas with Variables (JL, YM), pp. 444–453.
KRKR-2008-Meyden #distributed
On Notions of Causality and Distributed Knowledge (RvdM), pp. 209–219.
KRKR-2008-RogerHN
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle (GR, MH, BN), pp. 544–550.
SEKESEKE-2008-KhoshgoftaarSD #knowledge-based #modelling #quality
On the Rarity of Fault-prone Modules in Knowledge-based Software Quality Modeling (TMK, NS, DJD), pp. 279–284.
SIGIRSIGIR-2008-GoharianM #detection #documentation
On document splitting in passage detection (NG, SSRM), pp. 833–834.
SIGIRSIGIR-2008-LiuA #community #evolution #exclamation
On the evolution of the yahoo! answers QA community (YL, EA), pp. 737–738.
SIGIRSIGIR-2008-LuoT
On iterative intelligent medical search (GL, CT), pp. 3–10.
SIGIRSIGIR-2008-MerhavF #multi #peer-to-peer #ranking
On multiword entity ranking in peer-to-peer search (YM, OF), pp. 859–860.
ICMTICMT-2008-WongG #empirical #specification #visualisation
On Specifying and Visualising Long-Running Empirical Studies (PYHW, JG), pp. 76–90.
ECOOPECOOP-2008-SevcikA #java #memory management #program transformation
On Validity of Program Transformations in the Java Memory Model (JS, DA), pp. 27–51.
TOOLSTOOLS-EUROPE-2008-BishopH #c# #design pattern #performance
On the Efficiency of Design Patterns Implemented in C# 3.0 (JB, RNH), pp. 356–371.
AdaEuropeAdaEurope-2008-OberH #verification
On the Timed Automata-Based Verification of Ravenscar Systems (IO, NH), pp. 30–43.
LOPSTRLOPSTR-2008-Seki #semantics #set
On Negative Unfolding in the Answer Set Semantics (HS), pp. 168–184.
POPLPOPL-2008-Laud #encryption
On the computational soundness of cryptographically masked flows (PL), pp. 337–348.
QAPLQAPL-2008-Bortolussi #approximate #concurrent #constraints #equation #probability #programming
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (LB), pp. 163–180.
SASSAS-2008-CominiDV #abstract interpretation #polymorphism #recursion #type system
On Polymorphic Recursion, Type Systems, and Abstract Interpretation (MC, FD, SV), pp. 144–158.
FSEFSE-2008-FischbeinU #behaviour #modelling
On correct and complete strong merging of partial behaviour models (DF, SU), pp. 297–307.
ICSEICSE-2008-LungAEW #re-engineering
On the difficulty of replicating human subjects studies in software engineering (JL, JA, SME, GVW), pp. 191–200.
SACSAC-2008-Al-MansariHU #semantics
On to formal semantics for path expression pointcuts (MAM, SH, RU), pp. 271–275.
SACSAC-2008-CramptonK #execution #modelling #workflow
On delegation and workflow execution models (JC, HK), pp. 2137–2144.
SACSAC-2008-Deba #approach #model transformation #modelling #transducer
On the conformity of models: a transducer-based approach for model transformation (EAD), pp. 791–796.
SACSAC-2008-LinWZW #performance #persistent #web
On the performance of persistent connection in modern web servers (XzL, HyW, JjZ, YxW), pp. 2403–2408.
SACSAC-2008-MartinsB #realtime
On the meaning of modes in uniprocessor real-time systems (PM, AB), pp. 324–325.
SACSAC-2008-MerhavF #peer-to-peer
On filtering irrelevant results in peer-to-peer search (YM, OF), pp. 1171–1172.
SACSAC-2008-SalesAP #network #performance
On the performance of TCP, UDP and DCCP over 802.11 g networks (LMdS, HOdA, AP), pp. 2074–2078.
SACSAC-2008-SantosCGAT #network #performance
On the performance of employing presence services in P2P-based network management systems (CRPdS, SLC, LZG, MJBA, LMRT), pp. 2090–2094.
SACSAC-2008-SantosSMCSGAT #design #evaluation #network #performance
On the design and performance evaluation of notification support for P2P-based network management (CRPdS, LFDS, CCM, SLC, EMS, LZG, MJBA, LMRT), pp. 2057–2062.
SACSAC-2008-SilvaCGAY #adaptation #ubiquitous
On the control of adaptation in ubiquitous computing (LCdS, CAdC, CFRG, IA, ACY), pp. 2228–2229.
SACSAC-2008-StojanovicSM #concept #refinement
On the conceptual tag refinement (NS, LS, JM), pp. 2331–2335.
GPCEGPCE-2008-KimKB #composition #feature model #interactive
On the modularity of feature interactions (CHPK, CK, DSB), pp. 23–34.
CASECASE-2008-DasSPS #aspect-oriented #assembly #hybrid #precise
On the precision alignment and hybrid assembly aspects in manufacturing of a microspectrometer (AND, JS, DOP, HES), pp. 959–966.
CCCC-2008-LogozzoF #analysis #bytecode #source code
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis (FL, MF), pp. 197–212.
DACDAC-2008-HuangYX #composition #reliability #testing
On reliable modular testing with vulnerable test access mechanisms (LH, FY, QX), pp. 834–839.
DACDAC-2008-KrishnaswamyMH #design #logic #reliability
On the role of timing masking in reliable logic circuit design (SK, ILM, JPH), pp. 924–929.
DACDAC-2008-ReddyPL #detection #testing
On tests to detect via opens in digital CMOS circuits (SMR, IP, CL), pp. 840–845.
DATEDATE-2008-DubrovaTT #analysis #feedback #synthesis
On Analysis and Synthesis of (n, k)-Non-Linear Feedback Shift Registers (ED, MT, HT), pp. 1286–1291.
DATEDATE-2008-FreuerJGN #constraints #design #higher-order #verification
On the Verification of High-Order Constraint Compliance in IC Design (JBF, GJ, JG, WN), pp. 26–31.
DATEDATE-2008-KoN08a #automation #generative #validation
On Automated Trigger Event Generation in Post-Silicon Validation (HFK, NN), pp. 256–259.
DATEDATE-2008-SreedharSK #fault #modelling #testing
On Modeling and Testing of Lithography Related Open Faults in Nano-CMOS Circuits (AS, AS, SK), pp. 616–621.
DATEDATE-2008-SterponeATG #design #fault tolerance #safety
On the design of tunable fault tolerant circuits on SRAM-based FPGAs for safety critical applications (LS, MAA, JNT, HGM), pp. 336–341.
PDPPDP-2008-BollaCRS
On the Double-Faced Nature of P2P Traffic (RB, MC, RR, MS), pp. 524–530.
PPoPPPPoPP-2008-GuerraouiK #correctness #memory management #transaction
On the correctness of transactional memory (RG, MK), pp. 175–184.
FoSSaCSFoSSaCS-2008-BaierBG #automaton #probability #problem
On Decision Problems for Probabilistic Büchi Automata (CB, NB, MG), pp. 287–301.
STOCSTOC-2008-KalaiMV #learning
On agnostic boosting and parity learning (ATK, YM, EV), pp. 629–638.
STOCSTOC-2008-KhotS #learning
On hardness of learning intersection of two halfspaces (SK, RS), pp. 345–354.
STOCSTOC-2008-OrecchiaSVV #clustering #graph
On partitioning graphs via single commodity flows (LO, LJS, UVV, NKV), pp. 461–470.
STOCSTOC-2008-Rossman #clique #complexity
On the constant-depth complexity of k-clique (BR), pp. 721–730.
TACASTACAS-2008-FismanKL #distributed #fault tolerance #protocol #verification
On Verifying Fault Tolerance of Distributed Protocols (DF, OK, YL), pp. 315–331.
TACASTACAS-2008-IhlemannJS #reasoning #verification
On Local Reasoning in Verification (CI, SJ, VSS), pp. 265–281.
TACASTACAS-2008-LegayMOW #automation #probability #source code #verification
On Automated Verification of Probabilistic Programs (AL, ASM, JO, JW), pp. 173–187.
CSLCSL-2008-BrocheninDL
On the Almighty Wand (RB, SD, ÉL), pp. 323–338.
CSLCSL-2008-Dezani-CiancagliniCGT #morphism
On Isomorphisms of Intersection Types (MDC, RDC, EG, MT), pp. 461–477.
CSLCSL-2008-KotekMZ
On Counting Generalized Colorings (TK, JAM, BZ), pp. 339–353.
CSLCSL-2008-Saurin #λ-calculus #μ-calculus
On the Relations between the Syntactic Theories of λμ-Calculi (AS), pp. 154–168.
ICLPICLP-2008-Cipriano #constraints #modelling #programming #tool support
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools (RC), pp. 803–804.
ICLPICLP-2008-KimmigCRDR #execution #performance #source code
On the Efficient Execution of ProbLog Programs (AK, VSC, RR, BD, LDR), pp. 175–189.
ICLPICLP-2008-MarekR
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (VWM, JBR), pp. 223–237.
ICSTICST-2008-CiupaPLOM #object-oriented #predict #random testing #testing
On the Predictability of Random Tests for Object-Oriented Software (IC, AP, AL, MO, BM), pp. 72–81.
ICSTICST-2008-SenBM #model transformation #modelling #multi #testing
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (SS, BB, JMM), pp. 328–337.
IJCARIJCAR-2008-HofnerS #automation #calculus
On Automating the Calculus of Relations (PH, GS), pp. 50–66.
LICSLICS-2008-AehligB #complexity
On the Computational Complexity of Cut-Reduction (KA, AB), pp. 284–293.
LICSLICS-2008-ChadhaSV #complexity #finite #monitoring
On the Expressiveness and Complexity of Randomization in Finite State Monitors (RC, APS, MV), pp. 18–29.
LICSLICS-2008-ChenF #axiom #equivalence
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence (TC, WF), pp. 156–165.
LICSLICS-2008-LanesePSS #calculus #decidability #higher-order #process
On the Expressiveness and Decidability of Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 145–155.
LICSLICS-2008-Riis #calculus #complexity #polynomial #proving
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity (SR), pp. 272–283.
VMCAIVMCAI-2008-Goldberg #simulation #verification
On Bridging Simulation and Formal Verification (EG), pp. 127–141.
ECSAECSA-2007-MolesiniGCB
On the Interplay of Crosscutting and MAS-Specific Styles (AM, AG, CC, TVB), pp. 317–320.
ECSAECSA-2007-SantAnnaFGL #architecture #composition #framework #metric
On the Modularity of Software Architectures: A Concern-Driven Measurement Framework (CS, EF, AFG, CJPdL), pp. 207–224.
TPDLECDL-2007-Bertoncini #case study #convergence #experience #library #towards
On the Move Towards the European Digital Library: BRICKS, TEL, MICHAEL and DELOS Converging Experiences (MB), pp. 440–441.
ICDARICDAR-2007-BhardwajSSS #using #verification
On the Use of Lexeme Features for Writer Verification (AB, AS, HS, SNS), pp. 1088–1092.
ICDARICDAR-2007-FinkP #modelling #recognition #using
On the Use of Context-Dependent Modeling Units for HMM-Based Offline Handwriting Recognition (GAF, TP), pp. 729–733.
ICDARICDAR-2007-FreireFMO #fuzzy
On the Applicability of Off-Line Signatures to the Fuzzy Vault Construction (MRF, JFA, MMD, JOG), pp. 1173–1177.
ICDARICDAR-2007-KumarKJ #documentation #segmentation
On Segmentation of Documents in Complex Scripts (KSSK, SK, CVJ), pp. 1243–1247.
ICDARICDAR-2007-Martinez-DiazFFO #verification
On The Effects of Sampling Rate and Interpolation in HMM-Based Dynamic Signature Verification (MMD, JFA, MRF, JOG), pp. 1113–1117.
ICDARICDAR-2007-NamboodiriNJ #using
On Using Classical Poetry Structure for Indian Language Post-Processing (AMN, PJN, CVJ), pp. 1238–1242.
ICDARICDAR-2007-SrinivasanKHS #verification
On Computing Strength of Evidence for Writer Verification (HS, SK, CH, SNS), pp. 844–848.
PODSPODS-2007-GiacomoLLR #data transformation #integration
On reconciling data exchange, data integration, and peer data management (GDG, DL, ML, RR), pp. 133–142.
PODSPODS-2007-SenellartA #complexity #probability #xml
On the complexity of managing probabilistic XML data (PS, SA), pp. 283–292.
SIGMODSIGMOD-2007-BeyerHRSG #estimation #multi
On synopses for distinct-value estimation under multiset operations (KSB, PJH, BR, YS, RG), pp. 199–210.
VLDBVLDB-2007-DDH #diagrams
On the Production of Anorexic Plan Diagrams (HD, PND, JRH), pp. 1081–1092.
VLDBVLDB-2007-LiTJE
On Dominating Your Neighborhood Profitably (CL, AKHT, WJ, ME), pp. 818–829.
VLDBVLDB-2007-WangYLLBIB #correctness #data access #database #fine-grained #relational
On the Correctness Criteria of Fine-Grained Access Control in Relational Databases (QW, TY, NL, JL, EB, KI, JWB), pp. 555–566.
VLDBVLDB-2007-WongTFX #performance
On Efficient Spatial Matching (RCWW, YT, AWCF, XX), pp. 579–590.
CSEETCSEET-2007-MeadHMRS #re-engineering #source code
On the Feasibility of Specialization within Software Engineering Degree Programs (NRM, TBH, JM, MR, DS), pp. 362–366.
ICSMEICSM-2007-HerraizGRG #evolution #predict
On the prediction of the evolution of libre software projects (IH, JMGB, GR, DMG), pp. 405–414.
SCAMSCAM-2007-LochbihlerS #dependence #graph
On Temporal Path Conditions in Dependence Graphs (AL, GS), pp. 49–58.
CIAACIAA-J-2006-CzeizlerK07 #equation #independence #word
On Non-Periodic Solutions of Independent Systems of Word Equations over Three Unknowns (EC, JK), pp. 873–897.
CIAACIAA-J-2006-SalomaaY07 #complexity #estimation
On the State Complexity of Combined Operations and their Estimation (KS, SY), pp. 683–698.
CIAACIAA-2007-CrochemoreEGM #automaton
On the Suffix Automaton with Mismatches (MC, CE, AG, FM), pp. 144–156.
CIAACIAA-2007-PeltolaT #string
On String Matching in Chunked Texts (HP, JT), pp. 157–167.
DLTDLT-2007-DiekertK #first-order #word
On First-Order Fragments for Words and Mazurkiewicz Traces (VD, MK), pp. 1–19.
DLTDLT-2007-Pritykin #sequence
On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases (YP), pp. 361–370.
DLTDLT-2007-Tamm #automaton
On Transition Minimality of Bideterministic Automata (HT), pp. 411–421.
ICALPICALP-2007-AtseriasBD #power of
On the Power of k -Consistency (AA, AAB, VD), pp. 279–290.
ICALPICALP-2007-BosnackiEGP #agile #commutative
On Commutativity Based Edge Lean Search (DB, EE, BG, DP), pp. 158–170.
ICALPICALP-2007-Coja-OghlanPS #graph #random
On the Chromatic Number of Random Graphs (ACO, KP, AS), pp. 777–788.
ICALPICALP-2007-LuTW #complexity #set
On the Complexity of Hard-Core Set Constructions (CJL, SCT, HLW), pp. 183–194.
ICALPICALP-2007-TorreP #complexity #model checking #recursion #state machine
On the Complexity of LtlModel-Checking of Recursive State Machines (SLT, GP), pp. 937–948.
LATALATA-2007-BordihnV
On leftmost derivations in CD grammar systems (HB, GV), pp. 187–198.
LATALATA-2007-DinuGM #automaton #word
On the syllabification of words via go-through automata (LPD, RG, FM), pp. 223–236.
LATALATA-2007-MesserschmidtO #automaton #nondeterminism
On Determinism Versus Non-Determinism for Restarting Automata (HM, FO), pp. 413–424.
LATALATA-2007-Nemeth #approach #comparative
On the Regularity of Binoid Languages: A Comparative Approach (ZLN), pp. 449–460.
LATALATA-2007-StawikowskaO
On Star-Free Trace Languages and their Lexicographic Representations (KS, EO), pp. 541–552.
RTARTA-2007-HendrixM #order #specification
On the Completeness of Context-Sensitive Order-Sorted Specifications (JH, JM), pp. 229–245.
RTARTA-2007-Pfenning #logic
On a Logical Foundation for Explicit Substitutions (FP), p. 19.
RTARTA-2007-Vaux #linear
On Linear Combinations of λ-Terms (LV), pp. 374–388.
TLCATLCA-2007-Pfenning #logic
On a Logical Foundation for Explicit Substitutions (FP), p. 1.
ICFPICFP-2007-DanvyS
On Barron and Strachey’s cartesian product function (OD, JMS), pp. 41–46.
CoGCIG-2007-RiedmillerG #case study #experience #game studies #learning
On Experiences in a Complex and Competitive Gaming Domain: Reinforcement Learning Meets RoboCup (MAR, TG), pp. 17–23.
HCIHIMI-MTT-2007-ChoBKC #difference #probability #using
On Achieving Proportional Loss Differentiation Using Dynamic-MQDDP with Differential Drop Probability (KC, SB, JK, JWC), pp. 584–593.
CAiSECAiSE-2007-CappielloCP #automation #generative #web #web service
On Automated Generation of Web Service Level Agreements (CC, MC, PP), pp. 264–278.
CAiSECAiSE-2007-RollandKK #architecture
On ISOA: Intentional Services Oriented Architecture (CR, RSK, NK), pp. 158–172.
EDOCEDOC-2007-QuartelS #assessment #composition #consistency
On Interoperability and Conformance Assessment in Service Composition (DACQ, MvS), pp. 229–240.
ICEISICEIS-DISI-2007-CarterO #correctness #workflow
On correctness criteria for workflow (BMC, MEO), pp. 315–322.
ICEISICEIS-EIS-2007-MaLO #process #workflow
On Grouping of Activities Instances in Workflow Management Systems (DCM, JYCL, MEO), pp. 125–130.
ICEISICEIS-EIS-2007-Sarbo #logic
On the Logic Underlying Common Sense (JJS), pp. 395–400.
ICEISICEIS-J-2007-CarreiraGPW07a #relational
On Handling One-to-Many Transformations in Relational Systems (PC, HG, JLMP, AW), pp. 121–134.
ECIRECIR-2007-Robertson07a
On Score Distributions and Relevance (SR), pp. 40–51.
ICMLICML-2007-KropotovV #learning
On one method of non-diagonal regularization in sparse Bayesian learning (DK, DV), pp. 457–464.
ICMLICML-2007-SuttonKS
On the role of tracking in stationary environments (RSS, AK, DS), pp. 871–878.
ICMLICML-2007-WangYF #difference #learning
On learning with dissimilarity functions (LW, CY, JF), pp. 991–998.
ICMLICML-2007-XuF #learning #linear #ranking
On learning linear ranking functions for beam search (YX, AF), pp. 1047–1054.
ICMLICML-2007-ZhangY #classification #consistency #constraints
On the value of pairwise constraints in classification and consistency (JZ, RY), pp. 1111–1118.
ICMLICML-2007-ZhouX #learning #multi
On the relation between multi-instance learning and semi-supervised learning (ZHZ, JMX), pp. 1167–1174.
KDDKDD-2007-AggarwalY #classification #data type #string
On string classification in data streams (CCA, PSY), pp. 36–45.
MLDMMLDM-2007-EkdahlK #classification #learning
On Concentration of Discrete Distributions with Applications to Supervised Learning of Classifiers (ME, TK), pp. 2–16.
MLDMMLDM-2007-LeeP #multi #problem #reduction
On Applying Dimension Reduction for Multi-labeled Problems (ML, CHP), pp. 131–143.
MLDMMLDM-2007-SzepannekBW #classification
On the Combination of Locally Optimal Pairwise Classifiers (GS, BB, CW), pp. 104–116.
SEKESEKE-2007-ChenKL #adaptation #random testing #testing
On Test Case Distributions of Adaptive Random Testing (TYC, FCK, HL), pp. 141–144.
SEKESEKE-2007-ZachariasA #debugging #rule-based
On Modern Debugging For Rule-Based Systems (VZ, AA), pp. 349–353.
SIGIRSIGIR-2007-BompadaCCKS #metric #robust
On the robustness of relevance measures with incomplete judgments (TB, CCC, JC, RK, RS), pp. 359–366.
SIGIRSIGIR-2007-SchuldtGOH #retrieval
On the importance of preserving the part-order in shape retrieval (AS, BG, OO, OH), pp. 771–772.
MODELSMoDELS-2007-GasevicKH #megamodelling #metamodelling
On Metamodeling in Megamodels (DG, NK, MH), pp. 91–105.
MODELSMoDELS-2007-GasevicKH #megamodelling #metamodelling
On Metamodeling in Megamodels (DG, NK, MH), pp. 91–105.
ECOOPECOOP-2007-GreenwoodBFDGCSSBKR #design #empirical
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study (PG, TTB, EF, MD, AFG, NC, CS, SS, PB, UK, AR), pp. 176–200.
AdaEuropeAdaEurope-2007-LauLCY #detection #fault
On Detecting Double Literal Faults in Boolean Expressions (MFL, YL, TYC, YTY), pp. 55–68.
PADLPADL-2007-Rocha #evaluation #performance #robust
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation (RR), pp. 155–169.
POPLPOPL-2007-KahlonG #analysis #automaton
On the analysis of interacting pushdown systems (VK, AG), pp. 303–314.
QAPLQAPL-2007-PierroHW #analysis #data flow #probability
On Probabilistic Techniques for Data Flow Analysis (ADP, CH, HW), pp. 59–77.
RERE-2007-Glinz #non-functional #requirements
On Non-Functional Requirements (MG), pp. 21–26.
SACSAC-MT-J-2006-JouaultK07 #model transformation #transformation language
On the interoperability of model-to-model transformation languages (FJ, IK), pp. 114–137.
ESEC-FSEESEC-FSE-2007-ParreirasSW #metamodelling #ontology #technological space
On marrying ontological and metamodeling technical spaces (FSP, SS, AW), pp. 439–448.
ESEC-FSEESEC-FSE-2007-XuCCY #automation #consistency #nondeterminism #pervasive
On impact-oriented automatic resolution of pervasive context inconsistency (CX, SCC, WKC, CY), pp. 569–572.
ICSEICSE-2007-BaresiGM #architecture #automation #verification
On Accurate Automatic Verification of Publish-Subscribe Architectures (LB, CG, LM), pp. 199–208.
ICSEICSE-2007-WilliamsLSBS #collaboration #re-engineering #student
On the Impact of a Collaborative Pedagogy on African American Millennial Students in Software Engineering (LW, LL, KMS, SBB, CBS), pp. 677–687.
SACSAC-2007-BordeauxS #constraints #framework #probability
On the stochastic constraint satisfaction framework (LB, HS), pp. 316–320.
SACSAC-2007-Chang #performance #scalability
On efficient wear leveling for large-scale flash-memory storage systems (LPC), pp. 1126–1130.
SACSAC-2007-PlattGM #detection #query #sequence #topic #using
On using user query sequence to detect off-topic search (AP, NG, SSRM), pp. 882–883.
SACSAC-2007-YangHK #framework #parallel #platform
On construction of a BioGrid platform for parallel bioinformatics applications (CTY, TFH, HCK), pp. 144–145.
CASECASE-2007-ChanYD #clustering #multi #scheduling #tool support
On the Optimality of One-Unit Cycle Scheduling of Multi-Cluster Tools with Single-Blade Robots (WKC, JY, SD), pp. 392–397.
CASECASE-2007-DotoliFM #identification #monitoring #petri net #specification
On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification (MD, MPF, AMM), pp. 893–898.
CASECASE-2007-KameshwaranVD
On Bundling and Pricing of the Service with the Product (SK, NV, VD), pp. 652–657.
CASECASE-2007-MorrisonM #clustering #throughput #tool support
On the Throughput of Clustered Photolithography Tools: Wafer Advancement and Intrinsic Equipment Loss (JRM, MKM), pp. 88–93.
CASECASE-2007-WeiJL #automation #industrial
On Protecting Industrial Automation and Control Systems against Electronic Attacks (DW, MAJ, YL), pp. 176–181.
CASECASE-2007-XiongX #fault #multi
On the Error Elimination for Multi-Axis CNC Machining (CX, YLX), pp. 412–417.
CASECASE-2007-ZhaoLZ #petri net
On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets (MZ, ZL, MZ), pp. 1–6.
CGOCGO-2007-BouchezDR #complexity
On the Complexity of Register Coalescing (FB, AD, FR), pp. 102–114.
DACDAC-2007-ChatterjeeMBK #equivalence #proving
On Resolution Proofs for Combinational Equivalence (SC, AM, RKB, AK), pp. 600–605.
DACDAC-2007-RastogiCK
On Estimating Impact of Loading Effect on Leakage Current in Sub-65nm Scaled CMOS Circuits Based on Newton-Raphson Method (AR, WC, SK), pp. 712–715.
DATEDATE-2007-PomeranzR #generative #testing
On test generation by input cube avoidance (IP, SMR), pp. 522–527.
LCTESLCTES-2007-BouchezDR #complexity
On the complexity of spill everywhere under SSA form (FB, AD, FR), pp. 103–112.
PDPPDP-2007-GonzalezV #fault tolerance #parallel #programming #search-based
On the Intrinsic Fault-Tolerance Nature of Parallel Genetic Programming (DLG, FFdV), pp. 450–458.
PDPPDP-2007-ShaikhKS #modelling #network #reliability
On Modeling the Reliability of Data Transport in Wireless Sensor Networks (FKS, AK, NS), pp. 395–402.
PPoPPPPoPP-2007-MamidalaNVSP #performance #scalability #trade-off #using
On using connection-oriented vs. connection-less transport for performance and scalability of collective and one-sided operations: trade-offs and impact (ARM, SN, AV, GS, DKP), pp. 46–54.
WRLAWRLA-2006-Rodriguez07 #maude #modelling #network
On Modelling Sensor Networks in Maude (DER), pp. 199–213.
ESOPESOP-2007-BlanquiHW #data type #implementation
On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.
ESOPESOP-2007-FengFS #concurrent #logic #reasoning
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning (XF, RF, ZS), pp. 173–188.
FoSSaCSFoSSaCS-2007-LaroussinieMO #atl #complexity
On the Expressiveness and Complexity of ATL (FL, NM, GO), pp. 243–257.
FoSSaCSFoSSaCS-2007-Riba
On the Stability by Union of Reducibility Candidates (CR), pp. 317–331.
STOCSTOC-2007-Katz #multi
On achieving the “best of both worlds” in secure multiparty computation (JK), pp. 11–20.
STOCSTOC-2007-KieferLE #convergence #equation #polynomial
On the convergence of Newton’s method for monotone systems of polynomial equations (SK, ML, JE), pp. 217–226.
STOCSTOC-2007-MooreRS #algorithm #graph #morphism #quantum
On the impossibility of a quantum sieve algorithm for graph isomorphism (CM, AR, PS), pp. 536–545.
STOCSTOC-2007-MosselR #network #social
On the submodularity of influence in social networks (EM, SR), pp. 128–134.
TACASTACAS-2007-PandyaKL #abstraction #logic
On Sampling Abstraction of Continuous Time Logic with Durations (PKP, SNK, KL), pp. 246–260.
SMTSMT-J-2006-SeshiaSB #constraints
On Solving Boolean Combinations of UTVPI Constraints (SAS, KS, REB), pp. 67–90.
CADECADE-2007-GodoyT #normalisation #term rewriting
On the Normalization and Unique Normalization Properties of Term Rewrite Systems (GG, ST), pp. 247–262.
CAVCAV-2007-MalerNP #bound
On Synthesizing Controllers from Bounded-Response Properties (OM, DN, AP), pp. 95–107.
CSLCSL-2007-BaganDG #constant #query
On Acyclic Conjunctive Queries and Constant Delay Enumeration (GB, AD, EG), pp. 208–222.
CSLCSL-2007-Goller #complexity #policy #reasoning
On the Complexity of Reasoning About Dynamic Policies (SG), pp. 358–373.
ICLPICLP-2007-BaseliceBC #recursion #source code
On Finitely Recursive Programs (SB, PAB, GC), pp. 89–103.
ICLPICLP-2007-RochaSL #program transformation #prolog
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.
LICSLICS-2007-Goubault-Larrecq
On Noetherian Spaces (JGL), pp. 453–462.
ICSTSAT-2007-MakinoTY #problem
On the Boolean Connectivity Problem for Horn Relations (KM, ST, MY), pp. 187–200.
VMCAIVMCAI-2007-BozgaI #source code
On Flat Programs with Lists (MB, RI), pp. 122–136.
TPDLECDL-2006-Tolosana-CalasanzALNMZ #identification #metadata #problem #quality
On the Problem of Identifying the Quality of Geographic Metadata (RTC, JAÁR, JL, JNI, PRMM, FJZS), pp. 232–243.
PODSPODS-2006-KolahiL #dependence #normalisation
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF (SK, LL), pp. 114–123.
PODSPODS-2006-MachanavajjhalaG #performance #privacy
On the efficiency of checking perfect privacy (AM, JG), pp. 163–172.
PODSPODS-2006-Rosati #database #decidability #finite #query
On the decidability and finite controllability of query processing in databases with incomplete information (RR), pp. 356–365.
SIGMODSIGMOD-2006-ChandramouliXY #database #interface #network #scalability
On the database/network interface in large-scale publish/subscribe systems (BC, JX, JY), pp. 587–598.
VLDBVLDB-2006-Aggarwal #evolution
On Biased Reservoir Sampling in the Presence of Stream Evolution (CCA), pp. 607–618.
VLDBVLDB-2006-BalminBON #performance #query #xml
On the Path to Efficient XML Queries (AB, KSB, FÖ, MN), pp. 1117–1128.
CSEETCSEET-2006-JanzenS #agile #design #development #testing
On the Influence of Test-Driven Development on Software Design (DJ, HS), pp. 141–148.
ICSMEICSM-2006-Alexander #challenge #maintenance #scalability
On the Challenges of Maintaining Large-Scale Software Systems at Lockheed Martin (LDA), p. 2.
ICSMEICSM-2006-CanforaCP #co-evolution #identification #using
On the Use of Line Co-change for Identifying Crosscutting Concern Code (GC, LC, MDP), pp. 213–222.
WCREWCRE-2006-Cerulo #development #process #using
On the Use of Process Trails to Understand Software Development (LC), pp. 303–304.
WCREWCRE-2006-KothariDMS #canonical
On Computing the Canonical Features of Software Systems (JK, TD, SM, AS), pp. 93–102.
DLTDLT-J-2005-Pribavkina06 #word
On some Properties of the Language of 2-collapsing Words (EVP), pp. 665–676.
CIAACIAA-2006-CortesMR #automaton #probability #standard
On the Computation of Some Standard Distances Between Probabilistic Automata (CC, MM, AR), pp. 137–149.
CIAACIAA-2006-Yu #complexity
On the State Complexity of Combined Operations (SY), pp. 11–22.
DLTDLT-2006-Krieger #fixpoint #morphism
On Critical Exponents in Fixed Points of Non-erasing Morphisms (DK), pp. 280–291.
DLTDLT-2006-MrazOP
On the Gap-Complexity of Simple RL-Automata (FM, FO, MP), pp. 83–94.
DLTDLT-2006-Ravikumar #automaton #finite #modelling #probability
On Some Variations of Two-Way Probabilistic Finite Automata Models (BR), pp. 443–454.
DLTDLT-2006-SanteanY #ambiguity #finite #transducer
On Weakly Ambiguous Finite Transducers (NS, SY), pp. 156–167.
ICALPICALP-v1-2006-ChenD #2d #complexity #fixpoint #problem
On the Complexity of 2D Discrete Fixed Point Problem (XC, XD), pp. 489–500.
ICALPICALP-v1-2006-DyerGP #graph #morphism
On Counting Homomorphisms to Directed Acyclic Graphs (MED, LAG, MP), pp. 38–49.
ICALPICALP-v1-2006-FiatKLOS #design #network
On the Price of Stability for Designing Undirected Networks with Fair Cost Allocations (AF, HK, ML, SO, RS), pp. 608–618.
ICALPICALP-v1-2006-HoangMT #problem
On the Bipartite Unique Perfect Matching Problem (TMH, MM, TT), pp. 453–464.
ICALPICALP-v2-2006-AcetoCFI #axiom
On the Axiomatizability of Priority (LA, TC, WF, AI), pp. 480–491.
ICALPICALP-v2-2006-DodisR #quantum #using
On the Impossibility of Extracting Classical Randomness Using a Quantum Computer (YD, RR), pp. 204–215.
ICALPICALP-v2-2006-HarnikN #bound #hybrid #security
On Everlasting Security in the Hybrid Bounded Storage Model (DH, MN), pp. 192–203.
ICALPICALP-v2-2006-Jurdzinski #complexity #problem #safety
On Complexity of Grammars Related to the Safety Problem (TJ), pp. 432–443.
ICALPICALP-v2-2006-KariantoKT #problem #set
On Intersection Problems for Polynomially Generated Sets (KW, AK, WT), pp. 516–527.
RTARTA-2006-AntoyBC #correctness
On the Correctness of Bubbling (SA, DWB, SHC), pp. 35–49.
SEFMSEFM-2006-Arun-Kumar
On Bisimilarities Induced by Relations on Actions (SAK), pp. 41–49.
IFLIFL-2006-TrojahnerGS #array #optimisation #source code #using
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.
ICGTICGT-2006-BaresiS #alloy #graph transformation #using
On the Use of Alloy to Analyze Graph Transformation Systems (LB, PS), pp. 306–320.
CAiSECAiSE-2006-Franch #analysis #modelling
On the Quantitative Analysis of Agent-Oriented Models (XF), pp. 495–509.
CAiSECAiSE-2006-WeigandJABEI
On the Notion of Value Object (HW, PJ, BA, MB, AE, TI), pp. 321–335.
ICEISICEIS-DISI-2006-OommenC #database #optimisation #query
On Utilizing Attribute Cardinality Maps to Enhance Query Optimization in the Oracle Database System (BJO, JC), pp. 23–35.
ICEISICEIS-ISAS-2006-BouneffaBM #evolution #flexibility #implementation #process
On Implementing Interoperable and Flexible Software Evolution Activities (MB, HB, YM), pp. 253–260.
ICEISICEIS-J-2006-LampertiZ06a #monitoring
On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.
ICEISICEIS-J-2006-OommenC06a #database #optimisation #query
On Enhancing Query Optimization in the Oracle Database System by Utilizing Attribute Cardinality Maps (BJO, JC), pp. 38–71.
CIKMCIKM-2006-ChuHCC #clustering
On subspace clustering with density consciousness (YHC, JWH, KTC, MSC), pp. 804–805.
CIKMCIKM-2006-HuangTOC #mining
On progressive sequential pattern mining (JWH, CYT, JCO, MSC), pp. 850–851.
CIKMCIKM-2006-NanavatiGDCDMJ #graph
On the structural properties of massive telecom call graphs: findings and implications (AAN, SG, GD, DC, KD, SM, AJ), pp. 435–444.
CIKMCIKM-2006-Robertson
On GMAP: and other transformations (SR), pp. 78–83.
ICMLICML-2006-BalcanB #formal method #learning #similarity
On a theory of learning with similarity functions (MFB, AB), pp. 73–80.
ICMLICML-2006-Banerjee #bound
On Bayesian bounds (AB), pp. 81–88.
ICPRICPR-v3-2006-SandersonG #kernel #markov #sequence
On Authorship Attribution via Markov Chains and Sequence Kernels (CS, SG), pp. 437–440.
ICPRICPR-v4-2006-KropotovPVV #kernel #principle #using
On Kernel Selection in Relevance Vector Machines Using Stability Principle (DK, NP, OV, DV), pp. 233–236.
KDDKDD-2006-AggarwalPZ #data mining #mining #privacy
On privacy preservation against adversarial data mining (CCA, JP, BZ), pp. 510–516.
KRKR-2006-BaierM #source code
On Planning with Programs that Sense (JAB, SAM), pp. 492–502.
KRKR-2006-Doyle #process
On Mechanization of Thought Processes (JD), p. 2.
KRKR-2006-SardinaGLL #nondeterminism #strict
On the Limits of Planning over Belief States under Strict Uncertainty (SS, GDG, YL, HJL), pp. 463–471.
KRKR-2006-SonT #approximate #reasoning
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information (TCS, PHT), pp. 481–491.
SIGIRSIGIR-2006-ChenHY #concept #integration #web
On hierarchical web catalog integration with conceptual relationships in thesaurus (IXC, JCH, CZY), pp. 635–636.
SIGIRSIGIR-2006-VinayCMW #effectiveness #ranking
On ranking the effectiveness of searches (VV, IJC, NMF, KRW), pp. 398–404.
ECOOPECOOP-2006-LuP
On Ownership and Accessibility (YL, JP), pp. 99–123.
OOPSLAOOPSLA-2006-Waldo #design
On system design (JW), pp. 467–480.
LOPSTRLOPSTR-2006-WinwoodKC #automation #monitoring #synthesis
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.
PEPMPEPM-2006-CooperMG #optimisation #partial evaluation #simulation
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations (JC, SM, AG), pp. 12–20.
POPLPOPL-2006-HuntS #security
On flow-sensitive security types (SH, DS), pp. 79–90.
RERE-2006-LiaskosLYYM #analysis #variability
On Goal-based Variability Acquisition and Analysis (SL, AL, YY, ESKY, JM), pp. 76–85.
ICSEICSE-2006-ZannierMM #empirical #re-engineering
On the success of empirical studies in the international conference on software engineering (CZ, GM, FM), pp. 341–350.
SACSAC-2006-AltLM #linear #probability #problem #using
On the numerical solution to linear problems using stochastic arithmetic (RA, JLL, SM), pp. 1635–1639.
SACSAC-2006-Bellur #consistency #object-oriented #using #workflow
On using OO techniques to establish workflow conformance (UB), pp. 1447–1448.
SACSAC-2006-ChenC #representation #transitive
On the transitive closure representation and adjustable compression (YC, DC), pp. 450–455.
SACSAC-2006-ChoRJ #embedded #realtime #scheduling
On utility accrual processor scheduling with wait-free synchronization for embedded real-time software (HC, BR, EDJ), pp. 918–922.
SACSAC-2006-ColletOR #behaviour #component
On contracting different behavioral properties in component-based systems (PC, AO, NR), pp. 1798–1799.
SACSAC-2006-Fasli
On the relationship between roles and power: preliminary report (MF), pp. 313–318.
SACSAC-2006-GuoW #data mining #mining #privacy #using
On the use of spectral filtering for privacy preserving data mining (SG, XW), pp. 622–626.
SACSAC-2006-JouaultK #architecture #atl #qvt
On the architectural alignment of ATL and QVT (FJ, IK), pp. 1188–1195.
SACSAC-2006-Lindgren
On handling conflicts between rules with numerical features (TL), pp. 37–41.
SACSAC-2006-SimpsonPS #health
On tracker attacks in health grids (ACS, DJP, MS), pp. 209–216.
SACSAC-2006-WuRJ #bound #embedded #energy #realtime
On bounding energy consumption in dynamic, embedded real-time systems (HW, BR, EDJ), pp. 933–934.
CASECASE-2006-GuoLX #modelling #petri net #using
On Modeling a Soccer Robot System Using Petri Nets (BG, ZL, SX), pp. 460–465.
DATEDATE-2006-BombieriFP #evaluation #reuse #verification
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL (NB, FF, GP), pp. 1007–1012.
DATEDATE-2006-FeySVD #satisfiability
On the relation between simulation-based and SAT-based diagnosis (GF, SS, AGV, RD), pp. 1139–1144.
DATEDATE-2006-HassenT #probability #term rewriting #verification
On the numerical verification of probabilistic rewriting systems (JBH, ST), pp. 1223–1224.
DATEDATE-2006-KrusemanH #detection #fault
On test conditions for the detection of open defects (BK, MH), pp. 896–901.
DATEDATE-DF-2006-ZarriCDMPRT #protocol #verification
On the verification of automotive protocols (GZ, FC, FD, RM, MP, GR, CT), pp. 195–200.
HPDCHPDC-2006-Casanova
On the Harmfulness of Redundant Batch Requests (HC), pp. 255–266.
PDPPDP-2006-HartikainenLM #java #memory management #mobile
On Mobile Java Memory Consumption (VMH, PPL, TM), pp. 333–339.
PDPPDP-2006-SouzaRYLC #distributed #network #on-demand
On the Relevance of Network Topologies in Distributed Video-on-Demand Servers (LS, AR, XY, EL, FC), pp. 396–404.
FoSSaCSFoSSaCS-2006-BlanquiKR #confluence #λ-calculus
On the Confluence of λ-Calculus with Conditional Rewriting (FB, CK, CR), pp. 382–397.
FoSSaCSFoSSaCS-2006-ChenFN #finite #infinity #simulation
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation (TC, WF, SN), pp. 1–15.
FoSSaCSFoSSaCS-2006-Gorla #communication #power of
On the Relative Expressive Power of Asynchronous Communication Primitives (DG), pp. 47–62.
FoSSaCSFoSSaCS-2006-OuaknineW #logic #metric #turing machine
On Metric Temporal Logic and Faulty Turing Machines (JO, JW), pp. 217–230.
FoSSaCSFoSSaCS-2006-Rohde #calculus #μ-calculus
On the μ-Calculus Augmented with Sabotage (PR), pp. 142–156.
STOCSTOC-2006-AchlioptasR #constraints #geometry #problem #random
On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.
STOCSTOC-2006-AkaviaGGM #np-hard
On basing one-way functions on NP-hardness (AA, OG, SG, DM), pp. 701–710.
STOCSTOC-2006-AryaMM
On the importance of idempotence (SA, TM, DMM), pp. 564–573.
STOCSTOC-2006-DinurFKO #bound #fourier
On the fourier tails of bounded functions over the discrete cube (ID, EF, GK, RO), pp. 437–446.
STOCSTOC-2006-DubrovI #complexity #performance
On the randomness complexity of efficient sampling (BD, YI), pp. 711–720.
STOCSTOC-2006-Feige
On maximizing welfare when utility functions are subadditive (UF), pp. 41–50.
STOCSTOC-2006-KarloffKMR #distance #metric
On earthmover distance, metric labeling, and 0-extension (HJK, SK, AM, YR), pp. 547–556.
STOCSTOC-2006-PanagiotouS #metric #performance
On adequate performance measures for paging (KP, AS), pp. 487–496.
CSLCSL-2006-CarayolM
On Rational Trees (AC, CM), pp. 225–239.
CSLCSL-2006-Marcinkowski #graph #logic #power of
On the Expressive Power of Graph Logic (JM), pp. 486–500.
IJCARIJCAR-2006-TomanW #dependence #functional #logic
On Keys and Functional Dependencies as First-Class Citizens in Description Logics (DT, GEW), pp. 647–661.
IJCARIJCAR-2006-Werner
On the Strength of Proof-Irrelevant Type Theories (BW), pp. 604–618.
LICSLICS-2006-KissV #congruence
On Tractability and Congruence Distributivity (EWK, MV), pp. 221–230.
LICSLICS-2006-Ong #higher-order #model checking #recursion
On Model-Checking Trees Generated by Higher-Order Recursion Schemes (CHLO), pp. 81–90.
LICSLICS-2006-PalamidessiSVV #persistent #π-calculus
On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus (CP, VAS, FDV, BV), pp. 59–68.
LICSLICS-2006-TerauchiA #polymorphism #recursion
On Typability for Rank-2 Intersection Types with Polymorphic Recursion (TT, AA), pp. 111–122.
ICSTSAT-2006-FuM #problem #satisfiability
On Solving the Partial MAX-SAT Problem (ZF, SM), pp. 252–265.
ICSTSAT-2006-NieuwenhuisO #modulo theories #optimisation #problem #satisfiability
On SAT Modulo Theories and Optimization Problems (RN, AO), pp. 156–169.
ICSTSAT-2006-PorschenSR #linear
On Linear CNF Formulas (SP, ES, BR), pp. 212–225.
WICSAWICSA-2005-Chikofsky #architecture #reverse engineering
On the Meeting of Software Architecture and Reverse Engineering (EJC), pp. 17–24.
DRRDRR-2005-RusuG #challenge #image
On the challenges that handwritten text images pose to computers and new practical applications (AIR, VG), pp. 84–91.
TPDLECDL-2005-SaidisPN #approach #effectiveness #prototype
On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach (KS, GP, MN), pp. 13–24.
HTHT-2005-GahleitnerBPW #ontology
On cooperatively creating dynamic ontologies (EG, WB, JP, ERW), pp. 208–210.
ICDARICDAR-2005-ChaYT #metric #recognition #similarity
On Binary Similarity Measures for Handwritten Character Recognition (SHC, SY, CCT), pp. 4–8.
ICDARICDAR-2005-FinkP #feature model #independence #recognition
On Appearance-Based Feature Extraction Methods for Writer-Independent Handwritten Text Recognition (GAF, TP), pp. 1070–1074.
ICDARICDAR-2005-GarainPH #documentation #image #quality
On Foreground-Background Separation in Low Quality Color Document Images (UG, TP, LH), pp. 585–589.
JCDLJCDL-2005-TsaiW #music
On the extraction of vocal-related information to facilitate the management of popular music collections (WHT, HMW), pp. 197–206.
JCDLJCDL-2005-ZongWSLG #web
On assigning place names to geography related web pages (WZ, DW, AS, EPL, DHLG), pp. 354–362.
PODSPODS-2005-Koch #complexity #functional #query #recursion #xquery
On the complexity of nonrecursive XQuery and functional query languages on complex values (CK), pp. 84–97.
PODSPODS-2005-LeindersB #algebra #complexity #relational #set
On the complexity of division and set joins in the relational algebra (DL, JVdB), pp. 76–83.
SIGMODSIGMOD-2005-ChenLL #pattern matching #using #xml
On Boosting Holism in XML Twig Pattern Matching using Structural Indexing Techniques (TC, JL, TWL), pp. 455–466.
SIGMODSIGMOD-2005-XieYC #probability
On Joining and Caching Stochastic Streams (JX, JY, YC), pp. 359–370.
VLDBVLDB-2005-Aggarwal
On k-Anonymity and the Curse of Dimensionality (CCA), pp. 901–909.
VLDBVLDB-2005-BrakatsoulasPSW
On Map-Matching Vehicle Tracking Data (SB, DP, RS, CW), pp. 853–864.
VLDBVLDB-2005-XiaZKD
On Computing Top-t Most Influential Spatial Sites (TX, DZ, EK, YD), pp. 946–957.
IWPCIWPC-2005-HogganvikS #comprehension #security
On the Comprehension of Security Risk Scenarios (IH, KS), pp. 115–124.
IWPCIWPC-2005-SunW #comprehension #diagrams #layout #uml
On Evaluating the Layout of UML Class Diagrams for Program Comprehension (DS, KW), pp. 317–326.
DLTDLT-J-2004-IbarraYD05 #parallel
On various notions of parallelism in P Systems (OHI, HCY, ZD), pp. 683–705.
CIAACIAA-2005-IbarraY
On Deterministic Catalytic Systems (OHI, HCY), pp. 163–175.
CIAACIAA-2005-PodlovchenkoRZ #equivalence #problem #source code
On the Equivalence Problem for Programs with Mode Switching (RIP, DMR, VAZ), pp. 351–352.
CIAACIAA-2005-VielhaberC #infinity #set #transducer
On a Class of Bijective Binary Transducers with Finitary Description Despite Infinite State Set (MV, MdPCC), pp. 356–357.
CIAACIAA-2005-ZdarekM #2d #automaton #finite #pattern matching
On Two-Dimensional Pattern Matching by Finite Automata (JZ, BM), pp. 329–340.
DLTDLT-2005-BellP #matrix
On the Membership of Invertible Diagonal Matrices (PB, IP), pp. 146–157.
DLTDLT-2005-GruberHKK #automaton
On Timed Automata with Discrete Time — Structural and Language Theoretical Characterization (HG, MH, AK, BK), pp. 272–283.
DLTDLT-2005-KariKST #word
On Hairpin-Free Words and Languages (LK, SK, PS, GT), pp. 296–307.
DLTDLT-2005-Kunc #set
On Language Inequalities XK subset of LX (MK), pp. 327–337.
DLTDLT-2005-Pribavkina #word
On Some Properties of the Language of 2-Collapsing Words (EVP), pp. 374–384.
DLTDLT-2005-Saari #sequence
On the Frequency of Letters in Pure Binary Morphic Sequences (KS), pp. 397–408.
ICALPICALP-2005-AvinE #geometry #graph #random
On the Cover Time of Random Geometric Graphs (CA, GE), pp. 677–689.
ICALPICALP-2005-BealLS #equivalence
On the Equivalence of -Automata (MPB, SL, JS), pp. 397–409.
ICALPICALP-2005-CaryRS #finite #metric
On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), pp. 1412–1423.
ICALPICALP-2005-ChlebusGKR #network #problem
On the Wake-Up Problem in Radio Networks (BSC, LG, DRK, TR), pp. 347–359.
ICALPICALP-2005-EfthymiouS #graph #random
On the Existence of Hamiltonian Cycles in Random Intersection Graphs (CE, PGS), pp. 690–701.
ICALPICALP-2005-Hopper #security
On Steganographic Chosen Covertext Security (NH), pp. 311–323.
ICALPICALP-2005-PatrascuP #complexity
On Dynamic Bit-Probe Complexity (CEP, MP), pp. 969–981.
ICALPICALP-2005-RadhakrishnanRS #fourier #power of #problem #random
On the Power of Random Bases in Fourier Sampling: Hidden Subgroup Problem in the Heisenberg Group (JR, MR, PS), pp. 1399–1411.
ICALPICALP-2005-Wee
On Round-Efficient Argument Systems (HW), pp. 140–152.
ICALPICALP-2005-Wikstrom #integer
On the l-Ary GCD-Algorithm in Rings of Integers (DW), pp. 1189–1201.
FMFM-2005-Bosnacki #abstraction #calculus #μ-calculus
On Some Galois Connection Based Abstractions for the μ-Calculus (DB), pp. 366–381.
FMFM-2005-IyerSEJ #clustering #model checking
On Partitioning and Symbolic Model Checking (SKI, DS, EAE, JJ), pp. 497–511.
RTARTA-2005-BouajjaniT #process #reachability #set #term rewriting
On Computing Reachability Sets of Process Rewrite Systems (AB, TT), pp. 484–499.
RTARTA-2005-GeserHWZ #automaton #linear #term rewriting #termination
On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems (AG, DH, JW, HZ), pp. 353–367.
SEFMSEFM-2005-Hameurlain #behaviour #component #protocol
On Compatibility and Behavioural Substitutability of Component Protocols (NH), pp. 394–403.
SEFMSEFM-2005-PapCD #formal method
On the Theory of Patching (ZP, GC, SD), pp. 263–271.
TLCATLCA-2005-Herbelin #logic
On the Degeneracy of Σ-Types in Presence of Computational Classical Logic (HH), pp. 209–220.
CoGCIG-2005-Burns05a
On TRACS: Dealing with a Deck of Double-Sided Cards (KB).
DiGRADiGRA-2005-Salazar #ontology #research
On the Ontology of MMORPG Beings: A Theorethical Model for Research (JS).
DiGRADiGRA-2005-Sicart #game studies
On the Foundations of Evil in Computer Game Cheating (MS).
SOFTVISSOFTVIS-2005-StoreyCG #development #framework #overview #process #using #visualisation
On the use of visualization to support awareness of human activities in software development: a survey and a framework (MADS, DC, DMG), pp. 193–202.
CAiSECAiSE-2005-Franch #lightweight #modelling #using
On the Lightweight Use of Goal-Oriented Models for Software Package Selection (XF), pp. 551–566.
CAiSECAiSE-2005-PetrovJH #consistency #metadata #repository
On the Notion of Consistency in Metadata Repository Systems (IP, SJ, MH), pp. 90–104.
ICEISICEIS-v1-2005-ChenC #database #documentation #evaluation #query
On the Tree Inclusion and Query Evaluation in Document Databases (YC, YC), pp. 182–190.
CIKMCIKM-2005-GoharianM #detection #information management #topic
On off-topic access detection in information systems (NG, LM), pp. 353–354.
CIKMCIKM-2005-GrecoS #complexity #consistency #integration #peer-to-peer #query
On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems (GG, FS), pp. 36–43.
CIKMCIKM-2005-LaurNSP #data type #estimation
On the estimation of frequent itemsets for data streams: theory and experiments (PAL, RN, JES, PP), pp. 327–328.
CIKMCIKM-2005-LiLLY #performance #xml
On reducing redundancy and improving efficiency of XML labeling schemes (CL, TWL, JL, TY), pp. 225–226.
ECIRECIR-2005-MartonWH #classification
On Compression-Based Text Classification (YM, NW, LH), pp. 300–314.
KDDKDD-2005-PeiJZ #clique #mining
On mining cross-graph quasi-cliques (JP, DJ, AZ), pp. 228–238.
KDDKDD-2005-Sandler #classification #linear #programming #using
On the use of linear programming for unsupervised text classification (MS), pp. 256–264.
LSOLSO-2005-VillelaRT #development
On the Importance Attributed to Different Knowledge in Software Development Environments (KV, ARR, GT), pp. 97–101.
MLDMMLDM-2005-KoK #classification
On ECOC as Binary Ensemble Classifiers (JK, EK), pp. 1–10.
SEKESEKE-2005-ChenKZ #adaptation #effectiveness #random testing #testing
On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing (TYC, FCK, ZZ), pp. 306–311.
SEKESEKE-2005-Kjaergaard #abstraction #architecture
On Abstraction Levels for Software Architecture Viewpoints (MBK), pp. 424–429.
SEKESEKE-2005-WuSC #web
On the Web Data Extraction Model (ICW, JYS, LBC), pp. 330–335.
SIGIRSIGIR-2005-CarvalhoC #classification #email #speech
On the collective classification of email “speech acts” (VRdC, WWC), pp. 345–352.
SIGIRSIGIR-2005-ElsayedO #adaptation #evaluation #topic
On evaluation of adaptive topic tracking systems (TE, DWO), pp. 597–598.
SIGIRSIGIR-2005-ZhouG #categorisation #corpus #geometry
On redundancy of training corpus for text categorization: a perspective of geometry (SZ, JG), pp. 671–672.
ECMFAECMDA-FA-2005-MullerCCV
On Some Properties of Parameterized Model Application (AM, OC, BC, GV), pp. 130–144.
ECMFAECMDA-FA-2005-SteinHU #modelling #query
On Relationships Between Query Models (DS, SH, RU), pp. 254–268.
QAPLQAPL-2004-AldiniP05 #analysis #probability #protocol
On Quantitative Analysis of Probabilistic Protocols (AA, ADP), pp. 131–148.
RERE-2005-CrookIN #modelling #policy
On Modelling Access Policies: Relating Roles to their Organisational Context (RC, DCI, BN), pp. 157–166.
ASEASE-2005-KoschkeQ #feature model
On dynamic feature location (RK, JQ), pp. 86–95.
GTTSEGTTSE-2005-Mens #graph transformation #refactoring #using
On the Use of Graph Transformations for Model Refactoring (TM), pp. 219–257.
ICSEICSE-2005-Ciancarini #education
On the education of future software engineers (PC), pp. 649–650.
SACSAC-2005-DantchevV #infinity
On the computational limits of infinite satisfaction (SSD, FDV), pp. 393–397.
SACSAC-2005-Goualard #algorithm #constraints #theorem proving
On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure (FG), pp. 1434–1438.
SACSAC-2005-GriffinSC #case study #design #embedded #garbage collection #java #power management
On designing a low-power garbage collector for java embedded devices: a case study (PAG, WSa, JMC), pp. 868–873.
SACSAC-2005-XiaoLJ #clustering #problem #scheduling
On unit task linear-nonlinear two-cluster scheduling problem (ZX, WNL, JJFJ), pp. 713–717.
SACSAC-2005-YeeF #peer-to-peer
On search in peer-to-peer file sharing systems (WGY, OF), pp. 1023–1030.
SACSAC-OOPS-J-2005-ViroliR #java #strict
On Access Restriction with Java Wildcards (MV, GR), pp. 117–139.
ATEMATEM-2004-KarailaS05 #case study #industrial #metadata #reuse #reverse engineering #visual notation
On the Role of Metadata in Visual Language Reuse and Reverse Engineering — An Industrial Case (MK, TS), pp. 29–41.
GPCEGPCE-2005-AliasB #domain-specific language #re-engineering
On Domain-Specific Languages Reengineering (CA, DB), pp. 63–77.
CASECASE-2005-GoemansLGS #design
On the design of guillotine traps for vibratory bowl feeders (OCG, AL, KG, AFvdS), pp. 79–86.
CASECASE-2005-LowWW #development #realtime #using
On the development of a real time control system by using xPC Target: solution to robotic system control (KHL, HW, MYW), pp. 345–350.
DACDAC-2005-Najm #analysis #statistics
On the need for statistical timing analysis (FNN), pp. 764–765.
DATEDATE-2005-KastensmidtSCR #composition #design #logic
On the Optimal Design of Triple Modular Redundancy Logic for SRAM-based FPGAs (FLK, LS, LC, MSR), pp. 1290–1295.
DATEDATE-2005-MangassarianA #analysis #statistics
On Statistical Timing Analysis with Inter- and Intra-Die Variations (HM, MA), pp. 132–137.
DATEDATE-2005-SchianoOLPS #analysis #fault #reliability
On the Analysis of Reed Solomon Coding for Resilience to Transient/Permanent Faults in Highly Reliable Memories (LS, MO, FL, SP, AS), pp. 580–585.
HPCAHPCA-2005-MengSK #power management #reduction
On the Limits of Leakage Power Reduction in Caches (YM, TS, RK), pp. 154–165.
LCTESLCTES-2005-Oi #design #hardware #java #virtual machine
On the design of the local variable cache in a hardware translation-based java virtual machine (HO), pp. 87–94.
PDPPDP-2005-CalafateMM #ad hoc #interactive #mobile #network #protocol
On the Interaction Between IEEE 802.11e and Routing Protocols in Mobile Ad-Hoc Networks (CMTC, PM, MPM), pp. 110–117.
FASEFASE-2005-BergGJLRS #consistency #testing
On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.
FoSSaCSFoSSaCS-2005-BozgaI #decidability
On Decidability Within the Arithmetic of Addition and Divisibility (MB, RI), pp. 425–439.
STOCSTOC-2005-AchlioptasCKM #bias #graph
On the bias of traceroute sampling: or, power-law degree distributions in regular graphs (DA, AC, DK, CM), pp. 694–703.
STOCSTOC-2005-CharikarK #design #multi #network
On non-uniform multicommodity buy-at-bulk network design (MC, AK), pp. 176–182.
STOCSTOC-2005-ChenD #algorithm #approximate #fixpoint
On algorithms for discrete and approximate brouwer fixed points (XC, XD), pp. 323–330.
STOCSTOC-2005-FlaxmanFV #algorithm #approximate #performance #problem
On the average case performance of some greedy approximation algorithms for the uncapacitated facility location problem (AF, AMF, JCV), pp. 441–449.
STOCSTOC-2005-JansenS
On strip packing With rotations (KJ, RvS), pp. 755–761.
STOCSTOC-2005-MortensenPP
On dynamic range reporting in one dimension (CWM, RP, MP), pp. 104–111.
STOCSTOC-2005-Regev #encryption #fault #learning #linear #random
On lattices, learning with errors, random linear codes, and cryptography (OR), pp. 84–93.
STOCSTOC-2005-TaoV #matrix #random
On random pm 1 matrices: singularity and determinant (TT, VHV), pp. 431–440.
STOCSTOC-2005-Trevisan
On uniform amplification of hardness in NP (LT), pp. 31–38.
STOCSTOC-2005-Wee #obfuscation
On obfuscating point functions (HW), pp. 523–532.
TACASTACAS-2005-Jiang #invariant
On Some Transformation Invariants Under Retiming and Resynthesis (JHRJ), pp. 413–428.
CADECADE-2005-VermaSS #complexity #equation #horn clause
On the Complexity of Equational Horn Clauses (KNV, HS, TS), pp. 337–352.
CAVCAV-2005-SenVA #model checking #probability #statistics
On Statistical Model Checking of Stochastic Systems (KS, MV, GA), pp. 266–280.
CSLCSL-2005-BarrasG #calculus #induction
On the Role of Type Decorations in the Calculus of Inductive Constructions (BB, BG), pp. 151–166.
CSLCSL-2005-CateF #complexity #hybrid #logic
On the Complexity of Hybrid Logics with Binders (BtC, MF), pp. 339–354.
CSLCSL-2005-CollinsonPR #morphism #polymorphism
On Bunched Polymorphism (MC, DJP, ER), pp. 36–50.
CSLCSL-2005-Murlak
On Deciding Topological Classes of Deterministic Tree Languages (FM), pp. 428–441.
ICLPICLP-2005-GiunchigliaM #satisfiability #set
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) (EG, MM), pp. 37–51.
LICSLICS-2005-Atserias #problem
On Digraph Coloring Problems and Treewidth Duality (AA), pp. 106–115.
LICSLICS-2005-Niemisto #locality #reduction
On Locality and Uniform Reduction (HN), pp. 41–50.
LICSLICS-2005-OuaknineW #decidability #logic #metric
On the Decidability of Metric Temporal Logic (JO, JW), pp. 188–197.
ICSTSAT-2005-LiffitonS #satisfiability
On Finding All Minimally Unsatisfiable Subformulas (MHL, KAS), pp. 173–186.
ICSTSAT-2005-ManquinhoM #algorithm #optimisation #pseudo
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization (VMM, JPMS), pp. 451–458.
ICSTSAT-2005-Zhang #on the fly
On Subsumption Removal and On-the-Fly CNF Simplification (LZ), pp. 482–489.
ICTSSTestCom-2005-PapCD #fault
On FSM-Based Fault Diagnosis (ZP, GC, SD), pp. 159–174.
VMCAIVMCAI-2005-KumarKV #complexity #fault
On the Complexity of Error Explanation (NK, VK, MV), pp. 448–464.
DocEngDocEng-2004-ChuangL #composition
On modular transformation of structural content (TRC, JLL), pp. 201–210.
PODSPODS-2004-AtseriasDK #morphism #query
On Preservation under Homomorphisms and Unions of Conjunctive Queries (AA, AD, PGK), pp. 319–329.
PODSPODS-2004-Bar-YossefFJ #evaluation #memory management #requirements #xml #xpath
On the Memory Requirements of XPath Evaluation over XML Streams (ZBY, MF, VJ), pp. 177–188.
PODSPODS-2004-Bonatti #datalog #decidability #query #recursion
On the Decidability of Containment of Recursive Datalog Queries — Preliminary report (PAB), pp. 297–306.
PODSPODS-2004-MeyersonW #complexity
On the Complexity of Optimal K-Anonymity (AM, RW), pp. 223–228.
SIGMODSIGMOD-2004-KaushikKNR #integration
On the Integration of Structure Indexes and Inverted Lists (RK, RK, JFN, RR), pp. 779–790.
VLDBVLDB-2004-ChenN #distance #edit distance
On The Marriage of Lp-norms and Edit Distance (LC, RTN), pp. 792–803.
VLDBVLDB-2004-LakshmananRWZ #query #satisfiability #testing
On Testing Satisfiability of Tree Pattern Queries (LVSL, GR, WHW, Z(Z), pp. 120–131.
VLDBVLDB-2004-WuOS #performance
On the performance of bitmap indices for high cardinality attributes (KW, EJO, AS), pp. 24–35.
CSEETCSEET-2004-SrikanthWWMB
On Pair Rotation in the Computer Science Course (HS, LAW, EW, CM, SB), pp. 144–149.
ITiCSEITiCSE-2004-ArmoniG #modelling #student
On the achievements of high school students studying computational models (MA, JGE), pp. 17–21.
IWPCIWPC-2004-FossW #framework #legacy #migration #platform
On Migrating a Legacy Application to the Palm Platform (AF, KW), pp. 231–235.
CIAACIAA-2004-BerstelC #algorithm #complexity
On the Complexity of Hopcroft’s State Minimization Algorithm (JB, OC), pp. 35–44.
CIAACIAA-2004-ZakharovZ #automaton #multi #problem #source code
On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata (VAZ, IZ), pp. 293–305.
DLTDLT-2004-BeekCHV
On Competence in CD Grammar Systems (MHtB, ECV, MH, GV), pp. 76–88.
DLTDLT-2004-ChoffrutGL
On the Maximum Coefficients of Rational Formal Series in Commuting Variables (CC, MG, VL), pp. 114–126.
DLTDLT-2004-DaleyD
On Codes Defined by Bio-Operations (MD, MD), pp. 127–138.
DLTDLT-2004-JurdzinskiOMP #automaton #complexity
On the Complexity of 2-Monotone Restarting Automata (TJ, FO, FM, MP), pp. 237–248.
DLTDLT-2004-JurdzinskiOMP04a #automaton
On Left-Monotone Deterministic Restarting Automata (TJ, FO, FM, MP), pp. 249–260.
DLTDLT-2004-KurganskyyP #2d #automaton #finite #power of
On the Computation Power of Finite Automata in Two-dimensional Environments (OK, IP), pp. 261–271.
DLTDLT-2004-Reidenbach #equivalence #pattern matching #problem
On the Equivalence Problem for E-pattern Languages over Small Alphabets (DR), pp. 368–380.
DLTDLT-2004-Staiger
On the Hausdorff Measure of ω-Power Languages (LS), pp. 393–405.
ICALPICALP-2004-FeigenbaumKMSZ #graph #problem
On Graph Problems in a Semi-streaming Model (JF, SK, AM, SS, JZ), pp. 531–543.
ICALPICALP-2004-Schweikardt #fixpoint #logic #monad #power of
On the Expressive Power of Monadic Least Fixed Point Logic (NS), pp. 1123–1135.
ICALPICALP-2004-Volzer #distributed
On Randomization Versus Synchronization in Distributed Systems (HV), pp. 1214–1226.
ICALPICALP-2004-Zhang #bound #power of
On the Power of Ambainis’s Lower Bounds (SZ), pp. 1238–1250.
RTARTA-2004-Simonsen #composition #confluence #term rewriting
On the Modularity of Confluence in Infinitary Term Rewriting (JGS), pp. 185–199.
SEFMSEFM-2004-MengNB #algebra #perspective #refinement #semantics #uml
On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.
SFMSFM-2004-Selic #semantics #standard #uml
On the Semantic Foundations of Standard UML 2.0 (BS), pp. 181–199.
EDOCEDOC-2004-AlmeidaDSP #development #framework #platform
On the Notion of Abstract Platform in MDA Development (JPAA, RMD, MvS, LFP), pp. 253–263.
ICEISICEIS-v3-2004-ChapmanS #enterprise #guidelines #security
On Information Security Guidelines for Small/Medium Enterprises (DC, LS), pp. 3–9.
ICEISICEIS-v4-2004-LeDG #multi #ontology #problem #semantics #web
On Ontology Matching Problems — for Building a Corporate Semantic Web in a Multi-Communities Organization (BTL, RDK, FG), pp. 236–243.
CIKMCIKM-2004-ChundiR #documentation
On lossy time decompositions of time stamped documents (PC, DJR), pp. 437–445.
CIKMCIKM-2004-KumaranH #multi #relational #semantics
On semantic matching of multilingual attributes in relational systems (AK, JRH), pp. 230–231.
CIKMCIKM-2004-LiOM #clustering #multi
On combining multiple clusterings (TL, MO, SM), pp. 294–303.
CIKMCIKM-2004-MasonCV #traceability
On structuring formal, semi-formal and informal data to support traceability in systems engineering environments (PM, KC, PV), pp. 642–651.
ICPRICPR-v1-2004-MansillaH #classification
On Classifier Domains of Competence (EBiM, TKH), pp. 136–139.
ICPRICPR-v1-2004-PopoviciTRM #algorithm #detection #evaluation #locality #performance
On Performance Evaluation of Face Detection and Localization Algorithms (VP, JPT, YR, SM), pp. 313–317.
ICPRICPR-v2-2004-GritaiSS #analysis #invariant #using
On the use of Anthropometry in the Invariant Analysis of Human Actions (AG, YS, MS), pp. 923–926.
ICPRICPR-v2-2004-KampelS #3d #symmetry
On 3D Mosaicing of Rotationally Symmetric Ceramic Fragments (MK, RS), pp. 265–268.
ICPRICPR-v4-2004-ViguerasBS #multi
On the Influence of Fixing the Principal Point in Frame-by-Frame Multiplanar Calibration (JFV, MOB, GS), pp. 120–123.
ICPRICPR-v4-2004-YuWT #estimation
On Estimation of Secret Message Length in JSteg-like Steganography (XY, YW, TT), pp. 673–676.
KDDKDD-2004-AggarwalHWY #classification #data type
On demand classification of data streams (CCA, JH, JW, PSY), pp. 503–508.
KDDKDD-2004-Iyengar #clustering #detection
On detecting space-time clusters (VSI), pp. 587–592.
KDDKDD-2004-ZhangPT #statistics
On the discovery of significant statistical quantitative rules (HZ, BP, AT), pp. 374–383.
KRKR-2004-AmgoudC #using
On the Use of an ATMS for Handling Conflicting Desires (LA, CC), pp. 194–202.
KRKR-2004-EiterFTW #logic programming
On Eliminating Disjunctions in Stable Logic Programming (TE, MF, HT, SW), pp. 447–458.
KRKR-2004-EveraereKM
On Merging Strategy-Proofness (PE, SK, PM), pp. 357–368.
SEKESEKE-2004-Stojanovic #approach #modelling
On Modelling an e-shop Application on the Knowledge Level: e-ShopAgent Approach (NS), pp. 232–237.
SIGIRSIGIR-2004-Soboroff #documentation #web
On evaluating web search with very few relevant documents (IS), pp. 530–531.
SIGIRSIGIR-2004-TangDX #peer-to-peer #scalability #semantics
On scaling latent semantic indexing for large peer-to-peer systems (CT, SD, ZX), pp. 112–121.
SPLCSPLC-2004-Bosch #component #development #product line
On the Development of Software Product-Family Components (JB), pp. 146–164.
UMLUML-2004-JiangSZMMM #classification #metamodelling #uml
On the Classification of UML’s Meta Model Extension Mechanism (YJ, WS, LZ, ZM, XM, HM), pp. 54–68.
AdaEuropeAdaEurope-2004-BurgstallerBS #ada #source code
On the Tree Width of Ada Programs (BB, JB, BS), pp. 78–90.
AdaEuropeAdaEurope-2004-Olive #concept #development #information management
On the Role of Conceptual Schemas in Information Systems Development (AO), pp. 16–34.
LOPSTRLOPSTR-2004-SerebrenikM #source code #termination
On Termination of Binary CLP Programs (AS, FM), pp. 231–244.
LOPSTRPDCL-2004-Brogi #composition #logic programming #semantics
On the Semantics of Logic Program Composition (AB), pp. 115–151.
LOPSTRPDCL-2004-MartinK
On the Inference of Natural Level Mappings (JCM, AK), pp. 432–452.
SASSAS-2004-BozgaIL #alias #logic
On Logics of Aliasing (MB, RI, YL), pp. 344–360.
SACSAC-J-2003-BorgerCR04 #formal method #state machine #uml #using
On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.
SACSAC-J-2003-MeloM04 #composition #framework #java
On the composition of Java frameworks control-flows (ACVdM, BMM), pp. 301–307.
SACSAC-J-2003-YuNPC04 #testing
On the testing methods used by beginning software testers (YTY, SPN, PLP, TYC), pp. 329–335.
SACSAC-2004-BaralisCG #classification
On support thresholds in associative classification (EB, SC, PG), pp. 553–558.
SACSAC-2004-PardedeRT #using #xml
On using collection for aggregation and association relationships in XML object-relational storage (EP, JWR, DT), pp. 703–710.
SACSAC-2004-ZumpanoGTV #optimisation #power of #problem #semantics
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems (EZ, SG, IT, PV), pp. 692–697.
SACSAC-PL-J-2004-DamianiDG #classification #multi #thread
On Re-classification and Multi-threading (FD, MDC, PG), pp. 5–30.
GPCEGPCE-2004-LawallMM #component #design #domain-specific language #independence
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components (JLL, AFLM, GM), pp. 436–455.
DACDAC-2004-LiRP #fault #generative #testing
On test generation for transition faults with minimized peak power dissipation (WL, SMR, IP), pp. 504–509.
DACDAC-2004-Pomeranz #functional #generative #testing
On the generation of scan-based test sets with reachable states for testing under functional operation conditions (IP), pp. 928–933.
DACDAC-2004-RanM #configuration management #design
On designing via-configurable cell blocks for regular fabrics (YR, MMS), pp. 198–203.
DACDAC-2004-WangMCA #learning
On path-based learning and its applications in delay test and diagnosis (LCW, TMM, KTC, MSA), pp. 492–497.
DATEDATE-v1-2004-AlmukhaizimDM #bound #concurrent #detection #fault #latency
On Concurrent Error Detection with Bounded Latency in FSMs (SA, PD, YM), pp. 596–603.
DATEDATE-v1-2004-Cao #power management
On Transfer Function and Power Consumption Transient Response (LC), pp. 688–689.
PDPPDP-2004-VilayannurRCTSK #interface #performance
On the Performance of the POSIX I/O Interface to PVFS (MV, RBR, PHC, RT, AS, MTK), pp. 332–339.
DATEDATE-2005-HabibiAMT04 #design #interface #verification
On the Design and Verification Methodology of the Look-Aside Interface (AH, AIA, OAM, ST), pp. 290–295.
FoSSaCSFoSSaCS-2004-BozgaEL #effectiveness #encryption #protocol
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols (LB, CE, YL), pp. 42–57.
FoSSaCSFoSSaCS-2004-FokkinkN #finite #infinity
On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds (WF, SN), pp. 182–194.
FoSSaCSFoSSaCS-2004-GiambiagiSV #behaviour #calculus #infinity #process
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi (PG, GS, FDV), pp. 226–240.
FoSSaCSFoSSaCS-2004-MalerP
On Recognizable Timed Languages (OM, AP), pp. 348–362.
FoSSaCSFoSSaCS-2004-Meyer #term rewriting
On Term Rewriting Systems Having a Rational Derivation (AM), pp. 378–392.
STOCSTOC-2004-AlbersS #algorithm #performance
On the performance of greedy algorithms in packet buffering (SA, MS), pp. 35–44.
STOCSTOC-2004-Feige #bound #graph #independence #random
On sums of independent random variables with unbounded variance, and estimating the average degree in a graph (UF), pp. 594–603.
STOCSTOC-2004-Har-PeledM #clustering
On coresets for k-means and k-median clustering (SHP, SM), pp. 291–300.
CSLCSL-2004-ChatterjeeMJ #game studies #nash #probability
On Nash Equilibria in Stochastic Games (KC, RM, MJ), pp. 26–40.
CSLCSL-2004-Schubert
On the Building of Affine Retractions (AS), pp. 205–219.
CSLCSL-2004-StrassburgerL #linear #logic #multi #proving
On Proof Nets for Multiplicative Linear Logic with Units (LS, FL), pp. 145–159.
ICLPICLP-2004-LinkeTW #logic programming #source code
On Acyclic and Head-Cycle Free Nested Logic Programs (TL, HT, SW), pp. 225–239.
ICLPICLP-2004-MonfroySL #constraints
On Hybridization of Local Search and Constraint Propagation (EM, FS, TL), pp. 299–313.
ICLPICLP-2004-NieuwenborghHV #multi #order #source code
On Programs with Linearly Ordered Multiple Preferences (DVN, SH, DV), pp. 180–194.
LICSLICS-2004-FuhrmannP #geometry #interactive #logic
On the Geometry of Interaction for Classical Logic (CF, DJP), pp. 211–220.
LICSLICS-2004-Klaedtke #automaton
On the Automata Size for Presburger Arithmetic (FK), pp. 110–119.
LICSLICS-2004-OuaknineW #automaton #decidability #problem
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap (JO, JW), pp. 54–63.
ICTSSTestCom-2004-HuoP #testing
On Testing Partially Specified IOTS through Lossless Queues (JH, AP), pp. 76–94.
VMCAIVMCAI-2004-Sagiv #abstraction #canonical #power of
On the Expressive Power of Canonical Abstraction (SS), p. 58.
ICDARICDAR-2003-GarainC #comprehension #online
On Machine Understanding of Online Handwritten Mathematical Expressions (UG, BBC), pp. 349–353.
JCDLJCDL-2003-LiuLNG #metadata #query
On Querying Geospatial and Georeferenced Metadata Resources in G-Portal (ZL, EPL, WKN, DHLG), pp. 245–255.
PODSPODS-2003-AggarwalA #nearest neighbour
On nearest neighbor indexing of nonlinear trajectories (CCA, DA), pp. 252–259.
PODSPODS-2003-CaliLR #complexity #consistency #database #decidability #query #semistructured data
On the decidability and complexity of query answering over inconsistent and incomplete databases (AC, DL, RR), pp. 260–271.
PODSPODS-2003-DittrichSTW
On producing join results early (JPD, BS, DST, PW), pp. 134–142.
SIGMODSIGMOD-2003-ChaudhuriKN #relational #sorting #xml
On Relational Support for XML Publishing: Beyond Sorting and Tagging (SC, RK, JFN), pp. 611–622.
SIGMODSIGMOD-2003-KangN
On Schema Matching with Opaque Column Names and Data Values (JK, JFN), pp. 205–216.
VLDBVLDB-2003-FlescaFM #query #xpath
On the minimization of Xpath queries (SF, FF, EM), pp. 153–164.
VLDBVLDB-2003-KumaranH #cost analysis #database #multi
On the Costs of Multilingualism in Database Systems (AK, JRH), pp. 105–116.
CSEETCSEET-2003-KorneckiKGK #industrial
On a Partnership between Software Industry and Academia (AJK, SK, DPG, NK), pp. 60–69.
ICSMEICSM-2003-SartipiK #architecture #graph #modelling
On Modeling Software Architecture Recovery as Graph Matching (KS, KK), pp. 224–234.
DLTDLT-2003-DAlessandroV
On Well Quasi-orders on Languages (FD, SV), pp. 230–241.
DLTDLT-2003-Domaratzki #automaton
On Enumeration of Müller Automata (MD), pp. 254–265.
DLTDLT-2003-FreundMOP
On Three Classes of Automata-Like P Systems (RF, CMV, AO, GP), pp. 292–303.
DLTDLT-2003-GomezP
On a Conjecture of Schnoebelen (ACG, JÉP), pp. 35–54.
DLTDLT-2003-HolzerK #automaton #finite #monad
On Deterministic Finite Automata and Syntactic Monoid Size, Continued (MH, BK), pp. 349–360.
ICALPICALP-2003-BlomFN #axiom #simulation
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces (SB, WF, SN), pp. 109–118.
ICALPICALP-2003-CarayolC #infinity
On Equivalent Representations of Infinite Structures (AC, TC), pp. 599–610.
ICALPICALP-2003-Fotakis #online
On the Competitive Ratio for Online Facility Location (DF), pp. 637–652.
FMFME-2003-Randell #fault
On Failures and Faults (BR), pp. 18–39.
RTARTA-2003-SalvatiG #complexity #higher-order #linear #λ-calculus
On the Complexity of Higher-Order Matching in the Linear λ-Calculus (SS, PdG), pp. 234–245.
TLCATLCA-2003-Boudol #normalisation
On Strong Normalization in the Intersection Type Discipline (GB), pp. 60–74.
TLCATLCA-2003-LazicN #independence #semantics
On a Semantic Definition of Data Independence (RL, DN), pp. 226–240.
DiGRADiGRA-2003-Lammes #game studies
On the border: pleasure of exploration and colonial mastery in Civilization III play the world (SL).
AGTIVEAGTIVE-2003-SzubaOS #concept #design #graph
On Graphs in Conceptual Engineering Design (JS, AO, AS), pp. 75–89.
CAiSECAiSE-2003-Stojanovic #ontology #query #refinement
On the Query Refinement in the Ontology-Based Searching for Information (NS), pp. 324–339.
ICEISICEIS-v1-2003-AbelloRSODGS #object-oriented
On Operations to Conform Object-Oriented Schemas (AA, ER, FS, MO, CD, EG, JS), pp. 39–46.
ICEISICEIS-v2-2003-KeeniGS #learning #network #performance #using
On Fast Learning of Neural Networks Using Back Propagation (KK, <