Papers using Infer.NET


"Merlin: Specification Inference for Explicit Information Flow Problems"
Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee
PLDI '09, TechFest 2009

"DebugAdvisor: A Recommender System for Debugging"
B. Ashok, Joseph Joy, Hongkang Liang, Sriram Rajamani, Gopal Srinivasa, and Vipindeep Vangala
Foundations of Software Engineering (ESEC/FSE), 26 August 2009

"Immune System Modeling with Infer.NET"
Vincent Y. F. Tan, John Winn, Angela Simpson, Adnan Custovic
2008 IEEE International Conference on e-Science

"Matchbox: Large Scale Online Bayesian Recommendations"
David Stern,Ralf Herbrich,Thore Graepel
WWW 2009

"Usher: Improving Data Quality With Dynamic Forms"
Kuang Chen,Harr Chen,Neil Conway,Joseph M. Hellerstein,Tapan S. Parikh
ICTD 2009

"Novel Tools To Streamline the Conference Review Process: Experiences from SIGKDD'09"
Peter A. Flach, Sebastian Spiegler, Bruno Golenia, Simon Price, John Guiver, Ralf Herbrich, Thore Graepel, Mohammed J. Zaki
SIGKDD Explorations, 11(2). ISSN 19310145, pp. 62-67. December 2009

"Modeling Shared Tastes in Online Communities."
Laura Dietz
In: NIPS Workshop on Applications for Topic Models: Text and Beyond, Dec 2009


"A Novel Click Model and Its Applications to Online Advertising"
Zeyuan Allen Zhu, Weizhu Chen, Tom Minka, Chenguang Zhu, and Zheng Chen
Proceedings of the Third ACM International Conference on Web Search and Data Mining (WSDM 2010)

"Beyond Atopy: Multiple Patterns of Sensitization in Relation to Asthma in a Birth Cohort Study"
Simpson A, Tan VY, Winn J, Svensén M, Bishop CM, Heckerman DE, Buchan I, Custovic A.
Am J Respir Crit Care Med. 2010 Feb 18. [Epub ahead of print]

Statistical Models of Music-listening Sessions in Social Media
Elena Zheleva, John Guiver, Eduarda Mendes Rodrigues, and Natasa Milic-Frayling
WWW 2010

Bayesian knowledge corroboration with logical rules and user feedback
G. Kasneci, J. Van Gael, T. Graepel, and R. Herbrich.
In European Conference on Machine Learning (ECML), Barcelona, Spain, September 2010.

"Parameter Estimation of 1-PL and 2-PL models: A Comparison of Marginal Maximum Likelihood, Bayesian and Variational Bayesian Approximation Estimation Methods Using Infer.Net, SAS and WINBUGS"
Prathiba Natesan, Ratna Nandakumar, Tom Minka, Xiaoyu Qian, and Jonathan Rubright
75th Annual Meeting of the Psychometric Society (IMPS) 2010

Revisiting the Examination Hypothesis with Query Specific Position Bias
Sreenivas Gollapudi, Rina Panigrahy
CoRR 2010

Intelligent Agent for Information Extraction from Arabic Text without Machine Translation
Tarek Helmy and Abdirahman Daud
In: Proceedings of the 1st Workshop on Cross-Cultural and Cross-Lingual Aspects of the Semantic Web 2010

Comparative validation of graphical models for learning tumor segmentations from noisy manual annotations
Kaster FO, Menze BH, Weber MA and Hamprecht FA.
In: Proc MICCAI Workshop on Medical Computer Vision (MCV 2010). Beijing, China. LNCS 2010

Modeling skin and ageing phenotypes using latent variable models in Infer.NET
David Knowles, Leopold Parts, Daniel Glass and John Winn
In: Predictive Models in Personalized Medicine Workshop, NIPS 2010, 11 Dec 2010


Probabilistic, Modular and Scalable Inference of Typestate Specifications
Nels E. Beckman and Aditya V. Nori
In PLDI '11: Programming Languages Design and Implementation, June 2011

Precise Indoor Localization using PHY Layer Information
Souvik Sen, Bozidar Radunovic, Romit Roy Choudhury, and Tom Minka
ACM HotNets, November 2011

Using Infer.NET for Statistical Analyses
S.S.J. Wang and M.P. Wand
The American Statistician vol. 65, pp. 115-126, 2011

Dichotomous cellular properties of mouse orexin/hypocretin neurons
Cornelia Schöne, Anne Venner, David Knowles, Mahesh M Karnani and Denis Burdakov
The Journal of Physiology, 2011

Measure transformer semantics for Bayesian machine learning

Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael

In ESOP'11: Proceedings of the 20th European conference on Programming languages and systems, part of the joint European conferences on theory and practice of software

Pitman-Yor Diffusion Trees
David Knowles and Zoubin Ghahramani
27th Conference on Uncertainty in Artificial Intelligence (UAI 2011)

Message Passing Algorithms for the Dirichlet Diffusion Tree
David Knowles, Jurgen Van Gael, and Zoubin Ghahramani
Conference on Artificial Intelligence and Statistics (AISTATS 2011)

A probabilistic graphical model for the music harmony similarity task (in Russian)
I. A. Baltiyskiy, S. I. Nikolenko
Tr. SPIIRAN, 18 (2011), 136-163

Advertiser-centric approach to understand user click behavior in sponsored search
Sungchul Kim, Tao Qin, Hwanjo Yu, and Tie-Yan Liu
In Proceedings of the 20th ACM international conference on Information and knowledge management (CIKM '11), 2011

Non-conjugate Variational Message Passing for Multinomial and Binary Regression
David Knowles and Tom Minka
NIPS 2011


DIMSUM: Discovering Semantic Data of Interest from Un-mappable Memory with Confidence
Zhiqiang Lin, Junghwan Rhee, Chao Wu, Xiangyu Zhang, and Dongyan Xu
Proceedings of the 19th ISOC/USENIX Network and Distributed System Security Symposium, San Diego, CA, February 2012

A New Click Model for Relevance Prediction in Web Search
A. Fishkov, S.I. Nikolenko
Proceedings of EEML 2012, an ICFCA 2012 workshop, 2012, pp. 45-54

Causality with Gates
John Winn

How To Grade a Test Without Knowing the Answers --- A Bayesian Graphical Model for Adaptive Crowdsourcing and Aptitude Testing
Yoram Bachrach, Thore Graepel, Tom Minka, John Guiver
ICML 2012

You are Now Facing the Mona Lisa: Spot Localization using PHY Layer Information
Souvik Sen, Bozidar Radunovic, Romit Roy Choudhury, and Tom Minka
MobiSys 2012

2009-2013 Microsoft Corporation. All rights reserved.  Terms of Use | Trademarks | Privacy Statement