Title: Automated Theory Formation in Pure Mathematics, Author: Simon Colton
Title: Communication Technologies for Vehicles: 16th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, Madrid, Spain, November 16-17, 2021, Revised Selected Papers, Author: Juan Moreno García-Loygorri
Title: Constructive Knowledge Acquisition: A Computational Model and Experimental Evaluation, Author: Franz Schmalhofer
Title: Supercomputing: 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23-24, 2019, Revised Selected Papers, Author: Vladimir Voevodin
Title: Self Aware Security for Real Time Task Schedules in Reconfigurable Hardware Platforms, Author: Krishnendu Guha
Title: Managing Software Engineering Knowledge, Author: Aybïke Aurum
Title: Applications and Innovations in Expert Systems VI: Proceedings of ES98, the Eighteenth Annual International Conference of the British Computer Society Specialist Group on Expert Systems, Cambridge, December 1998, Author: Robert W. Milne
Title: Mathematical Entity Linking Methods and Applications, Author: Philipp Scharpf
Title: Knowledge Intensive Computer Aided Design: IFIP TC5 WG5.2 Third Workshop on Knowledge Intensive CAD December 1-4, 1998, Tokyo, Japan, Author: Susan Finger
Title: Clinical Decision Support Systems: Theory and Practice, Author: Eta S. Berner
Title: Effective Conversational AI: Chatbots that work, Author: Andrew Freed
Title: Selected Reflections in Language, Logic, and Information: ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers, Author: Alexandra Pavlova
Title: Springer Handbook of Global Navigation Satellite Systems, Author: Peter Teunissen
Title: Supercomputing: 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27-28, 2021, Revised Selected Papers, Author: Vladimir Voevodin
Title: Knowledge Management: Learning from Knowledge Engineering, Author: Jay Liebowitz
Title: Supercomputing: 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020, Revised Selected Papers, Author: Vladimir Voevodin
Title: Asia's Computer Challenge: Threat or Opportunity for the United States and the World?, Author: Jason Dedrick
Title: Supercomputing: 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018, Revised Selected Papers, Author: Vladimir Voevodin
Title: Soft Computing and Intelligent Systems: Theory and Applications, Author: Madan M. Gupta
Title: Provenance in Data Science: From Data Models to Context-Aware Knowledge Graphs, Author: Leslie F. Sikos

Pagination Links