Showing 791 - 800 results of 1,481 for search '"Artificial intelligence."', query time: 0.03s Refine Results
  1. 791

    Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems by Herde, Christian

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Efficient solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems
  2. 792

    Emerging research in artificial intelligence and computational intelligence international conference, AICI 2011, Taiyuan, China, September 23-25, 2011. proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Emerging research in artificial intelligence and computational intelligence international conference, AICI 2011, Taiyuan, China, September 23-25, 2011. proceedings
  3. 793

    Evolutionary computation, machine learning and data mining in bioinformatics 9th European conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011. proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Evolutionary computation, machine learning and data mining in bioinformatics 9th European conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011. proceedings
  4. 794

    Foundations of intelligent systems 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Foundations of intelligent systems 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings
  5. 795

    Foundations on natural and artificial computation 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islan...

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Foundations on natural and artificial computation 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I
  6. 796

    Intelligent computing and information science international conference, ICICIS 2011, Chongqing, China, January 8-9, 2011, proceedings.

    Published 2011
    Available for the University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Intelligent computing and information science international conference, ICICIS 2011, Chongqing, China, January 8-9, 2011, proceedings.
  7. 797

    Research and development in intelligent systems XXVIII incorporating applications and innovations in intelligent systems XIX : proceedings of AI-2011, the thirty-first SGAI interna...

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Research and development in intelligent systems XXVIII incorporating applications and innovations in intelligent systems XIX : proceedings of AI-2011, the thirty-first SGAI international conference on innovative techniques and applications of artificial intelligence
  8. 798

    Research and development in intelligent systems XXVII incorporating applications and innovations in intelligent systems XVIII : proceedings of AI-2010, the thirtieth SGAI internati...

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Research and development in intelligent systems XXVII incorporating applications and innovations in intelligent systems XVIII : proceedings of AI-2010, the thirtieth SGAI international conference on innovative techniques and applications of artificial intelligence
  9. 799

    Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
  10. 800

    Modeling decision for artificial intelligence 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Modeling decision for artificial intelligence 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings

Search Tools: