Jets from Young Stars
This volume contains the edited lecture notes of the First JETSET School on Jets from Young Stars: Models and Constraints, ...
اقرأ المزيد
KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, ...
اقرأ المزيد
Knowledge Discovery in Inductive Databases
This book constitutes the thoroughly refereed joint postproceedings of the 5th International Workshop on Knowledge Discovery ...
اقرأ المزيد
Knowledge Discovery in Inductive Databases (vol. # 3933)
The4thInternationalWorkshoponKnowledgeDiscoveryinInductiveDatabases (KDID 2005) was held in Porto, Portugal, on October 3, ...
اقرأ المزيد
Knowledge Science, Engineering and Management
This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and ...
اقرأ المزيد
Knowledge-Driven Computing : Knowledge Engineering and Intelligent Computations
Knowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational ...
اقرأ المزيدLanguage in Our Brain: The Origins of a Uniquely Human Capacity
Friederici describes the basic language functions and their brain basis; the language networks connecting different language-related ...
اقرأ المزيد
Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...
اقرأ المزيد
Learning Classifier Systems
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning ...
اقرأ المزيد
Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
اقرأ المزيد
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
اقرأ المزيد
Life in the Universe : Expectations and Constraints
Energy, chemistry, solvents, and habitats -- the basic elements of living systems - define the opportunities and limitations ...
اقرأ المزيد
Logic Based Program Synthesis and Transformation (vol. # 3573)
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
اقرأ المزيد
Logic Based Program Synthesis and Transformation (vol. # 3901)
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
اقرأ المزيد
Logic Programming
The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...
اقرأ المزيد
Logic Programming (vol. # 3668)
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
اقرأ المزيد
Logic Programming (vol. # 4079)
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
اقرأ المزيد
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
اقرأ المزيد
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
اقرأ المزيد
