This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
WeiterlesenBy mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
WeiterlesenThe idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
WeiterlesenThis volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS ...
WeiterlesenThis book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...
WeiterlesenThe book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
WeiterlesenRemote Sensing Digital Image Analysis provides the non-specialist with an introduction to quantitative evaluation of satellite ...
WeiterlesenThe aquatic coastal zone is one of the most challenging targets for environmental remote sensing. Properties such as bottom ...
WeiterlesenThis book provides an overview of the recent advances in representation learning theory, algorithms and applications for ...
WeiterlesenThe book summarizes existing knowledge regarding problem representations and describes how basic properties of representations, ...
WeiterlesenOver the last 11 years, ECDL has created a strong interdisciplinary com- nity of researchers and practitioners in the ?eld ...
WeiterlesenThis book constitutes the refereed proceedings of the proceedings of the 10thEuropean Conference onDigital Libraries (ECDL ...
WeiterlesenThey present new and innovative developments in the field, divided into sections on Constraint Satisfaction, AI Techniques, ...
WeiterlesenThis book constitutes the refereed proceedings of the 11th Annual International Conference on Research in Computational Molecular ...
WeiterlesenFrom RECOMB 2005, the Steering Committee decided to publish the proceedings as a volume of Lecture Notes in Bioinf- matics ...
WeiterlesenPrefaceThis volume contains the papers presented at the 10th Annual InternationalConference on Research in Computational ...
WeiterlesenThis book constitutes the refereed proceedings of the 19th Annual International Conference on Research in Computational Molecular ...
WeiterlesenThis book proposes a unified algorithmic framework based on dual optimization techniques that have complexities that are ...
WeiterlesenDevoted to structural issues, algorithms, and applications of resource allocation problems in project management. This book ...
WeiterlesenThe main objective of this book is to provide tools for better understa- ing the fundamental tradeo?s and interdependencies ...
Weiterlesen