20世纪80年代以来,由电影摄影机发展而来的家庭磁带摄像机已经可以让人们随意地带到家庭、公园和街头,把这个世界的五彩缤纷留在能够重复的影像记忆里,这使电影拍摄也成为一种新的公众艺术娱乐。 电影已经成为我们生活中无时不在的东西了。 然而,对于这种极其美妙、极富吸引力的现代艺术和技术,你到底知道多少呢? 你也许希望有一种途径,引导你去对电影作一番曲幽探胜。 或许,你想通过对电影原理的了解,增强把握这门艺术的心理自由度。 或许,你想找到导演和演员的艺术创造源泉和诀窍,从中取得经验。 或许你还想更多地知道一些有关电影文化的生活情趣。 当然,也许你只是想多知道一些拍摄电影的知识。 那么,就请你随手打开这本书。
2004年美国Jolt大奖入围作品。如果你是个程序员的话,那么你就需要本书。可能导致我们阅读代码的原因是:我们不得不去修复它其中所包含的错误;或是对它进行遍查(inspect);或者是改善它。我们阅读代码的方式可能和工程师检查机械的方式一样——找出它的工作原理。或者我们阅读代码的目的是对代码进行清理——找出其中可以被重用的部分。阅读代码有着它自身的技巧,并需要我们能够在重要场合对采用何种技术有着判断能力。在这本不可或缺的书中,DiomidisSpinellis使用了超过600个来自现实世界中的例子来向我们展示如何鉴别好的(或坏的)代码:如何去阅读它,从中去找寻什么,以及如何利用这种技巧来提升我们自身编写的代码的品质。记住这个事实:如果我们养成了阅读好代码的习惯,我们就能写出更高品质的代码。
"This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration."
本书是一本介绍机器视觉的书,内容丰富,通俗易懂。它提供了所有必需的理论工具,并且展示了如何将它们应用到实际的图像处理与机器视觉系统中。本书包含许多编练习,有助于学生深入理解实用图像处理算法的发展。本书从回顾数学原理开始,继而讨论数字图像处理中的关键问题,比如图像描述与特征、边缘检测、特征提取、分割纹理和形状等。本书还讨论了图像匹配、统计模式识别、语法模识别、聚类、扩散、自适应轮廓、参数变换和连贯性标记,介绍了一些重要的应用,包括自动目标识别。连续性和化是本书反复陈述的两个主题。本书适用于电气与计算机工程、计算机科学以及教学专业的高年级本科生与研究生,对于相关的工程技术人员也极具参考价值。本书中包括书中用到的所软件与数据。
《数据挖掘:实用机器学习技术及Java实现(英文版)》是一本将数据挖掘算法和数据挖掘实践完美结合起来的优秀教材。作者以其丰富的经验,对数据挖掘的概念和数据挖掘所有的技术(特别是机器学习)进行了深入浅出的介绍,并对应用机器学习工具进行数据挖掘给出了良好的建议。数据挖掘中的各个关键要素也事例融合在众多实例中加以介绍。 《数据挖掘:实用机器学习技术及Java实现(英文版)》还介绍了Weka这种基于Java的软件系统。该软件系统可以用来分析数据集,找到适用的模式,进行正确的分析,也可以用来开发自己的机器学方案。 《数据挖掘:实用机器学习技术及Java实现(英文版)》的主要特点: 解释数据挖掘算法的原理。 通过实例帮助读者根据实际情况选择合适的算法,并比较和评估不同方法得出的结果。 介绍提