884 papers:
CASE-2015-ChenHLL #development #ontology #tool support- Development of a Hybrid-Cloud-based Wheel-Manufacturing Service with Ontology inference for machine tools (CCC, MHH, YCL, PYL), pp. 1440–1445.
CASE-2015-ChouTHC #adaptation #algorithm #design #parametricity #process- Adaptive neuro-fuzzy inference system with evolutionary algorithm for designing process parameters of color filter (PYC, JTT, WHH, JHC), pp. 1555–1556.
HT-2015-BerettaMCM #interactive #twitter- An Interactive Method for Inferring Demographic Attributes in Twitter (VB, DM, TC, EM), pp. 113–122.
VLDB-2015-GatterbauerS #approximate #database #probability- Approximate Lifted Inference with Probabilistic Databases (WG, DS), pp. 629–640.
FASE-2015-AndriescuMI #automaton #data type #using- Composing Message Translators and Inferring Their Data Types Using Tree Automata (EA, TM, VI), pp. 35–50.
TACAS-2015-UnnoT #horn clause #recursion- Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling (HU, TT), pp. 149–163.
ICPC-2015-SaiedABS #api #library #question #source code #using- Could we infer unordered API usage patterns only using the library source code? (MAS, HA, OB, HAS), pp. 71–81.
PLDI-2015-LeQC #specification #termination- Termination and non-termination specification inference (TCL, SQ, WNC), pp. 489–498.
SAS-2015-HashimotoU #constraints #optimisation #refinement #type inference- Refinement Type Inference via Horn Constraint Optimization (KH, HU), pp. 199–216.
CIAA-2015-AdigaKMRRS #complexity- Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems (AA, CJK, MVM, SSR, DJR, RES), pp. 21–34.
ICALP-v1-2015-KannanM0 #complexity #graph #query- Near-Linear Query Complexity for Graph Inference (SK, CM, HZ), pp. 773–784.
FM-2015-DurandS #formal method #framework #generative #named- Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
CHI-2015-ShamiMPMG #social #social media- Inferring Employee Engagement from Social Media (NSS, MJM, AP, MM, WG), pp. 3999–4008.
ECIR-2015-LiC #effectiveness #using- Effective Healthcare Advertising Using Latent Dirichlet Allocation and Inference Engine (YCL, CCC), pp. 672–677.
ICML-2015-DasBB #modelling #order #parametricity- Ordered Stick-Breaking Prior for Sequential MCMC Inference of Bayesian Nonparametric Models (MKD, TB, CB), pp. 550–559.
ICML-2015-DjolongaK #modelling #scalability- Scalable Variational Inference in Log-supermodular Models (JD, AK), pp. 1804–1813.
ICML-2015-FilipponeE #linear #probability #process #scalability- Enabling scalable stochastic gradient-based inference for Gaussian processes by employing the Unbiased LInear System SolvEr (ULISSE) (MF, RE), pp. 1015–1024.
ICML-2015-FlaxmanWNNS #performance #process- Fast Kronecker Inference in Gaussian Processes with non-Gaussian Likelihoods (SF, AGW, DN, HN, AJS), pp. 607–616.
ICML-2015-GeCWG #distributed #modelling #process- Distributed Inference for Dirichlet Process Mixture Models (HG, YC, MW, ZG), pp. 2276–2284.
ICML-2015-GeigerZSGJ #component #identification #process- Causal Inference by Identification of Vector Autoregressive Processes with Hidden Components (PG, KZ, BS, MG, DJ), pp. 1917–1925.
ICML-2015-GlobersonRSY #how #predict #question- How Hard is Inference for Structured Prediction? (AG, TR, DS, CY), pp. 2181–2190.
ICML-2015-HeRFGL #modelling #named #network #topic- HawkesTopic: A Joint Model for Network Inference and Topic Modeling from Text-Based Cascades (XH, TR, JRF, LG, YL), pp. 871–880.
ICML-2015-HoangHL #big data #framework #modelling #probability #process- A Unifying Framework of Anytime Sparse Gaussian Process Regression Models with Stochastic Variational Inference for Big Data (TNH, QMH, BKHL), pp. 569–578.
ICML-2015-LloydGOR #process- Variational Inference for Gaussian Process Modulated Poisson Processes (CML, TG, MAO, SJR), pp. 1814–1822.
ICML-2015-LondonHG #approximate #learning- The Benefits of Learning with Strongly Convex Approximate Inference (BL, BH, LG), pp. 410–418.
ICML-2015-Lopez-PazMST #learning #towards- Towards a Learning Theory of Cause-Effect Inference (DLP, KM, BS, IT), pp. 1452–1461.
ICML-2015-Pouget-AbadieH #framework #graph- Inferring Graphs from Cascades: A Sparse Recovery Framework (JPA, TH), pp. 977–986.
ICML-2015-RegierMMAHLSP #generative #image #named- Celeste: Variational inference for a generative model of astronomical images (JR, AM, JM, RPA, MDH, DL, DS, P), pp. 2095–2103.
ICML-2015-RezendeM #normalisation- Variational Inference with Normalizing Flows (DJR, SM), pp. 1530–1538.
ICML-2015-SalimansKW #markov #monte carlo- Markov Chain Monte Carlo and Variational Inference: Bridging the Gap (TS, DPK, MW), pp. 1218–1226.
ICML-2015-SamoR #parametricity #process #scalability- Scalable Nonparametric Bayesian Inference on Point Processes with Gaussian Processes (YLKS, SR), pp. 2227–2236.
ICML-2015-ShahKG #algorithm #empirical #probability #process- An Empirical Study of Stochastic Variational Inference Algorithms for the Beta Bernoulli Process (AS, DAK, ZG), pp. 1594–1603.
ICML-2015-ShethWK #modelling- Sparse Variational Inference for Generalized GP Models (RS, YW, RK), pp. 1302–1311.
ICML-2015-TheisH #probability #streaming- A trust-region method for stochastic variational inference with applications to streaming data (LT, MDH), pp. 2503–2511.
ICML-2015-WinnerBS- Inference in a Partially Observed Queuing Model with Applications in Ecology (KW, GB, DS), pp. 2512–2520.
ICML-2015-ZhuE #approach #hybrid #probability #random #using- A Hybrid Approach for Probabilistic Inference using Random Projections (MZ, SE), pp. 2039–2047.
KDD-2015-Athey #evaluation #machine learning #policy- Machine Learning and Causal Inference for Policy Evaluation (SA), pp. 5–6.
KDD-2015-ChenXZX- Differentially Private High-Dimensional Data Publication via Sampling-Based Inference (RC, QX, YZ, JX), pp. 129–138.
KDD-2015-FlaxmanWS- Who Supported Obama in 2012?: Ecological Inference through Distribution Regression (SRF, YXW, AJS), pp. 289–298.
KDD-2015-HsiehLZ #big data #quality #recommendation- Inferring Air Quality for Station Location Recommendation Based on Urban Big Data (HPH, SDL, YZ), pp. 437–446.
KDD-2015-McAuleyPL #network- Inferring Networks of Substitutable and Complementary Products (JJM, RP, JL), pp. 785–794.
KDD-2015-SatoN #online #probability- Stochastic Divergence Minimization for Online Collapsed Variational Bayes Zero Inference of Latent Dirichlet Allocation (IS, HN), pp. 1035–1044.
KDD-2015-ScheinPBW #multi- Bayesian Poisson Tensor Factorization for Inferring Multilateral Relations from Sparse Dyadic Event Counts (AS, JWP, DMB, HMW), pp. 1045–1054.
KDD-2015-ZhangYL- Organizational Chart Inference (JZ, PSY, YL), pp. 1435–1444.
RecSys-2015-Salehi-AbariB #network #recommendation #social- Preference-oriented Social Networks: Group Recommendation and Inference (ASA, CB), pp. 35–42.
SIGIR-2015-LagunA #interactive #modelling- Inferring Searcher Attention by Jointly Modeling User Interactions and Content Salience (DL, EA), pp. 483–492.
ECMFA-2015-ZolotasMDKP #flexibility #modelling #type inference- Type Inference in Flexible Model-Driven Engineering (AZ, NDM, SD, DSK, RFP), pp. 75–91.
ECOOP-2015-HaqueP #type inference- Type Inference for Place-Oblivious Objects (RH, JP), pp. 371–395.
OOPSLA-2015-BostonSGC #approximate #flexibility #probability #programming #type inference- Probability type inference for flexible approximate programming (BB, AS, DG, LC), pp. 470–487.
OOPSLA-2015-OuD #automation #memory management #named #order #parametricity- AutoMO: automatic inference of memory order parameters for C/C++11 (PO, BD), pp. 221–240.
PADL-2015-ShterionovJ #implementation #performance #pipes and filters #probability- Implementation and Performance of Probabilistic Inference Pipelines (DSS, GJ), pp. 90–104.
PADL-2015-Tarau #combinator #generative #logic programming #normalisation #on the #type inference- On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.
POPL-2015-BastaniAA #context-free grammar #reachability #specification #using- Specification Inference Using Context-Free Language Reachability (OB, SA, AA), pp. 553–566.
POPL-2015-Castagna0XA #polymorphism #re-engineering #type inference- Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction (GC, KN, ZX, PA), pp. 289–302.
SAC-2015-JeongYAYP #algorithm #interactive #network #search-based #using- Inference of disease-specific gene interaction network using a Bayesian network learned by genetic algorithm (DJ, YY, JA, YY, SP), pp. 47–53.
SAC-2015-ShterionovJ #component #pipes and filters #probability- Crucial components in probabilistic inference pipelines (DSS, GJ), pp. 1887–1889.
ICSE-v1-2015-VakilianPEJ #named- Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool (MV, AP, MDE, REJ), pp. 234–245.
ICSE-v2-2015-RajanNL0 #behaviour #repository #scalability #specification- Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence (HR, TNN, GTL, RD), pp. 579–582.
CADE-2015-GransdenWR #automaton #named #proving #using- SEPIA: Search for Proofs Using Inferred Automata (TG, NW, RR), pp. 246–255.
CAV-2015-KarbyshevBIRS #invariant #proving- Property-Directed Inference of Universal Invariants or Proving Their Absence (AK, NB, SI, NR, SS), pp. 583–602.
ICST-2015-ArltMPW #dependence #testing- If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.
ICST-2015-Felbinger #assessment #model inference #quality #testing #using- Test Suite Quality Assessment Using Model Inference Techniques (HF), pp. 1–2.
ISSTA-2015-DhokMR #automation #named #parallel #thread- Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
RTA-2015-FrohnGHAS #bound #complexity #runtime- Inferring Lower Bounds for Runtime Complexity (FF, JG, JH, CA, TS), pp. 334–349.
VMCAI-2015-Ferrara0N #automation- Automatic Inference of Heap Properties Exploiting Value Domains (PF, PM, MN), pp. 393–411.
VMCAI-2015-ZhuNJ #array #testing #type inference- Dependent Array Type Inference from Tests (HZ, AVN, SJ), pp. 412–430.
ASE-2014-OhmannHFHPBB #behaviour #model inference #resource management- Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.
ASE-2014-ZhangCHXXZM #polynomial #search-based- Search-based inference of polynomial metamorphic relations (JZ, JC, DH, YX, BX, LZ, HM), pp. 701–712.
DAC-2014-YounGK #debugging #locality #probability #statistics- Probabilistic Bug Localization via Statistical Inference based on Partially Observed Data (SY, CG, JK), p. 6.
DAC-2014-YuSHEAB #metric #parametricity #using- Remembrance of Transistors Past: Compact Model Parameter Extraction Using Bayesian Inference and Incomplete New Measurements (LY, SS, CH, IAME, DAA, DSB), p. 6.
HT-2014-HuangWV #twitter- Inferring nationalities of Twitter users and studying inter-national linking (WH, IW, SV), pp. 237–242.
HT-2014-SharmaSS #process #social #twitter- Inferring social ties from common activities in twitter (US, AS, SS), pp. 318–320.
VLDB-2014-BonifatiCS #interactive #query- Interactive Join Query Inference with JIM (AB, RC, SS), pp. 1541–1544.
VLDB-2015-ZhangWWY14 #behaviour #predict #social- Inferring Continuous Dynamic Social Influence and Personal Preference for Temporal Behavior Prediction (JZ, CW, JW, JXY), pp. 269–280.
ESOP-2014-UrbanM #abstract domain #ranking- An Abstract Domain to Infer Ordinal-Valued Ranking Functions (CU, AM), pp. 412–431.
CSMR-WCRE-2014-BuchlerHMMGO #model inference #security #testing- Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.
ICSME-2014-LeYLTR #contract- Dynamic Inference of Change Contracts (TDBL, JY, DL, FT, AR), pp. 451–455.
PEPM-J-2013-Simon14 #type inference #using- Deriving a complete type inference for Hindley-Milner and vector sizes using expansion (AS), pp. 254–271.
PLDI-2014-Simon #polymorphism- Optimal inference of fields in row-polymorphic records (AS), p. 13.
SAS-2014-ChenLMKW #abstract domain #constraints- An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
SEFM-2014-PunSS #behaviour #concurrent- Effect-Polymorphic Behaviour Inference for Deadlock Checking (KIP, MS, VS), pp. 50–64.
CHI-2014-Gilbert #performance #social #what- What if we ask a different question?: social inferences create product ratings faster (EG), pp. 2759–2762.
CSCW-2014-JacoviGKPA #enterprise #social #social media- The perception of others: inferring reputation from social media in the enterprise (MJ, IG, SKD, SP, NAR), pp. 756–766.
CSCW-2014-PriedhorskyCV #twitter- Inferring the origin locations of tweets with quantitative confidence (RP, AC, SYDV), pp. 1523–1536.
CIKM-2014-LiZLW #classification #probability- Probabilistic Classifier Chain Inference via Gibbs Sampling (LL, LZ, GL, HW), pp. 1855–1858.
CIKM-2014-PfeifferNB #learning #network #probability #using- Active Exploration in Networks: Using Probabilistic Relationships for Learning and Inference (JJPI, JN, PNB), pp. 639–648.
CIKM-2014-YamaguchiAKI #correlation #online #social- Online User Location Inference Exploiting Spatiotemporal Correlations in Social Streams (YY, TA, HK, YI), pp. 1139–1148.
ECIR-2014-BastH #information management- More Informative Open Information Extraction via Simple Inference (HB, EH), pp. 585–590.
ICML-c1-2014-LethamSS #transaction- Latent Variable Copula Inference for Bundle Pricing from Retail Transaction Data (BL, WS, AS), pp. 217–225.
ICML-c2-2014-BartunovV #distance #process- Variational Inference for Sequential Distance Dependent Chinese Restaurant Process (SB, DV), pp. 1404–1412.
ICML-c2-2014-CelikkayaS #markov #probability #process- Deterministic Anytime Inference for Stochastic Continuous-Time Markov Processes (EBC, CRS), pp. 1962–1970.
ICML-c2-2014-ChakrabartiFCM #multi #network #scalability- Joint Inference of Multiple Label Types in Large Networks (DC, SF, JC, SAM), pp. 874–882.
ICML-c2-2014-DasL #automation #interactive- Automated inference of point of view from user interactions in collective intelligence venues (SD, AL), pp. 82–90.
ICML-c2-2014-GalG #parallel #process- Pitfalls in the use of Parallel Inference for the Dirichlet Process (YG, ZG), pp. 208–216.
ICML-c2-2014-Hernandez-LobatoHG #matrix #modelling #probability #scalability- Stochastic Inference for Scalable Probabilistic Modeling of Binary Matrices (JMHL, NH, ZG), pp. 379–387.
ICML-c2-2014-JohnsonW #modelling #probability- Stochastic Variational Inference for Bayesian Time Series Models (MJ, ASW), pp. 1854–1862.
ICML-c2-2014-KingmaW #performance- Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.
ICML-c2-2014-KpotufeSJS #consistency- Consistency of Causal Inference under the Additive Noise Model (SK, ES, DJ, BS), pp. 478–486.
ICML-c2-2014-MinskerSLD #robust #scalability- Scalable and Robust Bayesian Inference via the Median Posterior (SM, SS, LL, DBD), pp. 1656–1664.
ICML-c2-2014-MnihG #learning #network- Neural Variational Inference and Learning in Belief Networks (AM, KG), pp. 1791–1799.
ICML-c2-2014-RezendeMW #approximate #generative #modelling #probability- Stochastic Backpropagation and Approximate Inference in Deep Generative Models (DJR, SM, DW), pp. 1278–1286.
ICML-c2-2014-TitsiasL #probability- Doubly Stochastic Variational Bayes for non-Conjugate Inference (MKT, MLG), pp. 1971–1979.
ICPR-2014-Filippone #classification #process #pseudo- Bayesian Inference for Gaussian Process Classifiers with Annealing and Pseudo-Marginal MCMC (MF), pp. 614–619.
ICPR-2014-GuoCLHS #ambiguity #automation #identification #multi- Multi-shot Person Re-identification with Automatic Ambiguity Inference and Removal (CCG, SZC, JHL, XJH, SCS), pp. 3540–3545.
ICPR-2014-RaoRS #image- Inferring Plane Orientation from a Single Motion Blurred Image (MPR, ANR, GS), pp. 2089–2094.
ICPR-2014-SengerSMK #behaviour #multi #segmentation- Velocity-Based Multiple Change-Point Inference for Unsupervised Segmentation of Human Movement Behavior (LS, MS, JHM, EAK), pp. 4564–4569.
ICPR-2014-TanakaO #novel #strict- A Novel Inference of a Restricted Boltzmann Machine (MT, MO), pp. 1526–1531.
ICPR-2014-WangDWLZJ- Depth Super-resolution by Fusing Depth Imaging and Stereo Vision with Structural Determinant Information Inference (YW, HD, BW, WL, JZ, YJ), pp. 4212–4217.
ICPR-2014-Yasuda #effectiveness- Effective Mean-Field Inference Method for Nonnegative Boltzmann Machines (MY), pp. 3600–3605.
KDD-2014-DongYTYC #mobile #network #social- Inferring user demographics and social strategies in mobile social networks (YD, YY, JT, YY, NVC), pp. 15–24.
KDD-2014-KurashimaITS #network #probability #visualisation- Probabilistic latent network visualization: inferring and embedding diffusion networks (TK, TI, NT, HS), pp. 1236–1245.
KDD-2014-ShangZTCY- Inferring gas consumption and pollution emission of vehicles throughout a city (JS, YZ, WT, EC, YY), pp. 1027–1036.
KDD-2014-WangHYL #multi #named #network- MMRate: inferring multi-aspect diffusion networks with multi-pattern cascades (SW, XH, PSY, ZL), pp. 1246–1255.
KDD-2014-XiaoCT #network- Differentially private network data release via structural inference (QX, RC, KLT), pp. 911–920.
RecSys-2014-BastianHVSSKUL #scalability #topic- LinkedIn skills: large-scale topic extraction and inference (MB, MH, WV, SS, PS, HJK, SU, CL), pp. 1–8.
RecSys-2014-BhattacharyaZGGG #network #social #twitter- Inferring user interests in the Twitter social network (PB, MBZ, NG, SG, KPG), pp. 357–360.
RecSys-2014-LiuGWB #power of #using- Improving the discriminative power of inferred content information using segmented virtual profile (HL, AG, TW, AB), pp. 97–104.
SIGIR-2014-ChenGLH #topic #twitter- Inferring topic-dependent influence roles of Twitter users (CC, DG, WL, YH), pp. 1203–1206.
SIGIR-2014-Voorhees #metric- The effect of sampling strategy on inferred measures (EMV), pp. 1119–1122.
Onward-2014-SpasojevicLN #ecosystem #mining #type inference- Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages (BS, ML, ON), pp. 133–142.
OOPSLA-2014-AltidorS #java #refactoring- Refactoring Java generics by inferring wildcards, in practice (JA, YS), pp. 271–290.
PADL-2014-LierlerT #composition- Abstract Modular Inference Systems and Solvers (YL, MT), pp. 49–64.
SAC-2014-SeffrinRJ #algebra #network- A dynamic bayesian network for inference of learners’ algebraic knowledge (HMS, GLR, PAJ), pp. 235–240.
ICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling- Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
SLE-J-2012-StevensonC #bibliography #grammar inference #re-engineering- A survey of grammatical inference in software engineering (AS, JRC), pp. 444–459.
SPLC-2014-NobauerSG #standard #variability- Inferring variability from customized standard software products (MN, NS, IG), pp. 284–293.
SPLC-2014-VacchiCCA #automation #component #implementation #model inference #variability- Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
CGO-2014-KashyapH #security- Security Signature Inference for JavaScript-based Browser Addons (VK, BH), p. 219.
CAV-2014-0001A #invariant #random #using- From Invariant Checking to Invariant Inference Using Randomized Search (RS, AA), pp. 88–105.
CAV-2014-MadhavanK #bound #functional #source code- Symbolic Resource Bound Inference for Functional Programs (RM, VK), pp. 762–778.
ICLP-J-2014-DuckHS #confluence #consistency #on the #termination #type inference- On Termination, Confluence and Consistent CHR-based Type Inference (GJD, RH, MS), pp. 619–632.
LICS-CSL-2014-Das #on the- On the pigeonhole and related principles in deep inference and monotone systems (AD), p. 10.
ASE-2013-NguyenT #automation #classification #combinator #dependence #testing- Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.
DAC-2013-GuCL #estimation #performance #validation- Efficient moment estimation with extremely small sample size via bayesian inference for analog/mixed-signal validation (CG, EC, XL), p. 7.
ICDAR-2013-PuriST #learning #network- Bayesian Network Structure Learning and Inference Methods for Handwriting (MP, SNS, YT), pp. 1320–1324.
SIGMOD-2013-PhamSL #named #social- EBM: an entropy-based model to infer social strength from spatiotemporal data (HP, CS, YL), pp. 265–276.
SIGMOD-2013-ZhangGBFRP #named #statistics #using- GeoDeepDive: statistical inference using familiar data-processing languages (CZ, VG, JB, TF, CR, SP), pp. 993–996.
VLDB-2013-0002GJ #correlation #markov #modelling #using- Travel Cost Inference from Sparse, Spatio-Temporally Correlated Time Series Using Markov Models (BY, CG, CSJ), pp. 769–780.
ESOP-2013-HofmannR #analysis #automation #type inference- Automatic Type Inference for Amortised Heap-Space Analysis (MH, DR), pp. 593–613.
ESOP-2013-SeghirK- Counterexample-Guided Precondition Inference (MNS, DK), pp. 451–471.
PASTE-2013-DingesCA #automation #concurrent #execution #set- Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.
SCAM-2013-NicolayNRM #javascript #type inference #using- Determining dynamic coupling in JavaScript using object type inference (JN, CN, CDR, WDM), pp. 126–135.
WCRE-2013-WalkinshawTD #finite #modelling #state machine- Inferring Extended Finite State Machine models from software executions (NW, RT, JD), pp. 301–310.
PEPM-2013-AlpuenteFV #automation #logic #specification #using- Automatic inference of specifications using matching logic (MA, MAF, AV), pp. 127–136.
PEPM-2013-CominiT #automation #equivalence #linear #named #term rewriting- TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems (MC, LT), pp. 67–70.
PEPM-2013-Simon #type inference #using- Deriving a complete type inference for hindley-milner and vector sizes using expansion (AS), pp. 13–22.
PLDI-2013-SankaranarayananCG #probability #source code #static analysis- Static analysis for probabilistic programs: inferring whole program properties from finitely many paths (SS, AC, SG), pp. 447–458.
IFM-2013-TaylorBD #automation #behaviour #erlang- Automatic Inference of Erlang Module Behaviour (RT, KB, JD), pp. 253–267.
SEFM-2013-KringsL #modelling #physics- Inferring Physical Units in B Models (SK, ML), pp. 137–151.
CHI-2013-WieseSB #mobile #named- Phoneprioception: enabling mobile phones to infer where they are kept (JW, TSS, AJBB), pp. 2157–2166.
HILT-2013-Logozzo13a #contract- Technology for inferring contracts from code (FL), pp. 13–14.
ICEIS-J-2013-YaguinumaMSCR13a #fuzzy #ontology #reasoning- Combining Fuzzy Ontology Reasoning and Mamdani Fuzzy Inference System with HyFOM Reasoner (CAY, WCPMJ, MTPS, HAC, MR), pp. 174–189.
ICEIS-v1-2013-Castanon-PugaCF #fuzzy #java #library #named #object-oriented- JT2FIS: Java Type-2 Fuzzy Inference System — An Object-oriented Class Library for Building Java Intelligent Applications (MCP, JRC, MFP), pp. 524–529.
CIKM-2013-KongZY #multi #network #social- Inferring anchor links across multiple heterogeneous social networks (XK, JZ, PSY), pp. 179–188.
ICML-c2-2013-RanganathWBX #adaptation #learning #probability- An Adaptive Learning Rate for Stochastic Variational Inference (RR, CW, DMB, EPX), pp. 298–306.
ICML-c3-2013-KhanAFS #modelling #performance- Fast Dual Variational Inference for Non-Conjugate Latent Gaussian Models (MEK, AYA, MPF, MWS), pp. 951–959.
ICML-c3-2013-KolmogorovT #algorithm #sequence- Inference algorithms for pattern-based CRFs on sequence data (RT, VK), pp. 145–153.
ICML-c3-2013-KraehenbuehlK #convergence #learning #parametricity #random- Parameter Learning and Convergent Inference for Dense Random Fields (PK, VK), pp. 513–521.
ICML-c3-2013-SheldonSKD #approximate #modelling #visual notation- Approximate Inference in Collective Graphical Models (DS, TS, AK, TGD), pp. 1004–1012.
KDD-2013-AbrahaoCKP #complexity #network- Trace complexity of network inference (BDA, FC, RK, AP), pp. 491–499.
KDD-2013-ChiangLPY- Inferring distant-time location in low-sampling-rate trajectories (MFC, YHL, WCP, PSY), pp. 1454–1457.
KDD-2013-FouldsBDSW #probability- Stochastic collapsed variational Bayesian inference for latent Dirichlet allocation (JRF, LB, CD, PS, MW), pp. 446–454.
KDD-2013-RamanSGJ #big data #pipes and filters- Beyond myopic inference in big data pipelines (KR, AS, JG, TJ), pp. 86–94.
KDD-2013-ZhangWNLWY #how #named #network #predict #social #visualisation- LAFT-Explorer: inferring, visualizing and predicting how your social network expands (JZ, CW, YN, YL, JW, PSY), pp. 1510–1513.
KDD-2013-ZhaoWYLZ #network #social- Inferring social roles and statuses in social networks (YZ, GW, PSY, SL, SZ), pp. 695–703.
KDD-2013-ZhengLH #big data #named #quality- U-Air: when urban air quality inference meets big data (YZ, FL, HPH), pp. 1436–1444.
KDD-2013-ZhuZZZ #modelling #scalability #topic- Scalable inference in max-margin topic models (JZ, XZ, LZ, BZ), pp. 964–972.
MLDM-2013-BouillonAA #evolution #fuzzy #gesture #learning #recognition- Decremental Learning of Evolving Fuzzy Inference Systems: Application to Handwritten Gesture Recognition (MB, ÉA, AA), pp. 115–129.
MLDM-2013-LiuLM #approach #combinator #lightweight #multi- A Lightweight Combinatorial Approach for Inferring the Ground Truth from Multiple Annotators (XL, LL, NDM), pp. 616–628.
ECOOP-2013-ZhuL #composition #linear #programming- Heap Decomposition Inference with Linear Programming (HSZ, YDL), pp. 104–128.
OOPSLA-2013-DilligDLM #abduction #generative #induction #invariant- Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.
SAC-2013-BlancoR #query #recommendation- Inferring user utility for query revision recommendation (HB, FR), pp. 245–252.
ESEC-FSE-2013-ClaretRNGB #analysis #data flow #using- Bayesian inference using data flow analysis (GC, SKR, AVN, ADG, JB), pp. 92–102.
ESEC-FSE-2013-LiangWXM #debugging #detection- Inferring project-specific bug patterns for detecting sibling bugs (GL, QW, TX, HM), pp. 565–575.
ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant- Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification- Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
ICSE-2013-GivensCSY #grammar inference #user interface- Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference (PG, AC, SS, TY), pp. 1165–1168.
ICSE-2013-GokhaleGP #api- Inferring likely mappings between APIs (AG, VG, YP), pp. 82–91.
CADE-2013-Comon-LundhCS #deduction- Tractable Inference Systems: An Extension with a Deducibility Predicate (HCL, VC, GS), pp. 91–108.
CAV-2013-DilligD #abduction #named- Explain: A Tool for Performing Abductive Inference (ID, TD), pp. 684–689.
ICST-2013-ShuSPC #fault #locality #named- MFL: Method-Level Fault Localization with Causal Inference (GS, BS, AP, FC), pp. 124–133.
ICST-2013-YeolekarUAKV #generative #model checking #scalability #testing #using- Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
ISSTA-2013-NijjarB- Data model property inference and repair (JN, TB), pp. 202–212.
ISSTA-2013-XiaoHZX #identification #performance- Context-sensitive delta inference for identifying workload-dependent performance bottlenecks (XX, SH, DZ, TX), pp. 90–100.
RTA-2013-Das #linear #logic- Rewriting with Linear Inferences in Propositional Logic (AD), pp. 158–173.
VMCAI-2013-CousotCFL #automation- Automatic Inference of Necessary Preconditions (PC, RC, MF, FL), pp. 128–148.
VMCAI-2013-ZhuJ #composition #dependent type #lightweight #ml #type inference- Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.
ASE-2012-AndersenNLLK #semantics- Semantic patch inference (JA, ACN, DL, JLL, SCK), pp. 382–385.
ASE-2012-WestermannHKF #automation #performance #predict- Automated inference of goal-oriented performance prediction functions (DW, JH, RK, RF), pp. 190–199.
CASE-2012-HoNNH #question #what- What can be inferred from a tactile arrayed sensor in autonomous in-hand manipulation? (VAH, TN, AN, SH), pp. 461–468.
DATE-2012-ShoaibJV- Enabling advanced inference on sensor nodes through direct use of compressively-sensed signals (MS, NKJ, NV), pp. 437–442.
ICSM-2012-QianZ #java #memory management- Inferring weak references for fixing Java memory leaks (JQ, XZ), pp. 571–574.
ICSM-2012-Song0XS #api #data access- Inferring the data access from the clients of generic APIs (HS, GH, YX, YS), pp. 388–397.
ICSM-2012-WangLJ #collaboration #semantics #taxonomy- Inferring semantically related software terms and their taxonomy by leveraging collaborative tagging (SW, DL, LJ), pp. 604–607.
MSR-2012-YangT #semantics #word- Inferring semantically related words from software context (JY, LT), pp. 161–170.
WCRE-2012-LavoieKMZ #clone detection #detection #nearest neighbour #repository #using- Inferring Repository File Structure Modifications Using Nearest-Neighbor Clone Detection (TL, FK, EM, YZ), pp. 325–334.
PLDI-2012-DilligDA #abduction #automation #fault #using- Automated error diagnosis using abductive inference (ID, TD, AA), pp. 181–192.
PLDI-2012-HackettG #hybrid #javascript #performance #precise #type inference- Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.
PLDI-2012-OanceaR #logic #parallel- Logical inference techniques for loop parallelization (CEO, LR), pp. 509–520.
SAS-2012-CacheraJJK #imperative #invariant #polynomial #source code- Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (DC, TPJ, AJ, FK), pp. 58–74.
SAS-2012-ChengR #abstract domain #spreadsheet- An Abstract Domain to Infer Types over Zones in Spreadsheets (TC, XR), pp. 94–110.
CIKM-2012-ChenZMZ #social- 4Is of social bully filtering: identity, inference, influence, and intervention (YC, LZ, AM, YZ), pp. 2677–2679.
CIKM-2012-Cummins #on the #precise- On the inference of average precision from score distributions (RC), pp. 2435–2438.
CIKM-2012-HongZCYZZ #recognition- Cross-argument inference for implicit discourse relation recognition (YH, XZ, TC, JMY, QZ, GZ), pp. 295–304.
CIKM-2012-RajputEPA #documentation- Constructing test collections by inferring document relevance via extracted relevant information (SR, MEA, VP, JAA), pp. 145–154.
ECIR-2012-DaiPKA- Extended Expectation Maximization for Inferring Score Distributions (KD, VP, EK, JAA), pp. 293–304.
ECIR-2012-HosseiniCMKV #documentation #multi #on the- On Aggregating Labels from Multiple Crowd Workers to Infer Relevance of Documents (MH, IJC, NMF, GK, VV), pp. 182–194.
ICML-2012-GershmanHB #parametricity- Nonparametric variational inference (SG, MDH, DMB), p. 35.
ICML-2012-Gomez-RodriguezS12a #multi #network- Submodular Inference of Diffusion Networks from Multiple Trees (MGR, BS), p. 206.
ICML-2012-HartikainenSS #modelling #predict- State-Space Inference for Non-Linear Latent Force Models with Application to Satellite Orbit Prediction (JH, MS, SS), p. 96.
ICML-2012-KoS #modelling #scalability- Large Scale Variational Bayesian Inference for Structured Scale Mixture Models (YJK, MWS), p. 229.
ICML-2012-MauaC- Anytime Marginal MAP Inference (DDM, CPdC), p. 181.
ICML-2012-MimnoHB #probability- Sparse stochastic inference for latent Dirichlet allocation (DMM, MDH, DMB), p. 197.
ICML-2012-MysoreS #markov #modelling #performance- Variational Inference in Non-negative Factorial Hidden Markov Models for Efficient Audio Source Separation (GJM, MS), p. 194.
ICML-2012-PaisleyBJ #probability- Variational Bayesian Inference with Stochastic Search (JWP, DMB, MIJ), p. 177.
ICML-2012-RavanbakhshYG #approximate #modelling #visual notation- A Generalized Loop Correction Method for Approximate Inference in Graphical Models (S(R, CNY, RG), p. 84.
ICML-2012-SalazarC #category theory #relational- Inferring Latent Structure From Mixed Real and Categorical Relational Data (ES, LC), p. 219.
ICML-2012-SatoN- Rethinking Collapsed Variational Bayes Inference for LDA (IS, HN), p. 101.
ICPR-2012-Capitaine #equivalence #probability- Set-valued Bayesian inference with probabilistic equivalence (HLC), pp. 2132–2135.
ICPR-2012-WangHB #bound #locality- Glass object localization by joint inference of boundary and depth (TW, XH, NB), pp. 3783–3786.
KDD-2012-Jordan #big data #divide and conquer #statistics- Divide-and-conquer and statistical inference for big data (MIJ), p. 4.
KDD-2012-LiuBEWFZ #comparison #mining #scalability- Mining large-scale, sparse GPS traces for map inference: comparison of approaches (XL, JB, JE, YW, GF, YZ), pp. 669–677.
KDD-2012-LiWDWC #profiling #social #towards- Towards social user profiling: unified and discriminative influence model for inferring home locations (RL, SW, HD, RW, KCCC), pp. 1023–1031.
KDD-2012-SatoKN #process- Practical collapsed variational bayes inference for hierarchical dirichlet process (IS, KK, HN), pp. 105–113.
KDIR-2012-Beranek #framework- A Framework for Situation Inference based on Belief Function Theory (LB), pp. 358–361.
KMIS-2012-KataokaTKH #information management #network- An Information Sharing Method for Skilled Management Operations based on Bayesian Network Inference (TK, KT, MK, MH), pp. 257–260.
MLDM-2012-SapkotaBS #grammar inference #principle #using- Unsupervised Grammar Inference Using the Minimum Description Length Principle (US, BRB, APS), pp. 141–153.
RecSys-2012-WeinsbergBIT #gender #named #obfuscation- BlurMe: inferring and obfuscating user gender based on ratings (UW, SB, SI, NT), pp. 195–202.
SEKE-2012-NetoBSACR #fuzzy #testing- Regression Testing Prioritization Based on Fuzzy Inference Systems (PSN, RB, TS, WA, JC, RALR), pp. 273–278.
SIGIR-2012-ChandarC12a #rank #using- Using PageRank to infer user preferences (PC, BC), pp. 1167–1168.
SIGIR-2012-JungL #matrix #probability- Inferring missing relevance judgments from crowd workers via probabilistic matrix factorization (HJJ, ML), pp. 1095–1096.
SIGIR-2012-TsagkiasB #behaviour #modelling- Language intent models for inferring user browsing behavior (MT, RB), pp. 335–344.
TOOLS-EUROPE-J-2011-HeideggerT12 #javascript #named #testing- JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript (PH, PT), pp. 1–29.
ECOOP-2012-GudkaHE #library #scalability- Lock Inference in the Presence of Large Libraries (KG, TH, SE), pp. 308–332.
ECOOP-2012-HuangDME- Inference and Checking of Object Ownership (WH, WD, AM, MDE), pp. 181–206.
OOPSLA-2012-HuangMDE- Reim & ReImInfer: checking and inference of reference immutability and method purity (WH, AM, WD, MDE), pp. 879–896.
GPCE-2012-BauerEFP #adaptation #performance- Faster program adaptation through reward attribution inference (TB, ME, AF, JP), pp. 103–111.
PADL-2012-ZhuFW #ad hoc #incremental- LearnPADS + + : Incremental Inference of Ad Hoc Data Formats (KQZ, KF, DW), pp. 168–182.
POPL-2012-BotincanDJ #abduction- Resource-sensitive synchronization inference by abduction (MB, MD, SJ), pp. 309–322.
POPL-2012-RastogiCH #type inference- The ins and outs of gradual type inference (AR, AC, BH), pp. 481–494.
SAC-2012-PaivaPR #mobile- Topological inference through mobile devices (MAP, MP, RJFR), pp. 574–575.
SAC-2012-QiCLHW #collaboration #using- Using inferred tag ratings to improve user-based collaborative filtering (QQ, ZC, JL, CH, QW), pp. 2008–2013.
FSE-2012-CanaveraEM #adaptation #execution #mining- Mining the execution history of a software system to infer the best time for its adaptation (KRC, NE, SM), p. 18.
FSE-2012-HuangM #java #named- ReImInfer: method purity inference for Java (WH, AM), p. 38.
FSE-2012-MilanovaH- Inference and checking of context-sensitive pluggable types (AM, WH), p. 26.
ICSE-2012-KumarKRL #distributed #specification- Inferring class level specifications for distributed systems (SK, SCK, AR, DL), pp. 914–924.
ICSE-2012-NguyenNDKS #analysis #developer #fault- Inferring developer expertise through defect analysis (TTN, TNN, ED, TK, PS), pp. 1297–1300.
ICSE-2012-PanditaXZXOP #api #natural language #specification- Inferring method specifications from natural language API descriptions (RP, XX, HZ, TX, SO, AMP), pp. 815–825.
ICSE-2012-SongT #invariant #metadata- Metadata invariants: Checking and inferring metadata coding conventions (MS, ET), pp. 694–704.
SLE-2012-StevensonC #bibliography #grammar inference #re-engineering #state of the art- Grammatical Inference in Software Engineering: An Overview of the State of the Art (AS, JRC), pp. 204–223.
PPoPP-2012-BurnimENS #correctness #named #nondeterminism #parallel #specification- NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.
ICLP-2012-ZomboriCS #constraints #logic programming #static typing #type inference #using- Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.
ICLP-J-2012-IslamRR #logic programming #probability #random #source code- Inference in probabilistic logic programs with continuous random variables (MAI, CRR, IVR), pp. 505–523.
ICST-2012-DucheneGRR #detection #fuzzing #model inference #using- XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing (FD, RG, SR, JLR), pp. 815–817.
ICST-2012-TonellaMNJLH #approximate #execution #modelling- Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (PT, AM, DCN, YJ, KL, MH), pp. 21–30.
ICTSS-2012-TaylorHBD #behaviour #testing #using- Using Behaviour Inference to Optimise Regression Test Sets (RT, MH, KB, JD), pp. 184–199.
SMT-2012-Shankar #architecture #smt- The Architecture of Inference from SMT to ETB (NS), p. 2.
VMCAI-2012-FerraraM #automation- Automatic Inference of Access Permissions (PF, PM), pp. 202–218.
VMCAI-2012-HowarSJC #automaton #canonical- Inferring Canonical Register Automata (FH, BS, BJ, SC), pp. 251–266.
ASE-2011-DengJ #dependence #fault- Inferred dependence coverage to support fault contextualization (FD, JAJ), pp. 512–515.
ASE-2011-PosnettFD #empirical #re-engineering- Ecological inference in empirical software engineering (DP, VF, PTD), pp. 362–371.
ASE-2011-SagdeoAKV #clustering #invariant #named #using- PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.
ASE-2011-ZhangZE #automation #documentation #testing- Automated documentation inference to explain failed tests (SZ, CZ, MDE), pp. 63–72.
HT-2011-SahW #automation #fuzzy #metadata #mining #using- Automatic mining of cognitive metadata using fuzzy inference (MS, VW), pp. 37–46.
SIGMOD-2011-WangFGHW #declarative #hybrid #information management- Hybrid in-database inference for declarative information extraction (DZW, MJF, MNG, JMH, MLW), pp. 517–528.
VLDB-2011-CaoSDS #distributed #monitoring #query- Distributed inference and query processing for RFID tracking and monitoring (ZC, CAS, YD, PJS), pp. 326–337.
VLDB-2011-NiuRDS #logic #markov #named #network #scalability #statistics #using- Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS (FN, CR, AD, JWS), pp. 373–384.
TACAS-2011-JungLWY #generative #invariant #quantifier- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.
PLDI-2011-BeckmanN #composition #probability #scalability #specification #type system- Probabilistic, modular and scalable inference of typestate specifications (NEB, AVN), pp. 211–221.
DLT-2011-Kasprzik #automaton #finite #query- Inference of Residual Finite-State Tree Automata from Membership Queries and Finite Positive Data (AK), pp. 476–477.
CHI-2011-HolzW #gesture- Data miming: inferring spatial object descriptions from human gesture (CH, AW), pp. 811–820.
CSCW-2011-HoZ- i-sensor inference model for assessing trustworthiness in computer-mediated communications (SMH, XZ), pp. 645–648.
HCI-DDA-2011-YinR #elicitation #induction- An Inductive Inference Model to Elicit Noncompensatory Judgment Strategies (JY, LR), pp. 414–422.
IDGD-2011-GuoSCWL #case study #fuzzy- Study on the Perception of Car Appearance Based on Fuzzy Inference (FG, YS, CC, HW, CyL), pp. 369–378.
CIKM-2011-BrauerRMB #information management #regular expression- Enabling information extraction by inference of regular expressions from sample entities (FB, RR, AM, WMB), pp. 1285–1294.
CIKM-2011-DangXC #aspect-oriented #clustering #query #using- Inferring query aspects from reformulations using clustering (VD, XX, WBC), pp. 2117–2120.
CIKM-2011-HofmannWR #probability- A probabilistic method for inferring preferences from clicks (KH, SW, MdR), pp. 249–258.
CIKM-2011-LiALLJ #information management- Joint inference for cross-document information extraction (QL, SA, WPL, XL, HJ), pp. 2225–2228.
CIKM-2011-WangLF #network- Connecting users with similar interests via tag network inference (XW, HL, WF), pp. 1019–1024.
CIKM-2011-WenL #social- Improving user interest inference from social neighbors (ZW, CYL), pp. 1001–1006.
ICML-2011-Clark- Inference of Inversion Transduction Grammars (AC), pp. 201–208.
ICML-2011-JegelkaB11a #approximate #bound #using- Approximation Bounds for Inference using Cooperative Cuts (SJ, JAB), pp. 577–584.
ICML-2011-MartinsFASX #approach- An Augmented Lagrangian Approach to Constrained MAP Inference (AFTM, MATF, PMQA, NAS, EPX), pp. 169–176.
ICML-2011-Neumann #policy- Variational Inference for Policy Search in changing situations (GN), pp. 817–824.
ICML-2011-PaisleyCB #process- Variational Inference for Stick-Breaking Beta Process Priors (JWP, LC, DMB), pp. 889–896.
ICML-2011-YangR #learning #on the #visual notation- On the Use of Variational Inference for Learning Discrete Graphical Model (EY, PDR), pp. 1009–1016.
KDD-2011-AhmedLAJS #behaviour #distributed #scalability- Scalable distributed inference of dynamic user interests for behavioral targeting (AA, YL, MA, VJ, AJS), pp. 114–122.
KDD-2011-AttenbergP #learning #online- Online active inference and learning (JA, FJP), pp. 186–194.
KDD-2011-Pearl- The mathematics of causal inference (JP), p. 5.
KDD-2011-ShiFZY #evolution #graph- Discovering shakers from evolving entities via cascading graph inference (XS, WF, JZ, PSY), pp. 1001–1009.
KDIR-2011-BallesterosFDHG #analysis #dependence #using- Inferring the Scope of Speculation using Dependency Analysis (MB, VF, AD, JH, PG), pp. 256–261.
KDIR-2011-GuoK #ontology #research #using- Discovering Relationship Associations from the Literature Related to Research Projects in Sustainability Science using Ontology and Inference (WG, SBK), pp. 390–393.
KDIR-2011-SethCRSB #analysis #query #similarity- A Tale of Two (Similar) Cities — Inferring City Similarity through Geo-spatial Query Log Analysis (RS, MC, DR, DS, SB), pp. 179–189.
KEOD-2011-GaignardMWG #concept #parametricity #runtime #semantics- Characterizing Semantic Service Parameters with Role Concepts to Infer Domain-specific Knowledge at Runtime (AG, JM, BW, BG), pp. 59–70.
SIGIR-2011-BennettRWY #metadata #personalisation #using #web- Inferring and using location metadata to personalize web search (PNB, FR, RWW, EY), pp. 135–144.
ECOOP-2011-DietlEM #static analysis- Tunable Static Inference for Generic Universe Types (WD, MDE, PM), pp. 333–357.
OOPSLA-2011-WeeratungeZJ #using- Accentuating the positive: atomicity inference and enforcement using correct executions (DW, XZ, SJ), pp. 19–34.
TOOLS-EUROPE-2011-MilanovaV- Static Dominance Inference (AM, JV), pp. 211–227.
PPDP-2011-ColazzoS #complexity #precise #type inference #xquery- Precision and complexity of XQuery type inference (DC, CS), pp. 89–100.
POPL-2011-AnCFH #ruby #static typing- Dynamic inference of static types for ruby (Jh(A, AC, JSF, MH), pp. 459–472.
POPL-2011-GhicaS #geometry #resource management #synthesis #type inference- Geometry of synthesis III: resource management through type inference (DRG, AS), pp. 345–356.
SAC-2011-BouidghaghenTB #approach #mobile #reasoning- Inferring situation-based interests for mobile users: a case based reasoning approach (OB, LT, MB), pp. 1166–1167.
ESEC-FSE-2011-BeschastnikhABE #behaviour #modelling #named- Synoptic: studying logged behavior with inferred models (IB, JA, YB, MDE), pp. 448–451.
ESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling- Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
ESEC-FSE-2011-CafeoNFCR #product line- Inferring test results for dynamic software product lines (BBPC, JN, FCF, RC, AR), pp. 500–503.
ESEC-FSE-2011-HackettA #morphism #polymorphism- Inferring data polymorphism in systems code (BH, AA), pp. 332–342.
ICSE-2011-SpotoE- Inference of field initialization (FS, MDE), pp. 231–240.
ICSE-2011-WeiFKM #contract- Inferring better contracts (YW, CAF, NK, BM), pp. 191–200.
HPCA-2011-LeeSNY #analysis #order- Offline symbolic analysis to infer Total Store Order (DL, MS, SN, ZY), pp. 357–358.
PPoPP-2011-NegaraKA #message passing #performance- Inferring ownership transfer for efficient message passing (SN, RKK, GAA), pp. 81–90.
CAV-2011-BabicRS #analysis #automaton- Malware Analysis with Tree Automata Inference (DB, DR, DS), pp. 116–131.
ICLP-J-2011-GutmannTKBR #logic #probability #programming- The magic of logical inference in probabilistic programming (BG, IT, AK, MB, LDR), pp. 663–680.
ICLP-J-2011-KrienerK #named #prolog- RedAlert: Determinacy inference for Prolog (JK, AK), pp. 537–553.
TLCA-2011-Roversi #linear #λ-calculus- Linear λ Calculus and Deep Inference (LR), pp. 184–197.
VMCAI-2011-CousotCL #contract- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.
VMCAI-2011-LahiriV #named- ExplainHoudini: Making Houdini Inference Transparent (SKL, JV), pp. 309–323.
QoSA-2010-HappeWSK #modelling #parametricity #performance #statistics- Statistical Inference of Software Performance Models for Parametric Performance Completions (JH, DW, KS, LK), pp. 20–35.
ASE-2010-Balint #automation #behaviour #data type- Automatic inference of abstract type behavior (MB), pp. 499–504.
DAC-2010-ZhangLR- Bayesian virtual probe: minimizing variation characterization cost for nanoscale IC technologies via Bayesian inference (WZ, XL, RAR), pp. 262–267.
SIGMOD-2010-MayfieldNP #approach #database #named #statistics- ERACER: a database approach for statistical inference and data cleaning (CM, JN, SP), pp. 75–86.
VLDB-2010-CaoKRT #named #transaction- rho-uncertainty: Inference-Proof Transaction Anonymization (JC, PK, CR, KLT), pp. 1033–1044.
FASE-2010-DistefanoF #detection #java #memory management- Memory Leaks Detection in Java by Bi-abductive Inference (DD, IF), pp. 278–292.
WRLA-2010-Shankar #proving- Rewriting, Inference, and Proof (NS), pp. 1–14.
PLDI-2010-TateCH #assembly #object-oriented- Inferable object-oriented typed assembly language (RT, JC, CH), pp. 424–435.
SAS-2010-McCloskeyRS #array #invariant- Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.
ILC-2010-Mehnert #detection #fault #type inference #type system- Extending Dylan’s type system for better type inference and error detection (HM), pp. 1–10.
CIKM-2010-Otterbacher #gender #metadata- Inferring gender of movie reviewers: exploiting writing style, content and metadata (JO), pp. 369–378.
CIKM-2010-ZhangWWCZHZ #learning #modelling- Learning click models via probit bayesian inference (YZ, DW, GW, WC, ZZ, BH, LZ), pp. 439–448.
ICML-2010-BartlettPW #constant #memory management #process- Forgetting Counts: Constant Memory Inference for a Dependent Hierarchical Pitman-Yor Process (NB, DP, FW), pp. 63–70.
ICML-2010-JojicGK #composition- Accelerated dual decomposition for MAP inference (VJ, SG, DK), pp. 503–510.
ICML-2010-MeshiSJG #approximate #learning- Learning Efficiently with Approximate Inference via Dual Losses (OM, DS, TSJ, AG), pp. 783–790.
ICML-2010-Seeger #scalability- Gaussian Covariance and Scalable Variational Inference (MWS), pp. 967–974.
ICPR-2010-KimM #classification #dataset- Dense Structure Inference for Object Classification in Aerial LIDAR Dataset (EK, GGM), pp. 3049–3052.
ICPR-2010-KirbizCG #matrix #modelling- Bayesian Inference for Nonnegative Matrix Factor Deconvolution Models (SK, ATC, BG), pp. 2812–2815.
ICPR-2010-SemenovichS #higher-order #performance- Tensor Power Method for Efficient MAP Inference in Higher-order MRFs (DS, AS), pp. 734–737.
ICPR-2010-SfikasHN #analysis #clustering #multi #using- Multiple Atlas Inference and Population Analysis Using Spectral Clustering (GS, CH, CN), pp. 2500–2503.
ICPR-2010-Tagawa #eye tracking #modelling #statistics #using- Depth Perception Model Based on Fixational Eye Movements Using Bayesian Statistical Inference (NT), pp. 1662–1665.
ICPR-2010-WangC #3d #estimation- 3D Human Pose Estimation by an Annealed Two-Stage Inference Method (YKW, KYC), pp. 535–538.
ICPR-2010-WongSML- Dynamic Amelioration of Resolution Mismatches for Local Feature Based Identity Inference (YW, CS, SM, BCL), pp. 1200–1203.
KDD-2010-ChuaL #generative #modelling #network #online #rating #trust #using- Trust network inference for online rating data using generative models (FCTC, EPL), pp. 889–898.
KDD-2010-Gomez-RodriguezLK #network- Inferring networks of diffusion and influence (MGR, JL, AK), pp. 1019–1028.
KDD-2010-WenL #on the #quality #social- On the quality of inferring interests from social neighbors (ZW, CYL), pp. 373–382.
SIGIR-2010-CondeVC #social #web- Inferring user intent in web search by exploiting social annotations (JMC, DV, PC), pp. 827–828.
SIGIR-2010-YiLWR #using #video- Contextual video advertising system using scene information inferred from video scripts (BJY, JTL, HWW, HCR), pp. 771–772.
MoDELS-v2-2010-SongHXCSM #api #metamodelling #runtime- Inferring Meta-models for Runtime System Data from the Clients of Management APIs (HS, GH, YX, FC, YS, HM), pp. 168–182.
GPCE-2010-MiddelkoopDS #attribute grammar #type inference- Iterative type inference with attribute grammars (AM, AD, SDS), pp. 43–52.
PPDP-2010-BaillotH #linear #logic #type inference- Type inference in intuitionistic linear logic (PB, MH), pp. 219–230.
POPL-2010-SchaferM #datalog #type inference- Type inference for datalog with complex type hierarchies (MS, OdM), pp. 145–156.
SAC-2010-KimKMY #multi #network #predict #probability #using- Probabilistic context prediction using time-inferred multiple pattern networks (YHK, WK, KM, YY), pp. 1015–1019.
ICSE-2010-BurnimS #named #parallel #source code #specification #thread- DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.
ICSE-2010-GabelS #online- Online inference and enforcement of temporal properties (MG, ZS), pp. 15–24.
ICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using- Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.
ISMM-2010-AlbertGG #garbage collection #memory management #parametricity #requirements- Parametric inference of memory requirements for garbage collected languages (EA, SG, MGZ), pp. 121–130.
ICLP-2010-SimariS10 #abduction #logic programming #probability #source code- Abductive Inference in Probabilistic Logic Programs (GIS, VSS), pp. 192–201.
ICLP-J-2010-ChristiansenHLP #markov #modelling- Inference with constrained hidden Markov models in PRISM (HC, CTH, OTL, MP), pp. 449–464.
ICST-2010-Irfan #state machine #testing- State Machine Inference in Testing Context with Long Counterexamples (MNI), pp. 508–511.
ICTSS-2010-AartsJU #abstraction #communication #generative #infinity #modelling #protocol #using- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction (FA, BJ, JU), pp. 188–204.
IJCAR-2010-BlanchetteK #higher-order- Monotonicity Inference for Higher-Order Formulas (JCB, AK), pp. 91–106.
ISSTA-2010-BaahPH #fault #locality #statistics- Causal inference for statistical fault localization (GKB, AP, MJH), pp. 73–84.
VMCAI-2010-HenzingerHKV #invariant #matrix #type inference- Invariant and Type Inference for Matrices (TAH, TH, LK, AV), pp. 163–179.
VMCAI-2010-Vafeiadis- RGSep Action Inference (VV), pp. 345–361.
ASE-2009-MunkbyS #fault tolerance #predict #type inference- Type Inference for Soft-Error Fault-Tolerance Prediction (GM, SS), pp. 65–75.
ASE-2009-VakilianDBOAJ #summary- Inferring Method Effect Summaries for Nested Heap Regions (MV, DD, RLBJ, JO, VSA, REJ), pp. 421–432.
ASE-2009-ZhongZXM #api #documentation #natural language #specification- Inferring Resource Specifications from Natural Language API Documentation (HZ, LZ, TX, HM), pp. 307–318.
ESOP-2009-CraciunCHQ #parametricity- An Interval-Based Inference of Variant Parametric Types (FC, WNC, GH, SQ), pp. 112–127.
TACAS-2009-VechevYY- Inferring Synchronization under Limited Observability (MTV, EY, GY), pp. 139–154.
ICPC-2009-LiuM #static analysis- Practical static analysis for inference of security-related program properties (YL, AM), pp. 50–59.
PLDI-2009-LivshitsNRB #data flow #named #problem #specification- Merlin: specification inference for explicit information flow problems (VBL, AVN, SKR, AB), pp. 75–86.
SAS-2009-ChenMWC #abstract domain #linear- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
SAS-2009-XiaFL #data flow- Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.
FM-2009-ShahbazG #automaton- Inferring Mealy Machines (MS, RG), pp. 207–222.
ICFP-2009-SchrijversJSV #data type #decidability #type inference- Complete and decidable type inference for GADTs (TS, SLPJ, MS, DV), pp. 341–352.
CHI-2009-FischerB #experience #pervasive- Inferring player engagement in a pervasive experience (JEF, SB), pp. 1903–1906.
HCI-NT-2009-AsteriadisKK #feature model #human-computer- Feature Extraction and Selection for Inferring User Engagement in an HCI Environment (SA, KK, SDK), pp. 22–29.
HIMI-II-2009-Matsak #logic #representation- Representing Logical Inference Steps with Digital Circuits (EM), pp. 178–184.
ICEIS-SAIC-2009-GandhiT #categorisation #email #ontology #using- Ontology-based Email Categorization and Task Inference using a Lexicon-enhanced Ontology (PG, RT), pp. 102–107.
CIKM-2009-KuoCW #learning #rank- Learning to rank from Bayesian decision inference (JWK, PJC, HMW), pp. 827–836.
ICML-2009-AdamsMM #parametricity #process- Tractable nonparametric Bayesian inference in Poisson processes with Gaussian process intensities (RPA, IM, DJCM), pp. 9–16.
ICML-2009-BaillyDR #analysis #component #grammar inference #problem- Grammatical inference as a principal component analysis problem (RB, FD, LR), pp. 33–40.
ICML-2009-BouchardZ- Split variational inference (GB, OZ), pp. 57–64.
ICML-2009-GuiverS #modelling #ranking- Bayesian inference for Plackett-Luce ranking models (JG, ES), pp. 377–384.
ICML-2009-LangT #approximate #probability #relational- Approximate inference for planning in stochastic relational worlds (TL, MT), pp. 585–592.
ICML-2009-MooijJPS #dependence #modelling- Regression by dependence minimization and its application to causal inference in additive noise models (JMM, DJ, JP, BS), pp. 745–752.
ICML-2009-NickischS #linear #modelling #scalability- Convex variational Bayesian inference for large scale generalized linear models (HN, MWS), pp. 761–768.
ICML-2009-Toussaint #approximate #optimisation #using- Robot trajectory optimization using approximate inference (MT), pp. 1049–1056.
KDD-2009-YaoMM #documentation #model inference #performance #streaming #topic- Efficient methods for topic model inference on streaming document collections (LY, DMM, AM), pp. 937–946.
KDIR-2009-GuoK #ontology #using- Discovering Relationship Associations in Life Sciences using Ontology and Inference (WG, SBK), pp. 10–17.
MLDM-2009-NikolopoulosPKP #comprehension #framework #image #probability #semantics- An Evidence-Driven Probabilistic Inference Framework for Semantic Image Understanding (SN, GTP, IK, IP), pp. 525–539.
OOPSLA-2009-MytkowiczCD #profiling- Inferred call path profiling (TM, DC, AD), pp. 175–190.
OOPSLA-2009-NandaMSS #approach #automation #model transformation- Demystifying model transformations: an approach based on automated rule inference (MGN, SM, VSS, SS), pp. 341–360.
PPDP-2009-UnnoK #dependent type #type inference- Dependent type inference with interpolants (HU, NK), pp. 277–288.
POPL-2009-Leijen #flexibility #morphism #polymorphism #robust #type inference- Flexible types: robust type inference for first-class polymorphism (DL), pp. 66–77.
SAC-2009-FurrAFH #ruby #static typing #type inference- Static type inference for Ruby (MF, Jh(A, JSF, MWH), pp. 1859–1866.
SAC-2009-KontosB #modelling #network #visual notation- An improved shrinkage estimator to infer regulatory networks with Gaussian graphical models (KK, GB), pp. 793–798.
SAC-2009-LeccaPPS #generative #network #parametricity #probability- A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
SAC-2009-MlynkovaN #towards- Towards inference of more realistic XSDs (IM, MN), pp. 639–646.
SAC-2009-SherminO #network #using- Using dynamic bayesian networks to infer gene regulatory networks from expression profiles (AS, MAO), pp. 799–803.
ESEC-FSE-2009-LoMP #automation #behaviour #model inference- Automatic steering of behavioral model inference (DL, LM, MP), pp. 345–354.
ICSE-2009-HangalL #automation #object-oriented #source code- Automatic dimension inference and checking for object-oriented programs (SH, MSL), pp. 155–165.
SPLC-2009-Fernandez-AmorosGS #diagrams #feature model #modelling #product line- Inferring information from feature diagrams to product line economic models (DFA, RHG, JACS), pp. 41–50.
CADE-2009-ClaessenL #automation #finite #satisfiability- Automated Inference of Finite Unsatisfiability (KC, AL), pp. 388–403.
CAV-2009-LahiriQGVW- Intra-module Inference (SKL, SQ, JPG, JWV, TW), pp. 493–508.
ICST-2009-FuGX #testing #user interface- Inferring Types of References to GUI Objects in Test Scripts (CF, MG, QX), pp. 1–10.
ISSTA-2009-PolikarpovaCM #automation #case study #comparative #contract- A comparative study of programmer-written and automatically inferred contracts (NP, IC, BM), pp. 93–104.
LICS-2009-DurandHN #complexity- Trichotomy in the Complexity of Minimal Inference (AD, MH, GN), pp. 387–396.
SAT-2009-HsuM #named #novel #probability- VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search (EIH, SAM), pp. 377–390.
VMCAI-2009-GulwaniSV #abstraction #constraints #invariant- Constraint-Based Invariant Inference over Predicate Abstraction (SG, SS, RV), pp. 120–135.
VMCAI-2009-LavironL #approach #linear #named #scalability- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities (VL, FL), pp. 229–244.
ASE-2008-AndersenL- Generic Patch Inference (JA, JLL), pp. 337–346.
ASE-2008-RakamaricH #automation #axiom #static analysis #using- Automatic Inference of Frame Axioms Using Static Analysis (ZR, AJH), pp. 89–98.
ASE-2008-WalkinshawB #constraints #finite #modelling- Inferring Finite-State Models with Temporal Constraints (NW, KB), pp. 248–257.
PODS-2008-MoorSAV #datalog #optimisation #query #type inference- Type inference for datalog and its application to query optimisation (OdM, DS, PA, MV), pp. 291–300.
SIGMOD-2008-BexNV #named #xml- SchemaScope: a system for inferring and cleaning XML schemas (GJB, FN, SV), pp. 1259–1262.
VLDB-2008-DeutchM #execution #query #type checking #type inference- Type inference and type checking for queries on execution traces (DD, TM), pp. 352–363.
ESOP-2008-TerauchiM #bound #linear #programming- Inferring Channel Buffer Bounds Via Linear Programming (TT, AM), pp. 284–298.
FASE-2008-BergJR #similarity #state machine #testing #using- Regular Inference for State Machines Using Domains with Equality Tests (TB, BJ, HR), pp. 317–331.
ICSM-2008-KinneerR #algorithm #control flow #java #maintenance #representation #type inference- Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks (AK, GR), pp. 127–136.
PASTE-2008-LiuM #data flow #static analysis- Static analysis for inference of explicit information flow (YL, AM), pp. 50–56.
PEPM-2008-PopeeaXC #array #bound #precise- A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.
PLDI-2008-CheremCG- Inferring locks for atomic sections (SC, TMC, SG), pp. 304–315.
SAS-2008-AlbertAGP #automation #bound #cost analysis- Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis (EA, PA, SG, GP), pp. 221–237.
SAS-2008-AllamigeonGG #invariant #using- Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.
SAS-2008-RamanathanSGJ #protocol #using- Protocol Inference Using Static Path Profiles (MKR, KS, AG, SJ), pp. 78–92.
ICALP-B-2008-NeubauerT #calculus- Placement Inference for a Client-Server Calculus (MN, PT), pp. 75–86.
ICFP-2008-Leijen #morphism #named #polymorphism #type inference- HMF: simple type inference for first-class polymorphism (DL), pp. 283–294.
ICFP-2008-RemyY #constraints #ml #performance #type inference- From ML to MLF: graphic type constraints with efficient type inference (DR, BY), pp. 63–74.
ICGT-2008-YuH #graph transformation #query #semantics #web- Graph Transformation for the Semantic Web: Queries and Inference Rules (HY, YH), pp. 511–513.
CIKM-2008-ParikhS #behaviour #query #semantics- Inferring semantic query relations from collective user behavior (NP, NS), pp. 349–358.
ECIR-2008-HuangBCQ #image #network #retrieval #using #web- Improving Web Image Retrieval Using Image Annotations and Inference Network (PH, JB, CC, GQ), pp. 617–621.
ICML-2008-FinleyJ- Training structural SVMs when exact inference is intractable (TF, TJ), pp. 304–311.
ICML-2008-GomesWP #bound #memory management #modelling #topic- Memory bounded inference in topic models (RG, MW, PP), pp. 344–351.
ICML-2008-ShringarpureX #named #search-based- mStruct: a new admixture model for inference of population structure in light of both genetic admixing and allele mutations (SS, EPX), pp. 952–959.
ICPR-2008-DelayeMA #fuzzy #hybrid #online #recognition #statistics- Hybrid statistical-structural on-line Chinese character recognition with fuzzy inference system (AD, SM, ÉA), pp. 1–4.
ICPR-2008-LiLCL #approach #image #segmentation- A variational inference based approach for image segmentation (ZL, QL, JC, HL), pp. 1–4.
ICPR-2008-LiLWLD #probability #sketching- Object-of-interest extraction by integrating stochastic inference with learnt active shape sketch (HL, LL, TW, XL, LD), pp. 1–4.
KDD-2008-SarmaGI #query #using- Bypass rates: reducing query abandonment using negative inferences (ADS, SG, SI), pp. 177–185.
KR-2008-YahiBLSP- A Lexicographic Inference for Partially Preordered Belief Bases (SY, SB, SL, MS, OP), pp. 507–517.
SIGIR-2008-GuoA #query- Exploring mouse movements for inferring query intent (QG, EA), pp. 707–708.
SIGIR-2008-ValletZ #approach #query #semantics- Inferring the most important types of a query: a semantic approach (DV, HZ), pp. 857–858.
BX-2008-Fisher1- Format Inference (KF), p. 37.
ECOOP-2008-QuinonezTE- Inference of Reference Immutability (JQ, MST, MDE), pp. 616–641.
OOPSLA-2008-BellamyAMS #performance #type inference- Efficient local type inference (BB, PA, OdM, DS), pp. 475–492.
OOPSLA-2008-SmithC #java #question #type inference- Java type inference is broken: can we fix it? (DS, RC), pp. 505–524.
OOPSLA-2008-TanseyT #legacy #refactoring- Annotation refactoring: inferring upgrade transformations for legacy applications (WT, ET), pp. 295–312.
LOPSTR-2008-MontenegroPS #algorithm- An Inference Algorithm for Guaranteeing Safe Destruction (MM, RPM, CS), pp. 135–151.
PPDP-2008-Lu #dependence #logic programming #polymorphism #precise #source code- Inferring precise polymorphic type dependencies in logic programs (LL), pp. 143–151.
POPL-2008-UnkelL #automation #java- Automatic inference of stationary fields: a generalization of java’s final fields (CU, MSL), pp. 183–195.
SAC-2008-AbbesBR #detection- An inference system for detecting firewall filtering rules anomalies (TA, AB, MR), pp. 2122–2128.
SAC-2008-CimadamoreV #java #prolog #type inference- Integrating Java and Prolog through generic methods and type inference (MC, MV), pp. 198–205.
ICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation- DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
PPoPP-2008-ChandraSSB #analysis #data type #distributed #locality #type inference- Type inference for locality analysis of distributed data structures (SC, VAS, VS, RB), pp. 11–22.
CAV-2008-KingS #congruence #equation #satisfiability #using- Inferring Congruence Equations Using SAT (AK, HS), pp. 281–293.
ICLP-2008-Riguzzi #logic programming #semantics #source code- Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (FR), pp. 667–671.
IJCAR-2008-BonacinaD #canonical- Canonical Inference for Implicational Systems (MPB, ND), pp. 380–395.
ISSTA-2008-BuseW08a #automation #documentation #exception- Automatic documentation inference for exceptions (RPLB, WW), pp. 273–282.
ISSTA-2008-SankaranarayananCIG #learning- Dynamic inference of likely data preconditions over predicates by tree learning (SS, SC, FI, AG), pp. 295–306.
SAT-2008-HerasL #clique #preprocessor #satisfiability- A Max-SAT Inference-Based Pre-processing for Max-Clique (FH, JL), pp. 139–152.
TestCom-FATES-2008-GrozLPS #analysis #composition #reachability #testing #verification- Modular System Verification by Inference, Testing and Reachability Analysis (RG, KL, AP, MS), pp. 216–233.
ASE-2007-DagenaisBWR #evolution #traceability- Inferring structural patterns for concern traceability in evolving software (BD, SB, FWW, MPR), pp. 254–263.
SIGMOD-2007-BravoR #optimisation #probability #query- Optimizing mpf queries: decision support and probabilistic inference (HCB, RR), pp. 701–712.
VLDB-2007-BexNV #xml- Inferring XML Schema Definitions from XML Data (GJB, FN, SV), pp. 998–1009.
ESOP-2007-KuanMF #semantics #type inference- A Rewriting Semantics for Type Inference (GK, DM, RBF), pp. 426–440.
TACAS-2007-JhalaMX #type inference- State of the Union: Type Inference Via Craig Interpolation (RJ, RM, RGX), pp. 553–567.
CSMR-2007-SelonenK #metamodelling- Metamodel-Based Inference of Inter-Model Correspondence (PS, MK), pp. 71–80.
ICSM-2007-BrandBS #analysis #debugging #detection- Evidence-Based Analysis and Inferring Preconditions for Bug Detection (DB, MB, VCS), pp. 44–53.
WCRE-2007-SinhaRK #model inference #parametricity #process- Parametric Process Model Inference (SS, GR, RK), pp. 21–30.
WCRE-2007-WalkinshawBHS #grammar inference #interactive #reverse engineering #state machine- Reverse Engineering State Machines by Interactive Grammar Inference (NW, KB, MH, SS), pp. 209–218.
PLDI-2007-DilligDA #consistency #detection #fault #nondeterminism #semantics #using- Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.
PLDI-2007-RamanathanGJ #mining #specification #using- Static specification inference using predicate mining (MKR, AG, SJ), pp. 123–134.
PLDI-2007-ScherpelzLC #automation #semantics- Automatic inference of optimizer flow functions from semantic meanings (ERS, SL, CC), pp. 135–145.
HIMI-IIE-2007-Lee07d #modelling- Context Modeling and Inference System for Heterogeneous Context Aware Service (SL), pp. 413–422.
ICEIS-HCI-2007-Scaffidi- Unsupervised Inference of Data Formats in Human-Readable Notation (CS), pp. 236–244.
CIKM-2007-AslamY #documentation- Inferring document relevance from incomplete information (JAA, EY), pp. 633–642.
CIKM-2007-LeitaoCW #detection #fuzzy #similarity #xml- Structure-based inference of xml similarity for fuzzy duplicate detection (LL, PC, MW), pp. 293–302.
ECIR-2007-KongL #documentation #modelling #multi #network #xml- Combining Multiple Sources of Evidence in XML Multimedia Documents: An Inference Network Incorporating Element Language Models (ZK, ML), pp. 716–719.
ECIR-2007-McDonald #algorithm #case study #multi #summary- A Study of Global Inference Algorithms in Multi-document Summarization (RTM), pp. 557–564.
ICML-2007-GuptaDS #clique #performance- Efficient inference with cardinality-based clique potentials (RG, AAD, SS), pp. 329–336.
SEKE-2007-ComanS #empirical #low level #process- An Empirical Exporatory Study on Inferring Developpers’ Activities from Low-Level Data (IDC, AS), pp. 15–18.
SEKE-2007-SilvaMPV #context-free grammar #evolution #grammar inference #xml- XML Schema Evolution by Context Free Grammar Inference (JCTdS, MAM, ATRP, SRV), p. 444–?.
ECOOP-2007-CottenierBE #behaviour #implementation #specification- Joinpoint Inference from Behavioral Specification to Implementation (TC, AvdB, TE), pp. 476–500.
OOPSLA-2007-GreenfieldboyceF #java- Type qualifier inference for java (DG, JSF), pp. 321–336.
OOPSLA-2007-MaF #alias #encapsulation #java- Inferring aliasing and encapsulation properties for java (KKM, JSF), pp. 423–440.
POPL-2007-GulwaniJ #probability #verification- Program verification as probabilistic inference (SG, NJ), pp. 277–289.
POPL-2007-PolishchukLS #comprehension #debugging #type inference- Dynamic heap type inference for program understanding and debugging (MP, BL, CWS), pp. 39–46.
SAC-OOPS-J-2006-Steimann07 #interface #programming #refactoring- The Infer Type Refactoring and its Use for Interface-Based Programming (FS), pp. 99–120.
ICSE-2007-AnbalaganX #aspect-oriented #automation #refactoring- Automated Inference of Pointcuts in Aspect-Oriented Refactoring (PA, TX), pp. 127–136.
ICSE-2007-KimNG #automation- Automatic Inference of Structural Changes for Matching across Program Versions (MK, DN, DG), pp. 333–343.
ICSE-2007-LiuM #data access #uml- Ownership and Immutability Inference for UML-Based Object Access Control (YL, AM), pp. 323–332.
ICSE-2007-RamanathanGJ #precedence #protocol- Path-Sensitive Inference of Function Precedence Protocols (MKR, AG, SJ), pp. 240–250.
HPDC-2007-ShiraiST #parallel #performance- A fast topology inference: a building block for network-aware parallel processing (TS, HS, KT), pp. 11–22.
ISMM-2007-CheremR- Uniqueness inference for compile-time object deallocation (SC, RR), pp. 117–128.
PPoPP-2007-LeeBSSSM #learning #modelling #parallel #performance- Methods of inference and learning for performance modeling of parallel applications (BCL, DMB, BRdS, MS, KS, SAM), pp. 249–258.
SOSP-2007-LuPHMJLPZ #automation #concurrent #correlation #debugging #detection #multi #named #semantics- MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (SL, SP, CH, XM, WJ, ZL, RAP, YZ), pp. 103–116.
VMCAI-2007-RakamaricBH #data type #source code #verification- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (ZR, JDB, AJH), pp. 106–121.
ASE-2006-DenneyF #automation #certification #safety- Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract) (ED, BF), pp. 265–268.
VLDB-2006-BexNST #xml- Inference of Concise DTDs from XML Data (GJB, FN, TS, KT), pp. 115–126.
ESOP-2006-ChinMMP- Inference of User-Defined Type Qualifiers and Qualifier Rules (BC, SM, TDM, JP), pp. 264–278.
ESOP-2006-FurrF #polymorphism #type inference- Polymorphic Type Inference for the JNI (MF, JSF), pp. 309–324.
FASE-2006-BergJR #parametricity #state machine- Regular Inference for State Machines with Parameters (TB, BJ, HR), pp. 107–121.
SAS-2006-PratikakisFH #reachability- Existential Label Flow Inference Via CFL Reachability (PP, JSF, MH), pp. 88–106.
CIAA-2006-PargaGR #algorithm #product line #regular expression- A Family of Algorithms for Non Deterministic Regular Languages Inference (MVdP, PG, JR), pp. 265–274.
ICFP-2006-JonesVWW #data type #type inference- Simple unification-based type inference for GADTs (SLPJ, DV, SW, GW), pp. 50–61.
ICFP-2006-VytiniotisWJ #rank- Boxy types: inference for higher-rank types and impredicativity (DV, SW, SLPJ), pp. 251–262.
ICEIS-J-2006-KoutsomitropoulosMKP06a #framework #logic #reasoning #semantics #web- Establishing the Semantic Web Reasoning Infrastructure on Description Logic Inference Engines (DAK, DPM, ANK, TSP), pp. 351–362.
ICML-2006-GeJ #approximate #consistency #multi- A note on mixtures of experts for multiclass responses: approximation rate and Consistent Bayesian Inference (YG, WJ), pp. 329–335.
ICML-2006-HolmesJ- Looping suffix tree-based inference of partially observable hidden state (MPH, CLIJ), pp. 409–416.
ICML-2006-RossOZ- Combining discriminative features to infer complex trajectories (DAR, SO, RSZ), pp. 761–768.
ICML-2006-Sarawagi #modelling #performance #segmentation #sequence- Efficient inference on sequence segmentation models (SS), pp. 793–800.
ICML-2006-ToussaintS #markov #probability #process- Probabilistic inference for solving discrete and continuous state Markov Decision Processes (MT, AJS), pp. 945–952.
ICML-2006-WestonCSBV- Inference with the Universum (JW, RC, FHS, LB, VV), pp. 1009–1016.
ICML-2006-XingSJT #multi #process #type inference- Bayesian multi-population haplotype inference via a hierarchical dirichlet process mixture (EPX, KAS, MIJ, YWT), pp. 1049–1056.
ICPR-v2-2006-BoccignoneMN- Inference of moving forms via Belief Propagation (GB, AM, PN), pp. 191–194.
ICPR-v2-2006-GuoQ #3d #learning- Learning and Inference of 3D Human Poses from Gaussian Mixture Modeled Silhouettes (FG, GQ), pp. 43–47.
ICPR-v3-2006-LeeE06a #using- Simultaneous Inference of View and Body Pose using Torus Manifolds (CSL, AME), pp. 489–494.
KDD-2006-McCallum #data mining #information management #mining- Information extraction, data mining and joint inference (AM), p. 835.
SEKE-2006-HuangC06a #nondeterminism #rule-based- A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge (CJH, MYC), pp. 51–56.
SEKE-2006-JavedMSB #context-free grammar #domain-specific language #incremental- Incrementally Inferring Context-Free Grammars for Domain-Specific Languages (FJ, MM, APS, BRB), pp. 363–368.
SIGIR-2006-AslamY #documentation #precise- Inferring document relevance via average precision (JAA, EY), pp. 601–602.
GPCE-2006-DenneyF #algorithm #automation #certification #safety- A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.
PPDP-2006-AbrahamE #spreadsheet #type inference- Type inference for spreadsheets (RA, ME), pp. 73–84.
PPDP-2006-GorlaHS #trust- Inferring dynamic credentials for rôle-based trust management (DG, MH, VS), pp. 213–224.
PPDP-2006-LindahlS #type inference- Practical type inference based on success typings (TL, KFS), pp. 167–178.
POPL-2006-McCloskeyZGB #named- Autolocker: synchronization inference for atomic sections (BM, FZ, DG, EAB), pp. 346–358.
POPL-2006-PottierR #algebra #data type #type inference- Stratified type inference for generalized algebraic data types (FP, YRG), pp. 232–244.
SAC-2006-ShapiraTM- Study of the usefulness of known and new implicit indicators and their optimal combination for accurate inference of users interests (BS, MTM, AM), pp. 1118–1119.
SAC-2006-SteimannMM #interface- Decoupling classes with inferred interfaces (FS, PM, AM), pp. 1404–1408.
ICSE-2006-AbrahamE #spreadsheet- Inferring templates from spreadsheets (RA, ME), pp. 182–191.
OSDI-2006-KremenekTBNE #nondeterminism #specification- From Uncertainty to Belief: Inferring the Specification Within (TK, PT, GB, AYN, DRE), pp. 161–176.
IJCAR-2006-GrinchteinLP #automation #invariant #network- Inferring Network Invariants Automatically (OG, ML, NP), pp. 483–497.
ISSTA-2006-DemskyEGMPR #consistency #data type #specification- Inference and enforcement of data structure consistency specifications (BD, MDE, PJG, SM, JHP, MCR), pp. 233–244.
ISSTA-2006-GuoPME #data type- Dynamic inference of abstract types (PJG, JHP, SM, MDE), pp. 255–265.
SAT-2006-LynceM #satisfiability #type inference- SAT in Bioinformatics: Making the Case with Haplotype Inference (IL, JMS), pp. 136–141.
DAC-2005-HangalCNC #automation #design #hardware #invariant #named- IODINE: a tool to automatically infer dynamic invariants for hardware designs (SH, NC, SN, SC), pp. 775–778.
HT-2005-BhagwatP #file system #semantics #using- Searching a file system using inferred semantic links (DB, NP), pp. 85–87.
HT-2005-DmitrievLS #documentation #hypermedia #logic- As we may perceive: inferring logical documents from hypertext (PD, CL, BS), pp. 66–74.
ICDAR-2005-AblameykoBP #what- . What Should the User Do? Inference Structures and Line Drawing Interpretation (SA, VB, TPP), pp. 760–764.
ICDAR-2005-MouchereAR #adaptation #fuzzy #online #recognition #using- On-line Writer Adaptation for Handwriting Recognition using Fuzzy Inference Systems (HM, ÉA, NR), p. 1075.
WRLA-2004-LiquoriW05 #calculus #polymorphism #type checking #type inference- The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference] (LL, BW), pp. 89–111.
ESOP-2005-LuK #logic programming #source code- Determinacy Inference for Logic Programs (LL, AK), pp. 108–123.
FASE-2005-BergGJLRS #consistency #on the #testing- On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.
TACAS-2005-VardhanSVA #using #verification- Using Language Inference to Verify ω-Regular Properties (AV, KS, MV, GA), pp. 45–60.
SAS-2005-BruynoogheGH #analysis #logic programming #source code #termination- Inference of Well-Typings for Logic Programs with Application to Termination Analysis (MB, JPG, WVH), pp. 35–51.
ICFP-2005-MakholmW #mixin #morphism #type inference- Type inference, principal typings, and let-polymorphism for first-class mixin modules (HM, JBW), pp. 156–167.
ICFP-2005-Pottier #ml #type inference- From ML type inference to stratified type inference (FP), p. 1.
ICFP-2005-Remy #system f- Simple, partial type-inference for System F based on type-containment (DR), pp. 130–143.
CIKM-2005-GrangierB #documentation #similarity- Inferring document similarity from hyperlinks (DG, SB), pp. 359–360.
CIKM-2005-MasonL #complexity #named #query #relational #sql- INFER: a relational query language without the complexity of SQL (TM, RL), pp. 241–242.
ICML-2005-RothY #integer #linear #programming #random- Integer linear programming inference for conditional random fields (DR, WtY), pp. 736–743.
ICML-2005-SiddiqiM #learning #performance- Fast inference and learning in large-state-space HMMs (SMS, AWM), pp. 800–807.
MLDM-2005-SilvaK #clustering #distributed- Inference on Distributed Data Clustering (JCdS, MK), pp. 610–619.
MLDM-2005-SunWW #algorithm #parametricity- Parameter Inference of Cost-Sensitive Boosting Algorithms (YS, AKCW, YW), pp. 21–30.
ECOOP-2005-AndersonGD #javascript #towards #type inference- Towards Type Inference for JavaScript (CA, PG, SD), pp. 428–452.
PPDP-2005-TombF #automation #partial evaluation #type inference- Automatic type inference via partial evaluation (AT, CF), pp. 106–116.
SAC-2005-BaresiQ #documentation #graph transformation #xml- Graph transformation to infer schemata from XML documents (LB, EQ), pp. 642–646.
SAC-2005-FalcoTCP #approach #induction #programming #search-based- Inductive inference of chaotic series by Genetic Programming: a Solomonoff-based approach (IDF, ET, ADC, AP), pp. 957–958.
SAC-2005-HuangCC #algorithm #approximate #type inference- An approximation algorithm for haplotype inference by maximum parsimony (YTH, KMC, TC), pp. 146–150.
LDTA-2005-CrepinsekMBJS #context-free grammar #domain-specific language- Inferring Context-Free Grammars for Domain-Specific Languages (MC, MM, BRB, FJ, APS), pp. 99–116.
HPDC-2005-SundararajGD #adaptation #performance #runtime- Increasing application performance in virtual environments through run-time inference and adaptation (AIS, AG, PAD), pp. 47–58.
TLCA-2005-BartheGP #polymorphism #termination #type system- Practical Inference for Type-Based Termination in a Polymorphic Setting (GB, BG, FP), pp. 71–85.
ASE-2004-Taghdiri #detection #fault #specification- Inferring Specifications to Detect Errors in Code (MT), pp. 144–153.
VLDB-2004-YangL #information management #xml- Secure XML Publishing without Information Leakage in the Presence of Data Inference (XY, CL), pp. 96–107.
ESOP-2004-CalcagnoMT #classification- ML-Like Inference for Classifiers (CC, EM, WT), pp. 79–93.
ESOP-2004-DuckPSS #decidability #dependence #functional #type inference- Sound and Decidable Type Inference for Functional Dependencies (GJD, SLPJ, PJS, MS), pp. 49–63.
FoSSaCS-2004-BozgaEL #effectiveness #encryption #on the #protocol- On the Existence of an Effective and Complete Inference System for Cryptographic Protocols (LB, CE, YL), pp. 42–57.
TACAS-2004-LingerS #analysis #constraints #ml #theorem proving #type inference- Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (NL, TS), pp. 266–279.
PASTE-2004-YangE- Dynamically inferring temporal properties (JY, DE), pp. 23–28.
PLDI-2004-ChinCQR #object-oriented- Region inference for an object-oriented language (WNC, FC, SQ, MCR), pp. 243–254.
PLDI-2004-HenzingerJM- Race checking by context inference (TAH, RJ, RM), pp. 1–13.
SAS-2004-FlanaganF #type inference- Type Inference Against Races (CF, SNF), pp. 116–132.
SAS-2004-PayetM #constraints #logic programming #source code- Non-termination Inference for Constraint Logic Programs (ÉP, FM), pp. 377–392.
SAS-2004-SunBN #composition #constraints #data flow #object-oriented- Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language (QS, AB, DAN), pp. 84–99.
ICEIS-v3-2004-Hiramatsu #concept #modelling #ontology #taxonomy #using- Ontology Modeling Tool Using Concept Dictionary and Inference (YH), pp. 225–230.
ICEIS-v3-2004-KazakovA #approach #automation #integration #logic- Semi-Automated Software Integration: An Approach Based on Logical Inference (MK, HA), pp. 527–530.
CIKM-2004-HeL #dependence #functional- Extending and inferring functional dependencies in schema transformation (QH, TWL), pp. 12–21.
ICML-2004-FernG #relational #reliability- Relational sequential inference with reliable observations (AF, RG).
ICML-2004-JanodetNSS #grammar inference- Boosting grammatical inference with confidence oracles (JCJ, RN, MS, HMS).
ICML-2004-SminchisescuJ #embedded #generative #modelling #visual notation- Generative modeling for continuous non-linearly embedded visual inference (CS, ADJ).
ICML-2004-WellingRT #approximate #markov- Approximate inference by Markov chains on union spaces (MW, MRZ, YWT).
ICML-2004-XingSJ #process #type inference- Bayesian haplo-type inference via the dirichlet process (EPX, RS, MIJ).
ICML-2004-ZhangYK #algorithm #kernel #learning #matrix #using- Bayesian inference for transductive learning of kernel matrix using the Tanner-Wong data augmentation algorithm (ZZ, DYY, JTK).
ICPR-v1-2004-Manley-CookeR #classification #fuzzy- A Modified Fuzzy Inference System for Pattern Classification (PMC, MR), pp. 256–259.
ICPR-v2-2004-KaneS #classification #image #learning #network- Bayesian Network Structure Learning and Inference in Indoor vs. Outdoor Image Classification (MJK, AES), pp. 479–482.
ICPR-v3-2004-YingK #evaluation #performance- Fast Leave-One-Out Evaluation and Improvement on Inference for LS-SVMs (ZY, KCK), pp. 494–497.
ICPR-v4-2004-TeleaSD #abstraction- Optimal Inference for Hierarchical Skeleton Abstraction (ACT, CS, SJD), pp. 19–22.
KDD-2004-JensenNG #classification #relational #why- Why collective inference improves relational classification (DJ, JN, BG), pp. 593–598.
KDD-2004-SmithE #framework #network- A Bayesian network framework for reject inference (ATS, CE), pp. 286–295.
ECOOP-2004-SpoonS #precise #scalability #type inference- Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (SAS, OS), pp. 51–74.
PDCL-2004-MartinK #on the- On the Inference of Natural Level Mappings (JCM, AK), pp. 432–452.
PPDP-2004-CarlierW #type inference- Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction (SC, JBW), pp. 132–143.
PPDP-2004-RajeshJ #design pattern #named #refactoring- JIAD: a tool to infer design patterns in refactoring (JR, DJ), pp. 227–237.
SAC-2004-StamatakisLM #performance #scalability- A fast program for maximum likelihood-based inference of large phylogenetic trees (AS, TL, HM), pp. 197–201.
IJCAR-2004-TurhanK #named #standard- Sonic — Non-standard Inferences Go OilEd (AYT, CK), pp. 321–325.
VMCAI-2004-AgarwalS #java #type inference- Type Inference for Parameterized Race-Free Java (RA, SDS), pp. 149–160.
VMCAI-2004-Logozzo #automation #invariant- Automatic Inference of Class Invariants (FL), pp. 211–222.
ASE-2003-RobillardM #automation #process- Automatically Inferring Concern Code from Program Investigation Activities (MPR, GCM), pp. 225–235.
ESOP-2003-Lhoussaine #distributed #type inference #π-calculus- Type Inference for a Distributed π-Calculus (CL), pp. 253–268.
PLDI-2003-AikenFKT #alias- Checking and inferring local non-aliasing (AA, JSF, JK, TT), pp. 129–140.
ICFP-2003-HeerenHS #process #type inference- Scripting the type inference process (BH, JH, SDS), pp. 3–13.
IFL-2003-VasconcelosH #equation #functional #higher-order #polymorphism #recursion #source code- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs (PBV, KH), pp. 86–101.
ICEIS-v2-2003-CamposGM #abduction #network #probability #using- Partial Abductive Inference in Bayesian Networks By Using Probability Trees (LMdC, JAG, SM), pp. 83–91.
CIKM-2003-YangRK #complexity #on the #web- On the complexity of schema inference from web pages in the presence of nullable data attributes (GY, IVR, MK), pp. 224–231.
ECIR-2003-NottelmannF #information retrieval #nondeterminism #probability- From Uncertain Inference to Probability of Relevance for Advanced IR Applications (HN, NF), pp. 235–250.
ICML-2003-SebbanJ #approach #grammar inference #on the #semistructured data #statistics- On State Merging in Grammatical Inference: A Statistical Approach for Dealing with Noisy Data (MS, JCJ), pp. 688–695.
SAC-2003-KwonHN- Inference of Transcriptional Regulation Relationships from Gene Expression Data (ATJK, HHH, RTN), pp. 135–140.
SAC-2003-Leon-RojasMM #fuzzy #on the- On the Fuzzy Bayesian Inference of Population Annoyance Level Caused by Noise Exposure (JMLR, VM, MM), pp. 227–234.
SAC-2003-NgZT #approach #interactive- Integrative Approach for Computationally Inferring Protein Domain Interactions (SKN, ZZ, SHT), pp. 115–121.
CC-2003-JoishaB #matlab #type inference- The MAGICA Type Inference Engine for MATLAB (PGJ, PB), pp. 121–125.
FATES-2003-XieN #generative #specification #testing- Mutually Enhancing Test Generation and Specification Inference (TX, DN), pp. 60–69.
LICS-2003-DershowitzK- Abstract Saturation-Based Inference (ND, CK), pp. 65–74.
RTA-2003-McAllester #algorithm #logic #ml #type inference- Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference (DAM), pp. 436–451.
SAT-2003-DrakeF #branch #heuristic #interactive- The Interaction Between Inference and Branching Heuristics (LD, AMF), pp. 370–382.
PEPM-2002-SecherS #graph- From checking to inference via driving and dag grammars (JPS, MHS), pp. 41–51.
PLDI-2002-HallenbergET #garbage collection- Combining Region Inference and Garbage Collection (NH, ME, MT), pp. 141–152.
SAS-2002-LuK #type checking #type inference- Backward Type Inference Generalises Type Checking (LL, AK), pp. 85–101.
SAS-2002-VaucheretB #logic programming #performance #precise #source code #type inference- More Precise Yet Efficient Type Inference for Logic Programs (CV, FB), pp. 102–116.
IFL-2002-PortilloHLV #automation #cost analysis #using- Cost Analysis Using Automatic Size and Time Inference (ÁJRP, KH, HWL, PBV), pp. 232–248.
CAiSE-2002-LiWWJ- Auditing Interval-Based Inference (YL, LW, XSW, SJ), pp. 553–567.
ICEIS-2002-IochpeT #analysis #aspect-oriented #process #workflow- Inferring Aspects of the Organizational Structure through Workflow Process Analysis (CI, LHT), pp. 758–763.
CIKM-2002-BruzaS #data flow #modelling #query- Inferring query models by computing information flow (PB, DS), pp. 260–269.
CIKM-2002-GloverPLK- Inferring hierarchical descriptions (EJG, DMP, SL, RK), pp. 507–514.
ECIR-2002-TsikrikaL #documentation #network #using #web- Combining Web Document Representations in a Bayesian Inference Network Model Using Link and Content-Based Evidence (TT, ML), pp. 53–72.
ICML-2002-FitzgibbonDA #approximate #monte carlo #polynomial- Univariate Polynomial Inference by Monte Carlo Message Length Approximation (LJF, DLD, LA), pp. 147–154.
ICPR-v2-2002-HsiehT #adaptation #fuzzy #image #using- Wavelet-based Image Coding Using Fuzzy Inference and Adaptive Quantization (MSH, DCT), pp. 265–268.
KR-2002-BeygelzimerR #complexity #learning #network- Inference Complexity as a Model-Selection Criterion for Learning Bayesian Networks (AB, IR), pp. 558–567.
KR-2002-Coste-MarquisM #complexity- Complexity Results for Paraconsistent Inference Relations (SCM, PM), pp. 61–72.
SIGIR-2002-GravesL #network #retrieval #using #video- Video retrieval using an MPEG-7 based inference network (AG, ML), pp. 339–346.
PPDP-2002-Shafarenko #morphism #type inference #type system- Coercion as homomorphism: type inference in a system with subtyping and overloading (AVS), pp. 14–25.
POPL-2002-PottierS #data flow #ml- Information flow inference for ML (FP, VS), pp. 319–330.
FSE-2002-NimmerE #invariant #static analysis- Invariant inference for static checking (JWN, MDE), pp. 11–20.
LICS-2002-PalsbergZ #performance #type inference #type system- Efficient Type Inference for Record Concatenation and Subtyping (JP, TZ), pp. 125–136.
VMCAI-2002-GoriL #abstract interpretation #empirical #type inference #verification- An Experiment in Type Inference and Verification by Abstract Interpretation (RG, GL), pp. 225–239.
ESOP-2001-ConchonP #calculus #constraints #type inference- JOIN(X): Constraint-Based Type Inference for the Join-Calculus (SC, FP), pp. 221–236.
FoSSaCS-2001-Coppo #equation #recursion #type inference- Type Inference with Recursive Type Equations (MC), pp. 184–198.
IWPC-2001-OBrienB #comprehension- Inference-Based and Expectation-Based Processing in Program Comprehension (MPO, JB), pp. 71–78.
SCAM-2001-MaggiS #analysis #bytecode #data flow #java #using- Using Data Flow Analysis to Infer Type Information in Java Bytecode (PM, RS), p. 213–?.
SAS-2001-MesnardN #logic programming #source code #static analysis #termination- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs (FM, UN), pp. 93–110.
FLOPS-2001-Sulzmann #framework #type inference- A General Type Inference Framework for Hindley/Milner Style Systems (MS), pp. 248–263.
CIKM-2001-SankeyW #semistructured data- Structural Inference for Semistructured Data (JS, RKW), pp. 159–166.
ICML-2001-Thollard #algorithm #grammar inference #probability- Improving Probabilistic Grammatical Inference Core Algorithms with Post-processing Techniques (FT), pp. 561–568.
KDD-2001-LinP01a- DIRT @SBT@discovery of inference rules from text (DL, PP), pp. 323–328.
MLDM-2001-JangKC #detection #fuzzy- FAM-Based Fuzzy Inference for Detecting Shot Transitions (SWJ, GYK, HIC), pp. 52–61.
ECOOP-2001-WangS #constraints #java #precise #type inference- Precise Constraint-Based Type Inference for Java (TW, SFS), pp. 99–117.
SAIG-2001-HerrmannL #approach #optimisation- A Transformational Approach which Combines Size Inference and Program Optimization (CAH, CL), pp. 199–218.
POPL-2001-OderskyZZ #type inference- Colored local type inference (MO, CZ, MZ), pp. 41–53.
SAC-2001-HwangR #algorithm #detection #fault- Algorithms to detect chained-inference faults in information distribution systems (YPH, DCR), pp. 679–685.
ICSE-2001-DillonS #analysis #graph #specification #using- Leightweight Analysis of Operational Specifications Using Inference Graphs (LKD, KS), pp. 57–67.
SOSP-2001-EnglerCC #approach #behaviour #consistency #debugging #fault- Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code (DRE, DYC, AC), pp. 57–72.
PODS-2000-PapakonstantinouV #xml- DTD Inference for Views of XML Data (YP, VV), pp. 35–46.
ESOP-2000-Pottier #type inference- A 3-Part Type Inference Engine (FP), pp. 320–335.
FoSSaCS-2000-Schubert #first-order #logic #type inference- Type Inference for First-Order Logic (AS), pp. 297–313.
SAS-2000-GagnonHM #bytecode #java #performance #static typing- Efficient Inference of Static Types for Java Bytecode (EG, LJH, GM), pp. 199–219.
STOC-2000-KempeKK #network #problem- Connectivity and inference problems for temporal networks (DK, JMK, AK), pp. 504–513.
ICFP-2000-PottierC #data flow #for free- Information flow inference for free (FP, SC), pp. 46–57.
ICML-2000-ThollardDH #automaton #probability #using- Probabilistic DFA Inference using Kullback-Leibler Divergence and Minimality (FT, PD, CdlH), pp. 975–982.
ICPR-v1-2000-SongGH #geometry #performance- Single View Computer Vision in Polyhedral World: Geometric Inference and Performance Characterization (MS, AG, RMH), pp. 1766–1769.
ICPR-v1-2000-VidalBMDC #comparison #representation- Object Representation and Comparison Inferred from Its Medial Axis (SFV, EB, GM, SD, NPdlB), pp. 1712–1715.
ICPR-v2-2000-Bax #using #validation- Using Validation by Inference to Select a Hypothesis Function (EB), pp. 2700–2703.
KR-2000-BesnardS- Significant Inferences : Preliminary Report (PB, TS), pp. 401–410.
KR-2000-FattahP #approach #automation #composition #query- A Compositional Structured Query Approach to Automated Inference (YEF, MAP), pp. 213–224.
KR-2000-Thomason #framework- Desires and Defaults: A Framework for Planning with Inferred Goals (RHT), pp. 702–713.
TOOLS-ASIA-2000-LiH- Counter Inference of Intelligent Agents (XL, WH), pp. 148–157.
PADL-2000-ChewHN #constraints #tool support- A Toolkit for Constraint-Based Inference Engines (TYC, MH, KBN), pp. 185–199.
SAC-2000-TemmeF #composition #fuzzy #standard- Fix-Mundis for Fuzzy IF-THEN Rule Bases with Standard Compositional Rule of Inference Interpretation (KHT, MF), pp. 529–533.
ICSE-2000-AlurEY #sequence chart- Inference of message sequence charts (RA, KE, MY), pp. 304–313.
PODS-1999-BusscheW #algebra #polymorphism #relational #type inference- Type Inference in the Polymorphic Relational Algebra (JVdB, EW), pp. 80–90.
PODS-1999-DawsonVLS- Minimal Data Upgrading to Prevent Inference and Association (SD, SDCdV, PL, PS), pp. 114–125.
PODS-1999-MiloS #query #semistructured data #type inference- Type Inference for Queries on Semistructured Data (TM, DS), pp. 215–226.
ICSM-1999-TonellaA #design pattern #object-oriented- Object-Oriented Design Pattern Inference (PT, GA), p. 230–?.
IWPC-1999-DeursenM #cobol #comprehension #using- Understanding COBOL Systems using Inferred Types (AvD, LM), pp. 74–81.
PLDI-1999-Fraser #automation #modelling #statistics- Automatic Inference of Models for Statistical Code Compression (CWF), pp. 242–246.
FLOPS-1999-BartheS #calculus #partial evaluation- Partial Evaluation and Non-inference for Object Calculi (GB, BPS), pp. 53–67.
FLOPS-1999-CamaraoF #strict #type inference- Type Inference for Overloading without Restrictions, Declarations or Annotations (CC, LF), pp. 37–52.
ICFP-1999-Chitil #deforestation #type inference- Type Inference Builds a Short Cut to Deforestation (OC), pp. 249–260.
ICFP-1999-OhoriY #compilation #ml #morphism #polymorphism #rank #type inference- Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML (AO, NY), pp. 160–171.
IFL-1999-Chitil #deforestation- Type-Inference Based Short Cut Deforestation (Nearly) without Inlining (OC), pp. 19–35.
CHI-1999-Salvucci #eye tracking #interface #modelling #process- Inferring Intent in Eye-Based Interfaces: Tracing Eye Movements with Process Models (DDS), pp. 254–261.
ICEIS-1999-CarvalhoPJ99a #logic programming #type inference- Type Inference in Logic Programming Context (CLdC, ECP, RMdSJ), p. 764.
ICML-1999-Joachims #classification #using- Transductive Inference for Text Classification using Support Vector Machines (TJ), pp. 200–209.
POPL-1999-ChatterjeeRL- Relevant Context Inference (RC, BGR, WL), pp. 133–146.
POPL-1999-KfouryW #decidability #type inference- Principality and Decidable Type Inference for Finite-Rank Intersection Types (AJK, JBW), pp. 161–174.
HPDC-1999-ClementSJW #performance- High Performance Phylogenetic Inference (MJC, QS, GJ, MW), pp. 335–336.
LICS-1999-KfouryP #recursion #type inference- Type Inference for Recursive Definitions (AJK, SMPG), pp. 119–128.
HT-1998-GibsonKR #community #web- Inferring Web Communities from Link Topology (DG, JMK, PR), pp. 225–234.
VLDB-1998-CherniackZ #query #semantics- Inferring Function Semantics to Optimize Queries (MC, SBZ), pp. 239–250.
ESOP-1998-ChatterjeeRL #complexity #exception- Complexity of Concrete Type-Inference in the Presence of Exceptions (RC, BGR, WL), pp. 57–74.
WCRE-1998-DeursenM #cobol #type inference- Type Inference for COBOL Systems (AvD, LM), pp. 220–230.
SAS-1998-CharatonikP #logic programming #source code #type inference- Directional Type Inference for Logic Programs (WC, AP), pp. 278–294.
SAS-1998-Duggan #finite #morphism #polymorphism #type inference #type system- Finite Subtype Inference with Explicit Polymorphism (DD), pp. 295–310.
ICALP-1998-Sewell #distributed #type system #π-calculus- Global/Local Subtyping and Capability Inference for a Distributed π-calculus (PS), pp. 695–706.
ICFP-1998-Pottier #framework #type inference #type system- A Framework for Type Inference with Subtyping (FP), pp. 228–238.
ICPR-1998-PinzA #reasoning #recognition- Qualitative spatial reasoning to infer the camera position in generic object recognition (AP, JPA), pp. 770–773.
KDD-1998-FeeldersCM #bias #mining- Mining in the Presence of Selectivity Bias and its Application to Reject Inference (AJF, SC, GJM), pp. 199–203.
LOPSTR-1998-HoarauM #compilation #constraints #logic programming #source code #termination- Inferring and Compiling Termination for Constraint Logic Programs (SH, FM), pp. 240–254.
POPL-1998-AikenG- Barrier Inference (AA, DG), pp. 342–354.
POPL-1998-Jensen #polymorphism #strict- Inference of Polymorphic and Conditional Strictness Properties (TPJ), pp. 209–221.
POPL-1998-PierceT #type inference- Local Type Inference (BCP, DNT), pp. 252–265.
POPL-1998-Schubert #higher-order #morphism #polymorphism #type inference #unification- Second-Order Unification and Type Inference for Church-Style Polymorphism (AS), pp. 279–288.
POPL-1998-ShieldsSJ #dynamic typing #staged #type inference #type system- Dynamic Typing as Staged Type Inference (MS, TS, SLPJ), pp. 289–302.
ICDAR-1997-HennigSW #fuzzy #online #using- Recognizing Letters in on-line Handwriting using Hierarchical Fuzzy Inference (AH, NS, RJW), pp. 936–940.
ICFP-1997-ChinH #bound- A Bounds Inference Method for Vector-Based Memoisation (WNC, MH), pp. 176–187.
KDD-1997-TurmonMP #identification- Bayesian Inference for Identifying Solar Active Regions (MJT, SM, JP), pp. 267–270.
POPL-1997-Jones #morphism #polymorphism #type inference- First-class Polymorphism with Type Inference (MPJ), pp. 483–496.
ICSE-1997-OCallahanJ #comprehension #named #type inference- Lackwit: A Program Understanding Tool Based on Type Inference (RO, DJ), pp. 338–348.
CADE-1997-HasegawaIOK #bottom-up #proving #set #theorem proving #top-down- Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving (RH, KI, YO, MK), pp. 176–190.
ICLP-1997-YouWY #logic programming- Disjunctive Logic Programming as Constrained Inferences (JHY, XW, LYY), pp. 361–375.
ILPS-1997-Pietrzak #type inference- Type Inference for CLP(FD) (PP), p. 407.
TLCA-1997-DamianiG #algorithm #strict- An Inference Algorithm for Strictness (FD, PG), pp. 129–146.
SAS-1996-Givan #polynomial #specification- Inferring Program Specifications in Polynomial-Time (RG), pp. 205–219.
ICML-1996-Bostrom #induction #logic programming #regular expression #source code- Theory-Guideed Induction of Logic Programs by Inference of Regular Languages (HB), pp. 46–53.
ICPR-1996-NishimuraT #approach #symmetry- Active shape inferring based on the symmetry in stable poses-shape from function approach (KN, HTT), pp. 136–140.
ICPR-1996-ShioyamaJ #3d #constraints- Numerical 3-D shape inference from shading with new type of constraint (TS, WBJ), pp. 364–368.
KDD-1996-HofmannB #clustering- Inferring Hierarchical Clustering Structures by Deterministic Annealing (TH, JMB), pp. 363–366.
KR-1996-Jaeger #independence #representation- Representation Independence of Nonmonotonic Inference Relations (MJ), pp. 461–472.
SIGIR-1996-Callan #documentation #network- Document Filtering With Inference Networks (JPC), pp. 262–269.
LOPSTR-1996-BenoyK- Inferring Argument Size Relationships with CLP(R) (FB, AK), pp. 204–223.
POPL-1996-BirkedalTV #representation- From Region Inference to von Neumann Machines via Region Representation Inference (LB, MT, MV), pp. 171–183.
CC-1996-Steensgaard #analysis #points-to #source code #type inference- Points-to Analysis by Type Inference of Programs with Structures and Unions (BS), pp. 136–150.
JICSLP-1996-Mesnard #constraints #logic programming #query #source code- Inferring Left-terminating Classes of Queries for Constraint Logic Programs (FM), pp. 7–21.
ICDAR-v1-1995-AkindeleB #documentation #modelling #using- Construction of generic models of document structures using inference of tree grammars (OTA, AB), pp. 206–209.
ICDAR-v2-1995-Yeung #approach #case study #grammar inference #modelling #online #recognition- A grammatical inference approach to on-line handwriting modeling and recognition: a pilot study (DYY), pp. 1069–1073.
ESOP-J-1994-HankinM95 #lazy evaluation #program analysis #type inference- Lazy Type Inference and Program Analysis (CH, DLM), pp. 219–249.
PEPM-1995-Monsuez #abstract interpretation #strict #type inference #using- Using Abstract Interpretation to Define a Strictness Type Inference System (BM), pp. 122–133.
SAS-1995-Faxen #functional #lazy evaluation #optimisation #source code #using- Optimizing Lazy Functional Programs Using Flow Inference (KFF), pp. 136–153.
SAS-1995-Tofte #functional #higher-order- Region Inference for Higher-Order Functional Languages (MT), pp. 19–20.
FPCA-1995-AikenF #dynamic typing #type inference #type system- Dynamic Typing and Subtype Inference (AA, MF), pp. 182–191.
FPCA-1995-HengleinR #ml #polymorphism #type inference- Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML (FH, JR), pp. 192–203.
FPCA-1995-Rittri #polymorphism #recursion- Dimension Inference Under Polymorphic Recursion (MR), pp. 147–159.
ICML-1995-OliveiraS #graph #order- Inferring Reduced Ordered Decision Graphs of Minimum Description Length (ALO, ALSV), pp. 421–429.
SIGIR-1995-CallanLC #distributed #network- Searching Distributed Collections with Inference Networks (JPC, ZL, WBC), pp. 21–28.
ECOOP-1995-Agesen #algorithm #morphism #parametricity #polymorphism #precise #type inference- The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism (OA), pp. 2–26.
OOPSLA-1995-AgesenH #comparison #feedback #object-oriented #optimisation #type inference- Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages (OA, UH), pp. 91–107.
OOPSLA-1995-EifrigST #polymorphism #type inference- Sound Polymorphic Type Inference for Objects (JE, SFS, VT), pp. 169–184.
PLILP-1995-BarendsenS #type inference- Uniqueness Type Inference (EB, SS), pp. 189–206.
POPL-1995-HoangM #bound #type inference #type system- Lower Bounds on Type Inference with Subtypes (MH, JCM), pp. 176–185.
ESOP-1994-HankinM #analysis #lazy evaluation #strict #type inference- Lazy Type Inference for the Strictness Analysis of Lists (CH, DLM), pp. 257–271.
ICSM-1994-MerloGT #reverse engineering #specification #user interface #visual notation- Inference of Graphical AUIDL Specifications for the Reverse Engineering of User Interfaces (EM, PYG, AT), pp. 80–88.
PEPM-1994-CourtenageC #type inference #λ-calculus- Analysing Resource Use in the λ Calculus by Type Inference (SC, CDC), pp. 33–41.
SAS-1994-Agesen #constraints #morphism #parametricity #polymorphism #type inference- Constraint-Based Type Inference and Parametric Polymorphism (OA), pp. 78–100.
LFP-1994-Hall #representation #type inference #using- Using Hindley-Milner Type Inference to Optimise List Representation (CVH), pp. 162–172.
LFP-1994-KfouryW #algorithm #higher-order #type inference #λ-calculus- A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order λ-Calculus (AJK, JBW), pp. 196–207.
KDD-1994-Kiselev #functional #named #source code- PolyAnalyst — A Machine Discovery System Inferring Functional Programs (MVK), pp. 237–250.
KDD-1994-Siebes #database #scalability- Homogeneous Discoveries Contain No Surprises: Inferring Risk Profiles from Large Databases (AS), pp. 97–108.
SIGIR-1994-Gey #probability #using- Inferring Probability of Relevance Using the Method of Logistic Regression (FCG), pp. 222–231.
OOPSLA-1994-PlevyakC #object-oriented #precise #type inference- Precise Concrete Type Inference for Object-Oriented Languages (JP, AAC), pp. 324–340.
LOPSTR-1994-SolnonR #dependence #type inference- Propagation of Inter-argument Dependencies in “Tuple-distributive” Type Inference Systems (CS, MR), pp. 199–214.
POPL-1994-HankinM #algorithm #analysis #strict #type inference- Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis (CH, DLM), pp. 202–212.
ICSE-1994-KroneS #on the #source code- On the Inference of Configuration Structures from Source Code (MK, GS), pp. 49–57.
CADE-1994-WangG #automation #named #program analysis- KITP-93: An Automated Inference System for Program Analysis (TCW, AG), pp. 831–835.
CAV-1994-ZhuS #hardware- The Completeness of a Hardware Inference System (ZZ, CJHS), pp. 286–298.
ICLP-1994-DumortierJ #towards- Towards a Practical Full Mode Inference System for CLP(H, N) (VD, GJ), pp. 569–583.
ILPS-1994-OrosG #datalog #inheritance #source code- Inferring Inheritance from Datalog Programs (MAO, PYG), p. 680.
ILPS-1994-RosenbluethP #logic programming #lr #parsing #source code- LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing (DAR, JCP), pp. 439–453.
LICS-1994-Palsberg #performance- Efficient Inference of Object Types (JP), pp. 186–195.
LICS-1994-PipernoR #type inference- Type Inference and Extensionality (AP, SRDR), pp. 196–205.
KBSE-1993-DrummondHI #automation- Accelerating Browsing By Automatically Inferring A User’s Search Goal (CD, RH, DI), p. 23.
FPCA-1993-AikenW #constraints #type inference- Type Inclusion Constraints and Type Inference (AA, ELW), pp. 31–41.
HCI-ACS-1993-WittigO #fault- Inferring Pilot Intent and Error as a Basis for Electronic Crew Assistance (TW, RO), pp. 386–391.
INTERCHI-1993-KarsentyWL #constraints #visual notation- Inferring graphical constraints with Rockit (SK, CW, JAL), p. 531.
CIKM-1993-HouZZ #database #statistics- Statistical Inference of Unknown Attribute Values in Databases (WCH, ZZ, NZ), pp. 21–30.
SEKE-1993-LeloucheV #automation #knowledge-based #testing #using- Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based System (RL, LV), pp. 388–395.
SEKE-1993-ShinCY #prolog #source code #type inference- Mode Based Type Inference for Prolog Programs (DS, YC, HY), pp. 239–243.
SEKE-1993-ZhangZX #parallel- A Knowledge Processing Language and Its Parallel Inference System (CZ, QZ, JX), pp. 199–206.
SIGIR-1993-BruzaG #performance- Efficient Context-Sensitive Plausible Inference for Information Disclosure (PB, LCvdG), pp. 12–21.
SIGIR-1993-HainesC #feedback #network- Relevance Feedback and Inference Networks (DH, WBC), pp. 2–11.
SIGIR-1993-Krovetz #process- Viewing Morphology as an Inference Process (RK), pp. 191–202.
SIGIR-1993-TzerasH #automation #network- Automatic Indexing Based on Bayesian Inference Networks (KT, SH), pp. 22–34.
ECOOP-1993-AgesenPS #type inference- Type Inference of SELF (OA, JP, MIS), pp. 247–267.
POPL-1993-Gay #algorithm #π-calculus- A Sort Inference Algorithm for the Polyadic π-Calculus (SJG), pp. 429–438.
ILPS-1993-DecorteSF #analysis #automation #termination- Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis (SD, DDS, MF), pp. 420–436.
ESOP-1992-OKeefeW #decidability #type inference- Type Inference for Partial Types is Decidable (PO, MW), pp. 408–417.
ESOP-1992-Wright #type system- Typing References by Effect Inference (AKW), pp. 473–491.
WSA-1992-BandaH- A Practical Application of Sharing and Freeness Inference (MJGdlB, MVH), pp. 118–125.
WSA-1992-SolbergNN #analysis- Inference Systems for Binding Time Analysis (KLS, HRN, FN), pp. 247–254.
LFP-1992-Henglein #optimisation #type inference- Global Tagging Optimization by Type Inference (FH), pp. 205–215.
LFP-1992-Kaes #recursion #type inference #type system- Type Inference in the Presence of Overloading, Subtyping and Recursive Types (SK), pp. 193–204.
KR-1992-CroccoL #logic #on the- On the Connection between Non-monotonic Inference Systems and Conditional Logics (GC, PL), pp. 565–571.
KR-1992-GivanM- New Results on Local Inference Relations (RG, DAM), pp. 403–412.
KR-1992-Iwanska #natural language #representation #semantics- A General Semantic Model of Negation in Natural Language: Representation and Inference (LI), pp. 357–368.
ECOOP-1992-OxhojPS #type inference- Making Type Inference Practical (NO, JP, MIS), pp. 329–349.
PLILP-1992-CattrallR #programming #relational- A Relational Programming System with Inferred Representations (DC, CR), pp. 475–476.
PLILP-1992-SolnonR #inheritance #prolog #source code- Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII (CS, MR), pp. 489–490.
POPL-1992-LincolnM #algorithm #aspect-oriented #type inference #type system- Algorithmic Aspects of Type Inference with Subtypes (PL, JCM), pp. 293–304.
PODS-1991-BrodskyS #constraints #difference #logic programming #source code- Inference of Inequality Constraints in Logic Programs (AB, YS), pp. 227–240.
SIGMOD-1991-HansenU #dependence- An Extended Memoryless Inference Control Method: Accounting for Dependence in Table-level Controls (SCH, EAU), pp. 348–356.
PLDI-1991-ChatterjeeBF #source code- Size and Access Inference for Data-Parallel Programs (SC, GEB, ALF), pp. 130–144.
WSA-1991-TalpinJ #polymorphism- Polymorphic Type, Region and Effect Inference (JPT, PJ), pp. 26–32.
FPCA-1991-Henglein #analysis #higher-order #performance #type inference- Efficient Type Inference for Higher-Order Binding-Time Analysis (FH), pp. 448–472.
KDD-1991-Pednault #encoding #induction- Minimal-Length Encoding and Inductive Inference (EPDP), pp. 71–92.
KR-1991-BalkeniusG #network- Nonmonotonic Inferences in Neural Networks (CB, PG), pp. 32–39.
KR-1991-Gardenfors- Nonmonotonic Inferences Based on Expectations: A Preliminary Report (PG), pp. 585–590.
KR-1991-PearlV #formal method- A Theory of Inferred Causation (JP, TV), pp. 441–452.
SIGIR-1991-YaoW #retrieval- Preference Structure, Inference and Set-Oriented Retrieval (YY, SKMW), pp. 211–218.
OOPSLA-1991-PalsbergS #object-oriented #type inference- Object-Oriented Type Inference (JP, MIS), pp. 146–161.
POPL-1991-AikenM #static typing #type inference- Static Type Inference in a Dynamically Typed Language (AA, BRM), pp. 279–290.
POPL-1991-HengleinM #complexity #higher-order #type inference #λ-calculus- The Complexity of Type Inference for Higher-Order Typed λ Calculi (FH, HGM), pp. 119–130.
POPL-1991-LeroyW #polymorphism #type inference- Polymorphic Type Inference and Assignment (XL, PW), pp. 291–302.
ESEC-1991-SneltingGS #in the large #programming- Inference-Based Support for Programming in the Large (GS, FJG, US), pp. 396–408.
CSL-1991-Hooker #logic- Logical Inference and Polyhedral Projection (JNH), pp. 184–200.
ICLP-1991-WatanabeK #layout #parallel #problem- Co-operative Hierarchical Layout Problem Solver on Parallel Inference Machine (TW, KK), p. 892.
ESOP-1990-EvenS #action semantics #semantics #type inference- Type Inference for Action Semantics (SE, DAS), pp. 118–133.
ESOP-1990-Thatte #scalability #type inference- Type Inference and Implicit Scaling (ST), pp. 406–420.
PLDI-1990-CormackW #parametricity- Type-Dependent Parameter Inference (GVC, AKW), pp. 127–136.
VDME-1990-SpiveyS #type inference- Type Inference in Z (JMS, BS), pp. 426–451.
LFP-1990-Gomard #functional #source code #type inference- Partial Type Inference for Untyped Functional Programs (CKG), pp. 282–287.
GG-1990-JeltschK #grammar inference- Grammatical Inference Based on Hyperedge Replacement (EJ, HJK), pp. 461–474.
SIGIR-1990-TurtleC #documentation #network #retrieval- Inference Networks for Document Retrieval (HRT, WBC), pp. 1–24.
PLILP-1990-GroschS #ada- Inference-Based Overloading Resolution for ADA (FJG, GS), pp. 30–44.
CADE-1990-Voronkov #logic #named- LISS — The Logic Inference Search System (AV), pp. 677–678.
HT-1989-ClitherowRM #hypermedia #named #navigation- VISAR: A System for Inference and Navigation in Hypertext (PC, DR, MM), pp. 293–304.
PODS-1989-BrodskyS #constraints #datalog #source code- Inference of Monotonicity Constraints in Datalog Programs (AB, YS), pp. 190–199.
SIGMOD-1989-OhoriBT #database #polymorphism #programming #static typing #type inference- Database Programming in Machiavelli — a Polymorphic Language with Static Type Inference (AO, PB, VT), pp. 46–57.
PLDI-1989-Boehm #abstraction #type inference- Type Inference in the Presence of Type Abstraction (HJB), pp. 192–206.
STOC-1989-RivestS #automaton #finite #sequence #using- Inference of Finite Automata Using Homing Sequences (Extended Abstract) (RLR, RES), pp. 411–420.
ICALP-1989-Reynolds- Syntactic Control of Inference, Part 2 (JCR), pp. 704–722.
FPCA-1989-KuoM #analysis #strict #type inference- Strictness Analysis: A New Perspective Based on Type Inference (TMK, PM), pp. 260–272.
FPCA-1989-WandO #complexity #on the #type inference- On the Complexity of Type Inference with Coercion (MW, PO), pp. 293–298.
CHI-1989-BlackBMC #effectiveness #learning #online #question #what- On-line tutorials: What kind of inference leads to the most effective learning? (JBB, JSB, MM, JMC), pp. 81–83.
KR-1989-Helft #induction- Induction as Nonmonotonic Inference (NH), pp. 149–156.
KR-1989-McAllesterGF #first-order #syntax #taxonomy- Taxonomic Syntax for First Order Inference (DAM, RG, TF), pp. 289–300.
OOPSLA-1989-OhoriB #parametricity #static typing #type inference- Static Type Inference for Parametric Classes (AO, PB), pp. 445–456.
LICS-1989-Wand #inheritance #multi #type inference- Type Inference for Record Concatenation and Multiple Inheritance (MW), pp. 92–97.
NACLP-1989-KonogayaHAY #evaluation #performance- Performance Evaluation of a Sequential Inference Machine CHI (AK, SH, AA, MY), pp. 1165–1179.
NACLP-1989-PyoR #logic programming #polymorphism #source code- Inference of Polymorphic Types for Logic Programs (CP, USR), pp. 1115–1132.
NACLP-1989-XuKT #distributed #garbage collection #parallel- Distributed Garbage Collection for the Parallel Inference Engine PIE64 (LX, HK, HT), pp. 922–941.
ESOP-1988-FuhM #type inference #type system- Type Inference with Subtypes (YCF, PM), pp. 94–114.
ICALP-1988-Thatte #type inference- Type Inference with Partial Types (ST), pp. 615–629.
LFP-1988-Henglein #type inference- Type Inference and Semi-Unification (FH), pp. 184–197.
LFP-1988-OhoriB #database #programming language #type inference- Type Inference in a Database Programming Language (AO, PB), pp. 174–183.
LFP-1988-Pfenning #higher-order #polymorphism #type inference #unification- Partial Polymorphic Type Inference and Higher-Order Unification (FP), pp. 153–163.
SIGIR-1988-CroftLC #case study #documentation- Retrieving Documents by Plausible Inference: A Preliminary Study (WBC, TJL, PRC), pp. 481–494.
POPL-1988-Stansifer #type inference #type system- Type Inference with Subtypes (RS), pp. 88–97.
CADE-1988-Azzoune #prolog #type inference- Type Inference in Prolog (HA), pp. 258–277.
CADE-1988-TourCC #tool support- Some Tools for an Inference Laboratory (ATINF) (TBdlT, RC, GC), pp. 744–745.
CADE-1988-WakayamaP- Case Inference in Resolution-Based Languages (TW, THP), pp. 313–322.
JICSCP-1988-CosciaFLST88 #compilation #logic programming- Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment (PC, PF, GL, GS, LT), pp. 359–373.
JICSCP-1988-Emden88 #polymorphism #type inference- Conditional Answers for Polymorphic Type Inference (MHvE), pp. 590–603.
JICSCP-1988-GotoKNC88 #garbage collection #incremental #lazy evaluation #parallel- Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines (AG, YK, TN, TC), pp. 1241–1256.
JICSCP-1988-XuW88 #prolog #type inference- A Type Inference System for Prolog (JX, DSW), pp. 604–619.
LICS-1988-Wand #named #type inference- Corrigendum: Complete Type Inference for Simple Objects (MW), p. 132.
SIGMOD-1987-Morgenstern #database #knowledge base #multi #security- Security and Inference in Multilevel Database and Knowledge-Base Systems (MM), pp. 357–373.
VLDB-1987-MannilaR #dependence- Dependency Inference (HM, KJR), pp. 155–158.
PLDI-1987-SutorJ #interpreter #type inference- The type inference and coercion facilities in the scratchpad II interpreter (RSS, RDJ), pp. 56–63.
CSL-1987-Leiss #object-oriented #on the #programming language #type inference- On Type Inference for Object-Oriented Programming Languages (HL), pp. 151–172.
LICS-1987-BachmairD #first-order #proving #theorem proving- Inference Rules for Rewrite-Based First-Order Theorem Proving (LB, ND), pp. 331–337.
LICS-1987-Wand #type inference- Complete Type Inference for Simple Objects (MW), pp. 37–44.
SLP-1987-Chikayama87 #parallel- Parallel Inference System Researches in the FGCS Project (TC), pp. 274–276.
SLP-1987-CoxP87 #abduction- General Diagnosis by Abductive Inference (PTC, TP), pp. 183–189.
SLP-1987-NakashimaN87 #architecture #hardware- Hardware Architecture of the Sequential Inference Machine: PSI-II (HN, KN), pp. 104–113.
LFP-1986-Mitchell #approach #polymorphism #reduction #semantics #summary- A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary) (JCM), pp. 308–319.
SIGIR-1986-Zarri #database #relational #retrieval #scalability- The Use of Inference Mechanisms to Improve the Retrieval Facilities from Large Relational Databases (GPZ), pp. 221–227.
POPL-1986-JohnsonW #approach #incremental #type inference- A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference (GFJ, JAW), pp. 44–57.
CADE-1986-Bayerl #parallel- Highly Parallel Inference Machine (MB), pp. 668–669.
ICLP-1986-Huntbach86 #model inference- An Improvised Version of Shapiro’s Model Inference System (MMH), pp. 180–187.
ICLP-1986-KawaiMKT86 #framework #induction #logic programming- A Framework for ICAI Systems Based on Inductive Inference and Logic Programming (KK, RM, OK, JT), pp. 188–202.
LICS-1986-CoppoZ #logic #type inference- Type inference and logical relations (MC, MZ), pp. 218–226.
SLP-1986-DebrayW86 #automation #prolog #source code- Automatic Mode Inference for Prolog Programs (SKD, DSW), pp. 78–88.
PODS-1984-YokotaKKMSM #algebra #generative #query #relational- An Enhanced Inference Mechanism for Generating Relational Algebra Queries (HY, SK, TK, NM, SS, KM), pp. 229–238.
LFP-1984-Katayama #approach #functional #programming language #type checking #type inference- Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach (TK), pp. 263–272.
SIGIR-1984-Zarri #information retrieval- Some Remarks About the Inference Techniques of RESEDA, an “Intelligent” Information Retrieval System (GPZ), pp. 281–300.
POPL-1984-MishraK #source code #static analysis- Static Inference of Properties of Applicative Programs (PM, RMK), pp. 235–244.
POPL-1984-Mitchell #type inference- Coercion and Type Inference (JCM), pp. 175–185.
CADE-1984-WosVSM- The Linked Inference Principle, II: The User’s Viewpoint (LW, RV, BS, WM), pp. 316–332.
ILPC-1984-Sintzoff84 #bound #source code #strict- Bounded-Horizon Success-Complete Restriction of Inference Programs (MS), pp. 139–150.
PODS-1983-Mitchell #dependence #functional- Inference Rules for Functional and Inclusion Dependencies (JCM), pp. 58–69.
STOC-1983-KanellakisCV #dependence #polynomial #problem- Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) (PCK, SSC, MYV), pp. 264–277.
POPL-1983-Leivant #polymorphism #type inference- Polymorphic Type Inference (DL), pp. 88–98.
PODS-1982-GurevichL #dependence #problem- The Inference Problem for Template Dependencies (YG, HRL), pp. 221–229.
SIGMOD-1982-Longstaff #named #query- ERQ: Controlled Inference and Instruction Techniques for DBMS Query Languages (JL), pp. 111–117.
ICALP-1982-CaseL #identification #induction- Machine Inductive Inference and Language Identification (JC, CL), pp. 107–115.
GG-1982-Bartsch-Sporl #grammar inference #graph grammar #pattern matching #pattern recognition #recognition- Grammatical inference of graph grammars for syntactic pattern recognition (BBS), pp. 1–7.
POPL-1982-BorningI #smalltalk- A Type Declaration and Inference System for Smalltalk (AB, DHHI), pp. 133–141.
CADE-1982-FrischA #retrieval- Knowledge Retrieval as Limited Inference (AMF, JFA), pp. 274–291.
CADE-1982-LuskMO82a #architecture #logic- Logic Machine Architecture: Inference Mechanisms (ELL, WM, RAO), pp. 85–108.
CADE-1982-SterlingB #verification- Meta-Level Inference and Program Verification (LS, AB), pp. 144–150.
STOC-1981-ChandraLM #dependence #embedded #problem- Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.
POPL-1981-Suzuki #smalltalk- Inferring Types in Smalltalk (NS), pp. 187–199.
SIGMOD-1980-ParkerP #dependence #embedded #multi #transitive- Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies (DSPJ, KPG), pp. 52–57.
CADE-1980-BundyW #algebra #multi #using- Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation (AB, BW), pp. 24–38.
CADE-1980-Friedman #reasoning- Reasoning by Plausible Inference (LF), pp. 126–142.
STOC-1978-CaseS #induction- Anomaly Hierarchies of Mechanized Inductive Inference (JC, CS), pp. 314–319.
ICALP-1978-Wiehagen #formal method #induction #problem- Characterization Problems in the Theory of Inductive Inference (RW), pp. 494–508.
POPL-1978-KaplanU #automation- A General Scheme for the Automatic Inference of Variable Types (MAK, JDU), pp. 60–75.
ICSE-1978-DershowitzM- Inference Rules for Program Annotation (ND, ZM), pp. 158–167.
SIGMOD-1975-Minker #database- Performing Inferences over Relation Data Bases (JM), pp. 79–91.