Stem infer$ (all stems)

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 ML^F: 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.