共 50 条
- [41] Keynote: 10 Years Model-Driven-What Did We Achieve? 2011 2ND EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS-EERC), 2011, : 1 - 1
- [42] Methodological problems, a model-based design and analysis methodology, and an example (invited talk) 1600, Publ by Elsevier Science Publ Co Inc, New York, NY, USA
- [43] A way towards finding a model for the development of intercultural values in the school BORDON-REVISTA DE PEDAGOGIA, 2008, 60 (02): : 25 - 43
- [44] SAT-Based Model Checking: Interpolation, IC3 and beyond (Invited Talk) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : XVII - XVIII
- [46] Sketching a Linguistically-Driven Reasoning Dialog Model for Social Talk PROCEEDINGS OF THE 60TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2022): STUDENT RESEARCH WORKSHOP, 2022, : 153 - 170
- [47] Application of the Linear Network Model of Finding the Shortest Way of Evacuation of the Population PROCEEDINGS OF THE IV INTERNATIONAL RESEARCH CONFERENCE INFORMATION TECHNOLOGIES IN SCIENCE, MANAGEMENT, SOCIAL SPHERE AND MEDICINE (ITSMSSM 2017), 2017, 72 : 401 - 403
- [48] Keynote address 1: Model driven development for distributed real-time and embedded systems Schmidt, D.C. (schmidt@dre.vanderbilt.edu), 1600, ACM Special Interest Group on Software, SIGSOFT; Digicel Jamaica; et al.; IBM; IEEE Computer Society; Microsoft Corporation (Springer Verlag):
- [49] Reconciling Knowledge-Based and Data-Driven AI for Human-in-the-Loop Machine Learning (Abstract of Invited Talk) GRAPH-BASED REPRESENTATION AND REASONING (ICCS 2021), 2021, 12879 : IX - XI