共 50 条
- [31] Large-Scale Test Automation in the Cloud (Invited Industrial Talk) 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1122 - 1122
- [32] Synthesis From Examples: Interaction Models and Algorithms (Invited Talk Paper) 14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 8 - 14
- [33] Invited paper: Challenges of large-size AMOLED PROCEEDINGS OF THE TWENTY-FIFTH INTERNATIONAL DISPLAY RESEARCH CONFERENCE - EURODISPLAY 2005, 2005, : 8 - 13
- [34] Modeling Emerging Technologies using Machine Learning: Challenges and Opportunities Invited Talk 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
- [35] Verifying the Forecast: How Climate Models Are Developed and Tested (Invited Talk) ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 2 - 2
- [36] From Typestate Verification to Interpretable Deep Models (Invited Talk Abstract) PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 4 - 5
- [38] Discovering Text Reuse in Large Collections of Documents: a Study of Theses in History Sciences 2015 ARTIFICIAL INTELLIGENCE AND NATURAL LANGUAGE AND INFORMATION EXTRACTION, SOCIAL MEDIA AND WEB SEARCH FRUCT CONFERENCE (AINL-ISMW FRUCT), 2015, : 26 - 32
- [39] Self-Adaptive Forecast Models in Predictive Maintenance Systems (Invited Talk) 2018 20TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2018), 2019, : 8 - 8
- [40] The Quantitative Analysis of User Behavior Online - Data, Models and Algorithms (Invited Talk) COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 327 - 327