LATIN 2006: Theoretical Informatics
This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, ...
اقرأ المزيد
LATIN 2008: Theoretical Informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
اقرأ المزيدLagrangian and Hamiltonian Methods for Nonlinear Control 2006
A Differential-Geometric Approach for Bernstein’s Degrees-of-Freedom Problem.- Nonsmooth Riemannian Optimization with Applications ...
اقرأ المزيد
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
اقرأ المزيد
Languages and Compilers for High Performance Computing
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ...
اقرأ المزيد
Languages and Compilers for Parallel Computing
This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers ...
اقرأ المزيد
Languages and Compilers for Parallel Computing (vol. # 2481)
The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, ...
اقرأ المزيد
Languages and Compilers for Parallel Computing : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages ...
اقرأ المزيد
Laplacian Eigenvectors of Graphs
Eigenvectors of graph Laplacians have not, to date, been the subject of expository articles and thus they may seem a surprising ...
اقرأ المزيد
Large-Scale Knowledge Resources. Construction and Application : Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings
Atthestartofthe21stcentury,wearenowwellonthewaytowardsaknowled- intensive society, in which knowledge plays ever more important ...
اقرأ المزيد
Large-Scale Nonlinear Optimization
Large-Scale Nonlinear Optimization reviews and discusses recent advances in the development of methods and algorithms for ...
اقرأ المزيد
Large-Scale Nonlinear Optimization
Large-Scale Nonlinear Optimization reviews and discusses recent advances in the development of methods and algorithms for ...
اقرأ المزيد
Large-Scale Scientific Computing
The 5th International Conference on Large-Scale Scientific Computations (LSSC 2005) was held in Sozopol, Bulgaria, June 6–10, ...
اقرأ المزيد
Le raisonnement bayésien : Modélisation et inférence = Bayesian reasoning: Modeling and inference
This book describes in detail the practice of the Bayesian statistical approach using many examples chosen for their educational ...
اقرأ المزيد
Learning Classifier Systems
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning ...
اقرأ المزيد
Learning Theory
It covers unsupervised, semisupervised and active learning, statistical learning theory, inductive inference, regularized ...
اقرأ المزيد
Learning and Intelligent Optimization : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers
The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...
اقرأ المزيد
Lectures in Supercomputational Neurosciences : Dynamics in Complex Brain Networks
The present volume is an introduction, largely from the physicists' perspective, to the subject matter with in-depth contributions ...
اقرأ المزيد
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
اقرأ المزيد
Linear Genetic Programming
Linear Genetic Programming examines the evolution of imperative computer programs written as linear sequences of instructions. ...
اقرأ المزيد
