MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori-...
详细信息
ISBN:
(数字)9783540321194
ISBN:
(纸本)9783540262961
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas.
This book constitutes the refereed proceedings of the 14th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2021, held online in July 2021.
ISBN:
(数字)9783030802530
ISBN:
(纸本)9783030802523
This book constitutes the refereed proceedings of the 14th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2021, held online in July 2021.
This book constitutes the refereed proceedings of the 8th International Workshop on Energy Minimization Methods in computervision and Pattern Recognition, EMMCVPR 2011, held in St. Petersburg, Russia in July , 2011. ...
详细信息
ISBN:
(数字)9783642230943
ISBN:
(纸本)9783642230936
This book constitutes the refereed proceedings of the 8th International Workshop on Energy Minimization Methods in computervision and Pattern Recognition, EMMCVPR 2011, held in St. Petersburg, Russia in July , 2011. The book presents 30 revised full papers selected from a total of 52 submissions. The book is divided in sections on discrete and continuous optimization, segmentation, motion and video, learning and shape analysis.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. The 94 revised full papers p...
详细信息
ISBN:
(数字)9783642247286
ISBN:
(纸本)9783642247279
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. The 94 revised full papers presented were carefully reviewed and selected from 832 submissions. The papers are organized in topical sections on neural networks; machine learning theory and methods; fuzzy theory and models; fuzzy systems and soft computing; evolutionary learning & genetic algorithms; swarm intelligence and optimization; intelligent computing in computervision; intelligent computing in imageprocessing; biometrics with applications to individual security/forensic sciences; intelligent image/document retrievals; natural language processing and computational linguistics; intelligent data fusion and information security; intelligent computing in pattern recognition; intelligent agent and web applications; intelligent computing in scheduling; intelligent control and automation.
The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conference on computervision, ECCV 2022. The conference took...
详细信息
ISBN:
(数字)9783031250859
ISBN:
(纸本)9783031250842
The 8-volume set, comprising the LNCS books 13801 until 13809, constitutes the refereed proceedings of 38 out of the 60 workshops held at the 17th European Conference on computervision, ECCV 2022. The conference took place in Tel Aviv, Israel, during October 23-27, 2022; the workshops were held hybrid or online.
This book constitutes the research papers presented at the Joint 2101 & 2102 International Conference on Biometric ID Management and Multimodal Communication. BioID_MultiComm'09 is a joint International Confer...
详细信息
ISBN:
(数字)9783642043918
ISBN:
(纸本)9783642043901
This book constitutes the research papers presented at the Joint 2101 & 2102 International Conference on Biometric ID Management and Multimodal Communication. BioID_MultiComm'09 is a joint International Conference organized cooperatively by COST Actions 2101 & 2102. COST 2101 Action is focused on 'Biometrics for Identity Documents and Smart Cards (BIDS)', while COST 2102 Action is entitled 'Cross-Modal Analysis of Verbal and Non-verbal Communication'. The aim of COST 2101 is to investigate novel technologies for unsupervised multimodal biometric authentication systems using a new generation of biometrics-enabled identity documents and smart cards. COST 2102 is devoted to develop an advanced acoustical, perceptual and psychological analysis of verbal and non-verbal communication signals originating in spontaneous face-to-face interaction, in order to identify algorithms and automatic procedures capable of recognizing human emotional states.
The book is inspired by the first seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Dealing with the image Ivory Towers and Virtual Bridges" was th...
详细信息
ISBN:
(数字)9783319053509
ISBN:
(纸本)9783319053493;9783319358581
The book is inspired by the first seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Dealing with the image Ivory Towers and Virtual Bridges" was the motto of this meeting, aiming to stimulate a discussion among engineers, designers and architects, all of whom are traditionally involved in the use of the image as a specialized language supporting their work, their research activities and their educational tasks. The book will also include the essays of invited or interviewed authors from other disciplines, namely Philosophy, Mathematics and Semiotics. According to Regis Debray, in the present "Visual Age", which he has significantly defined as a "Video-Sphere", all the information tends to be processed and controlled by means of visual devices. This occurs especially in the various branches of many technical studies and activities, one of the most sensitive areas to the use of Visual Language in the past and even more in the present.
暂无评论