English
Related papers

Related papers: Proceedings of NIPS 2017 Workshop on Machine Learn…

200 papers

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Logic in Computer Science · Computer Science 2016-11-23 Ruzica Piskac , Rayna Dimitrova

We organized a competition on Autonomous Lifelong Machine Learning with Drift that was part of the competition program of NeurIPS 2018. This data driven competition asked participants to develop computer programs capable of solving…

Machine Learning · Computer Science 2019-03-15 Hugo Jair Escalante , Wei-Wei Tu , Isabelle Guyon , Daniel L. Silver , Evelyne Viegas , Yuqiang Chen , Wenyuan Dai , Qiang Yang

This volume contains the proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP 2014), taking place on 12 April, 2014 in Grenoble, France, as a satellite event of the European Joint Conferences on Theory…

Programming Languages · Computer Science 2014-06-09 Paul Levy , Neel Krishnaswami

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

Logic in Computer Science · Computer Science 2022-12-22 Reiko Heckel , Christopher M. Poskitt

This volume represents the proceedings of the Artificial Intelligence for Cyber Security (AICS) Workshop 2019, held on January 27, 2019 in Honolulu, Hawaii.

Artificial Intelligence · Computer Science 2019-03-28 William W. Streilein , Brad Dillman

This volume contains the papers selected among those which were presented at the 3rd International Workshop on Verification and Program Transformation (VPT 2015) held in London, UK, on April 11th, 2015. Previous editions of the Workshop…

Logic in Computer Science · Computer Science 2015-12-09 Alexei Lisitsa , Andrei P. Nemytykh , Alberto Pettorossi

This volume contains the proceedings of the International Workshop on Developments in Implicit Computational complExity (DICE 2010), which took place on March 27-28 2010 in Paphos, Cyprus, as a satellite event of the Joint European…

Logic in Computer Science · Computer Science 2010-05-20 Patrick Baillot

A collection of the accepted Findings papers that were presented at the 3rd Machine Learning for Health symposium (ML4H 2023), which was held on December 10, 2023, in New Orleans, Louisiana, USA. ML4H 2023 invited high-quality submissions…

This is the Proceedings of the Seventh Conference on Uncertainty in Artificial Intelligence, which was held in Los Angeles, CA, July 13-15, 1991

Artificial Intelligence · Computer Science 2013-04-16 Piero Bonissone , Bruce D'Ambrosio , Philippe Smets

The first edition of GEMOC workshop was co-located with the MODELS 2013 conference in Miami, FL, USA. The workshop provided an open forum for sharing experiences, problems and solutions related to the challenges of using of multiple…

This volume of the EPTCS contains the proceedings of the 15th international workshop on Qualitative Aspects of Programming Languages and Systems, QAPL 2017, held at April 23, 2017 in Uppsala, Sweden as a satellite event of ETAPS 2017, the…

Programming Languages · Computer Science 2017-07-13 Herbert Wiklicky , Erik de Vink

Software synthesis is rapidly developing into an important research area with vast potential for practical application. The SYNT Workshop on Synthesis aims to bringing together researchers interested in synthesis to present both ongoing and…

Logic in Computer Science · Computer Science 2014-03-31 Bernd Finkbeiner , Armando Solar-Lezama

This volume contains the proceedings of the 2014 International Advanced Intrusion Detection and Prevention (AIDP'14) Workshop, held in Marrakesh, Morocco, on the 5th of June 2014, in conjunction with the 29th IFIP TC-11 SEC 2014…

Cryptography and Security · Computer Science 2014-10-14 Joaquin Garcia-Alfaro , Gürkan Gür

This volume contains the papers presented at Arg-LPNMR 2016: First International Workshop on Argumentation in Logic Programming and Nonmonotonic Reasoning held on July 8-10, 2016 in New York City, NY.

Artificial Intelligence · Computer Science 2016-11-09 Sarah Alice Gaggl , Juan Carlos Nieves , Hannes Strass

Machine Learning (ML) has become a fast-growing, trending approach in solution development in practice. Deep Learning (DL) which is a subset of ML, learns using deep neural networks to simulate the human brain. It trains machines to learn…

Software Engineering · Computer Science 2022-02-23 Nipuni Hewage , Dulani Meedeniya

This compendium gathers all the accepted extended abstracts from the Second International Conference on Medical Imaging with Deep Learning (MIDL 2019), held in London, UK, 8-10 July 2019. Note that only accepted extended abstracts are…

Image and Video Processing · Electrical Eng. & Systems 2019-07-23 M. Jorge Cardoso , Aasa Feragen , Ben Glocker , Ender Konukoglu , Ipek Oguz , Gozde Unal , Tom Vercauteren

This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on Theory and Practice of Software,…

Software Engineering · Computer Science 2012-02-28 Alexander K. Petrenko , Holger Schlingloff

These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the 20th…

Logic in Computer Science · Computer Science 2015-08-17 Maurice H. ter Beek , Alberto Lluch Lafuente

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2019. Valencia, Spain, January 22nd. Collocated with HIPEAC 2019 Conference.

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-16 David Castells-Rufas , Cédric Bastoul

Natural language processing (NLP) has grown significantly since the advent of the Transformer architecture. Transformers have given birth to pre-trained large language models (PLMs). There has been tremendous improvement in the performance…

Computation and Language · Computer Science 2024-07-16 Jesse Atuhurra , Hidetaka Kamigaito