BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (218)
use (91)
base (85)
model (83)
program (72)

Stem infer$ (all stems)

884 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.