Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers /

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers /

Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the creation of new adaptive, scalable tools that can analyse large and continuously changing software sy...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Bennaceur, Amel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Hähnle, Reiner (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Meinke, Karl (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Σειρά:	Programming and Software Engineering ; 11026
Θέματα:	Software engineering. Artificial intelligence. Computers. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Theory of Computation.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Foundations of Computer Science Potential-Theory-Cognition /
Έκδοση: (1997)

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019, Tutorial Lectures /
Έκδοση: (2019)

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings /
Έκδοση: (2019)

Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
Έκδοση: (2002)

Transactions and Change in Logic Databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso /
Έκδοση: (1998)

Logic Programming and Nonmonotonic Reasoning 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings /
Έκδοση: (1999)

Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings /
Έκδοση: (1997)

Informatics 10 Years Back. 10 Years Ahead /
ανά: Wilhelm, Reinhard, κ.ά.
Έκδοση: (2001)

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings /
Έκδοση: (2018)

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings /
Έκδοση: (2019)

Multi-Agent System Engineering 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings /
Έκδοση: (1999)

Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers /
Έκδοση: (2001)

Automata, Languages and Programming 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings /
Έκδοση: (2002)

Advanced Information Systems Engineering 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings /
Έκδοση: (1998)

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
Έκδοση: (2019)

Applied Computing Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings /
Έκδοση: (2004)

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings /
Έκδοση: (2018)

Inductive Logic Programming 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings /
Έκδοση: (2000)

Inductive Logic Programming 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings /
Έκδοση: (1999)

Inductive Logic Programming 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings /
Έκδοση: (1998)

Technologies and Innovation 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings /
Έκδοση: (2018)

SOFSEM 2000: Theory and Practice of Informatics 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings /
Έκδοση: (2000)

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings /
Έκδοση: (2019)

Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /
Έκδοση: (1997)

Co-ordination in Artificial Agent Societies Social Structures and Its Implications for Autonomous Problem-Solving Agents /
ανά: Ossowski, Sascha, κ.ά.
Έκδοση: (1999)

Multi-Agent Systems. Theories, Languages and Applications 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, QLD, Australia, July 13, 1998, Proceedings /
Έκδοση: (1998)

Computational Science - ICCS 2001 International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II /
Έκδοση: (2001)

Computational Science - ICCS 2001 International Conference San Francisco, CA, USA, May 28-30, 2001 Proceedings, Part I /
Έκδοση: (2001)

Collective Robotics First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings /
Έκδοση: (1998)

Theory and Application of Diagrams First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings /
Έκδοση: (2000)

SOFSEM 2001: Theory and Practice of Informatics 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings /
Έκδοση: (2001)

Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings /
Έκδοση: (1998)

Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings /
Έκδοση: (2001)

Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers /
Έκδοση: (1999)

Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /
Έκδοση: (1997)

Computer and Information Sciences -- ISCIS 2003 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings /
Έκδοση: (2003)

Computer and Information Sciences - ISCIS 2004 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings /
Έκδοση: (2004)

Rough Sets and Current Trends in Computing Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings /
Έκδοση: (2002)

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings /
Έκδοση: (2019)

Mobile Agents: Control Algorithms
ανά: Baumann, Joachim, κ.ά.
Έκδοση: (2000)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών