Annotation
"1195" Result
Sort By:
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions.…
The two volumes LNCS 8814 and 8815 constitute the thoroughly refereed proceedings of the 11th International Conference on Image Analysis and Recognition, ICIAR 2014, held in Vilamoura, Portugal, in October 2014. The 107 revised full papers presented were carefully reviewed and s…
The two volumes LNCS 8814 and 8815 constitute the thoroughly refereed proceedings of the 11th International Conference on Image Analysis and Recognition, ICIAR 2014, held in Vilamoura, Portugal, in October 2014. The 107 revised full papers presented were carefully reviewed and s…
This book constitutes the thoroughly refereed post-conference proceedings of the four workshops on Photographic Aesthetics and Non-Photorealistic Rendering (PAESNPR13), Geometric Properties from Incomplete Data (GPID), Quality Assessment and Control by Image and Video Analysis (…
This book constitutes the refereed proceedings of the 10th International Symposium on Bioinformatics Research and Applications, ISBRA 2014, held in Zhangjiajie, China, in June 2014. The 33 revised full papers and 31 one-page abstracts included in this volume were carefully revie…
Computer science provides a powerful tool that was virtually unknown three generations ago. Computer science has changed the shape of many classical domains. Often domains have become more similar than before. On the other hand new applications have emerged that were technically…
This book constitutes the refereed proceedings of the 5th Mexican Conference on Pattern Recognition, MCPR 2013, held in Huatulco, Mexico, in June 2013. The 36 revised full papers and two keynotes presented were carefully reviewed and selected from 81 submissions and are organize…
This volume has been divided into two parts: Geometry and Applications. The geometry portion of the book relates primarily to geometric flows, laminations, integral formulae, geometry of vector fields on Lie groups, and osculation; the articles in the applications portion concer…
The structure of approximate solutions of autonomous discrete-time optimal control problems and individual turnpike results for optimal control problems without convexity (concavity) assumptions are examined in this book. In particular, the book focuses on the properties of appr…
This textbook provides a rigorous introduction to linear algebra in addition to material suitable for a more advanced course while emphasizing the subject?s interactions with other topics in mathematics such as calculus and geometry. A problem-based approach is used to develop t…
This book constitutes the refereed proceedings of the 14th Algorithms and Data Structures Symposium, WADS 2015, held in Victoria, BC, Canada, August 2015. The 54 revised full papers presented in this volume were carefully reviewed and selected from 148 submissions. The Algorithm…
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely …
The two-volume set LNCS 8258 and 8259 constitutes the refereed proceedings of the 18th Iberoamerican Congress on Pattern Recognition, CIARP 2013, held in Havana, Cuba, in November 2013. The 137 papers presented, together with two keynotes, were carefully reviewed and selected fr…
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Image Analysis and Recognition, ICIAR 2013, held in Póvoa do Varzim, Portugal, in June 2013, The 92 revised full papers presented were carefully reviewed and selected from 177 submi…
This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gda¿ℓsk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers …
This book constitutes the refereed proceedings of the 15th International Workshop on Algorithms in Bioinformatics, WABI 2015, held in Atlanta, GA, USA, in September 2015. The 23 full papers presented were carefully reviewed and selected from 56 submissions. The selected papers c…