No photo of David Tolpin

View Scopus Profile

David Tolpin

 https://orcid.org/0000-0003-0836-3255
20112023

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    Probabilistic Programs as an Action Description Language

    Brafman, R. I., Tolpin, D. & Wertheim, O., 27 Jun 2023, AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 15351-15358 8 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    5 Scopus citations
  • 2022

    Monitoring Time Series with Missing Values: A Deep Probabilistic Approach

    Barazani, O. & Tolpin, D., 1 Jan 2022, Cyber Security, Cryptology, and Machine Learning - 6th International Symposium, CSCML 2022, Proceedings. Dolev, S., Meisels, A. & Katz, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 19-28 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13301 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2021

    Probabilistic Programs with Stochastic Conditioning

    Tolpin, D., Zhou, Y., Rainforth, T. & Yang, H., 1 Jan 2021, Proceedings of the 38th International Conference on Machine Learning, ICML 2021. ML Research Press, p. 10312-10323 12 p. (Proceedings of Machine Learning Research; vol. 139).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Warped Input Gaussian Processes for Time Series Forecasting

    Vinokur, I. & Tolpin, D., 1 Jan 2021, Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings. Dolev, S., Margalit, O., Pinkas, B. & Schwarzmann, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 205-220 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12716 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations
  • 2019

    Deployable probabilistic programming

    Tolpin, D., 23 Oct 2019, Onward! 2019 - Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2019. Masuhara, H. & Petricek, T. (eds.). Association for Computing Machinery, Inc, p. 1-16 16 p. (Onward! 2019 - Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • Population anomaly detection through deep Gaussianization

    Tolpin, D., 1 Jan 2019, Proceedings of the ACM Symposium on Applied Computing. Association for Computing Machinery, p. 1330-1336 7 p. (Proceedings of the ACM Symposium on Applied Computing; vol. Part F147772).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations
  • 2018

    A Planning Approach to Monitoring Computer Programs’ Behavior

    Cukier, A., Brafman, R. I., Perkal, Y. & Tolpin, D., 1 Jan 2018, Cyber Security Cryptography and Machine Learning - Second International Symposium, CSCML 2018, Proceedings. Dinur, I., Dolev, S. & Lodha, S. (eds.). Springer Verlag, p. 243-254 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10879 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2017

    Process monitoring on sequences of system call count vectors

    Dymshits, M., Myara, B. & Tolpin, D., 5 Dec 2017, Proceedings - 2017 International Carnahan Conference on Security Technology, ICCST 2017. Ortega-Garcia, J., Morales, A., Fierrez, J., Vera-Rodriguez, R. & Lazzeretti, R. (eds.). Institute of Electrical and Electronics Engineers, p. 1-5 5 p. (Proceedings - International Carnahan Conference on Security Technology; vol. 2017-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    14 Scopus citations
  • 2016

    Design and implementation of probabilistic programming language anglican

    Tolpin, D., Van De Meent, J. W., Yang, H. & Wood, F., 31 Aug 2016, Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016. Association for Computing Machinery, 6. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    55 Scopus citations
  • 2015

    ICBS: Improved conflict-based search algorithm for multi-agent pathfinding

    Boyarski, E., Felner, A., Stern, R., Sharon, G., Tolpin, D., Betzalel, O. & Shimony, E., 1 Jan 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 740-746 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    173 Scopus citations

  • ICBS: The Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding: Extended Abstract

    Boyarski, E., Felner, A., Stern, R., Sharon, G., Betzalel, O., Tolpin, D. & Shimony, E., 1 Jan 2015, Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015. Lelis, L. & Stern, R. (eds.). AAAI press, p. 223-225 3 p. (Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    70 Scopus citations

  • Maximum a posteriori estimation by search in probabilistic programs

    Tolpin, D. & Wood, F., 1 Jan 2015, Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015. Lelis, L. & Stern, R. (eds.). Association for the Advancement of Artificial Intelligence, p. 201-205 5 p. (Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • Output-sensitive adaptive metropolis-hastings for probabilistic programs

    Tolpin, D., van de Meent, J. W., Paige, B. & Wood, F., 1 Jan 2015, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015. Costa, V. S., Soares, C., Appice, A., Appice, A., Rodrigues, P. P., Costa, V. S., Soares, C., Gama, J., Jorge, A., Rodrigues, P. P., Gama, J., Costa, V. S., Jorge, A., Appice, A., Rodrigues, P. P., Gama, J., Appice, A., Soares, C., Jorge, A., Gama, J., Rodrigues, P. P., Costa, V. S., Soares, C. & Jorge, A. (eds.). Springer Verlag, p. 311-326 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9285).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    7 Scopus citations

  • Probabilistic programming in anglican

    Tolpin, D., van de Meent, J. W. & Wood, F., 1 Jan 2015, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Proceedings. Zadrozny, B., Bonchi, F., Zadrozny, B., Cardoso, J., Bonchi, F., Gavalda, R., Bonchi, F., Spiliopoulou, M., Gavalda, R., Pedreschi, D., Cardoso, J., Spiliopoulou, M., Cardoso, J., Pedreschi, D., Bonchi, F., Bifet, A., Pedreschi, D., Bifet, A., Zadrozny, B., Spiliopoulou, M., Pedreschi, D., Spiliopoulou, M., May, M., May, M., Bifet, A., Gavalda, R., Bifet, A., May, M., Zadrozny, B., May, M., Cardoso, J. & Gavalda, R. (eds.). Springer Verlag, p. 308-311 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9286).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    25 Scopus citations
  • 2014

    Rational deployment of multiple heuristics in IDA*

    Tolpin, D., Betzalel, O., Felner, A. & Shimony, S. E., 1 Jan 2014, ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). IOS Press BV, p. 1107-1108 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2013

    Towards rational deployment of multiple heuristics in A*

    Tolpin, D., Beja, T., Shimony, S. E., Felner, A. & Karpas, E., 1 Dec 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 674-680 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    18 Scopus citations
  • 2012

    MCTS based on simple regret

    Tolpin, D. & Shimony, S. E., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 193-199 7 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • MCTS based on simple regret

    Tolpin, D. & Shimony, S. E., 7 Nov 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 570-576 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    28 Scopus citations

  • Selecting computations: Theory and applications

    Hay, N., Russell, S., Tolpin, D. & Shimony, S. E., 1 Dec 2012, Uncertainty in Artificial Intelligence - Proceedings of the 28th Conference, UAI 2012. p. 346-355 10 p. (Uncertainty in Artificial Intelligence - Proceedings of the 28th Conference, UAI 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    46 Scopus citations

  • VOI-aware MCTS

    Tolpin, D. & Shimony, S. E., 1 Jan 2012, ECAI 2012 - 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France - Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstration. IOS Press BV, p. 929-930 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 242).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2011

    Rational deployment of CSP heuristics

    Tolpin, D. & Shimony, S. E., 1 Dec 2011, IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence. p. 680-686 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations