Search

Your search keyword '"Automatic"' showing total 10,688 results

Search Constraints

Start Over You searched for: "Automatic" Remove constraint "Automatic" Category computers / computer science Remove constraint Category: computers / computer science
10,688 results on '"Automatic"'

Search Results

1. Automatic Differentiation: Applications, Theory, and Implementations

2. Advances in Automatic Differentiation

3. Automatic Layout Modification : Including Design Reuse of the Alpha CPU in 0.13 Micron SOI Technology

4. Automatic Assessment of Prosody in Second Language Learning

5. Automatic Nonuniform Random Variate Generation

6. Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions

7. Automatic Calibration and Reconstruction for Active Vision Systems

8. Automatic Quantum Computer Programming : A Genetic Programming Approach

9. Robust Adaptation to Non-Native Accents in Automatic Speech Recognition

10. Advances in Automatic Text Summarization

11. Automatic Verification of Sequential Infinite-State Processes

12. Automatic Algorithm Recognition and Replacement : A New Approach to Program Optimization

13. Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

14. Network Optimization in Intelligent Internet of Things Applications : Principles and Challenges

15. Hypothesis Generation and Interpretation : Design Principles and Patterns for Big Data Applications

16. Methods and Applications of Autonomous Experimentation

17. Probabilistic Indexing for Information Search and Retrieval in Large Collections of Handwritten Text Images

18. Functional Safety for Embedded Systems

19. Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

20. Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

21. Embedded Software System Testing : Automatic Testing Solution Based on Formal Method

22. AI for Cars

23. Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

24. Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

25. Unmanned Aerial Vehicles : An Introduction

26. Genetic Programming and Data Structures : Genetic Programming + Data Structures = Automatic Programming!

27. Introduction to Self-Driving Vehicle Technology

28. Cunning Machines : Your Pocket Guide to the World of Artificial Intelligence

29. Formal Verification of Control System Software

30. Automatic Bankcheck Processing

31. Handbook of Research on Investigations in Artificial Life Research and Development

32. Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

33. Advances in Time-Delay Systems

34. Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

35. Grammatical Evolution : Evolutionary Automatic Programming in an Arbitrary Language

36. Intelligent Unmanned Ground Vehicles : Autonomous Navigation Research at Carnegie Mellon

37. Deduction Systems

38. Safety of Computer Control Systems 1985 (Safecomp '85) : Achieving Safe Real Time Computer Systems

39. The Algorithmic Foundations of Differential Privacy

40. Autonomy Requirements Engineering for Space Missions

41. Automated Deduction – CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

42. Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

43. System Modelling and Optimization : Methods, Theory and Applications. 19th IFIP TC7 Conference on System Modelling and Optimization July 12–16, 1999, Cambridge, UK

44. Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

45. The Programming and Proof System ATES : Advanced Techniques Integration Into Efficient Scientific Software

46. Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

48. First International Workshop on Larch : Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

49. Automated Practical Reasoning : Algebraic Approaches

50. Computational Methods for Optimal Design and Control : Proceedings of the AFOSR Workshop on Optimal Design and Control Arlington, Virginia 30 September–3 October, 1997

Catalog

Books, media, physical & digital resources