Page 30
Page 30
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems.
Computer aided verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008.
Computational Science - ICCS 2006 ; Vol. 3994 ; 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006, held in Reading, UK, in May 2006. The papers span the whole range of computational science.
Computational Processing of the Portuguese Language ; 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings
This book constitutes the thoroughly refereed proceedings of the 8th International Workshop on Computational Processing of the Portuguese Language, PROPOR 2008, held in Aveiro, Portugal, in September 2008.
Computational Processing of the Portuguese Language ; 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
Since 1993, PROPOR Workshops have become an important forum for - searchers involved in the Computational Processing of Portuguese,both written and spoken. The workshop and this book were structured around the following main t- ics, seven for full papers: (i) automatic summarization; (ii) resources; (iii) au- matic translation; (iv) named entity recognition; (v) tools and frameworks; (vi) systems and models; and another ?ve topics for short papers; (vii) information extraction; (viii) speech processing; (ix) lexicon; (x) morpho-syntactic studies; (xi) web, corpus and evaluation.
Computational Probability : Algorithms and Applications in the Mathematical Sciences
Computational probability encompasses data structures and algorithms that have emerged over the past decade that allow researchers and students to focus on a new class of stochastic problems. COMPUTATIONAL PROBABILITY is the first book that examines and presents these computational methods in a systematic manner. The techniques described here address problems that require exact probability calculations, many of which have been considered intractable in the past. The first chapter introduces computational probability analysis, followed by a chapter on the Maple computer algebra system. The third chapter begins the description of APPL, the probability modeling language created by the authors. The book ends with three applications-based chapters that emphasize applications in survival analysis and stochastic simulation.
Computational methods in systems biology ; Vol. 4210 ; International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings
This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2006, held in Trento, Italy, in October 2006. The papers present a variety of techniques from computer sciences, such as language design, concurrency theory, software engineering, and formal methods.
Computational methods in systems biology ; International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings
This book presented present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of cellular processes.
Computational logic in multi-agent systems ; 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming.
Computational linguistics and intelligent text processing ; Vol. 3878 ; 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings
CICLing 2006 (www.CICLing.org) was the 7th Annual Conference on Intelligent Text Processing and Computational Linguistics. The CICLing conferences are intended to provide a wide-scope forum for discussion of the internal art and craft of natural language processing research and the best practices in its applications.
Computational linguistics and intelligent text processing ; 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings
The CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural language processing research and the best practices in its applications. This volume contains the papers accepted for oral presentation at the c- ference, as well as several of the best papers accepted for poster presentation.
Computational linguistics and intelligent text processing ; 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings
This book cover all current issues in computational linguistics research and present intelligent text processing applications. The papers are organized in topical sections on: lexical resources, corpus-based knowledge acquisition, morphology and part-of-speech tagging, named entity recognition, temporal expression treatment, word segmentation, sentence splitting, chunking, grammar formalisms and syntax, word sense disambiguation and discrimination and semantics.
Computational linguistics and intelligent text processing ; Vol. 3406 ; 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2005, held in Mexico City, Mexico in February 2005. An approach that involves natural language analysis techniques for the treatment of software system functional requirements is described in this book. This approach is used as the basis for a process developed to generate sequence diagrams automatically from the textual specification of use cases. This facility has been integrated in the Requirements Engineering Phase of OO-Method, an automatic production environment of software. For this purpose, a translator that is based on natural language parser is used. The translator provides grammatical information to each use case sentence and it identifies the corresponding interaction. The automatic transformation is conceived and specified following an orientation that is based on models and patterns. The results of the validation of the transformation patterns are presented.
Computational intelligence : Methods and techniques
This book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. Those techniques are today commonly applied issues of artificial intelligence, e.g. to process speech and natural language, build expert systems and robots.
Computational Granular Dynamics : Models and Algorithms
Computer simulations not only belong to the most important methods for the theoretical investigation of granular materials, but also provide the tools that have enabled much of the expanding research by physicists and engineers. The present book is intended to serve as an introduction to the application of numerical methods to systems of granular particles. Accordingly, emphasis is placed on a general understanding of the subject rather than on the presentation of the latest advances in numerical algorithms. Although a basic knowledge of C++ is needed for the understanding of the numerical methods and algorithms in the book, it avoids usage of elegant but complicated algorithms to remain accessible for those who prefer to use a different programming language. While the book focuses more on models than on the physics of granular material, many applications to real systems are presented.
Computational Forensic ; 2nd International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Workshop, IWCF 2008, held in Washington, DC, USA, August 2008. The papers are organized in topical sections on trends and challenges; scanner, printer, and prints; human identification; shoeprints; linguistics;decision making and search; speech analysis; signatures and handwriting.
Computational Fluid Dynamics for Engineers
This book introduces a wide range of Computational Fluid Dynamics (CFD) methods used in the aerospace industry to solve engineering problems. Its format is arranged so that students and practicing engineers can understand the fundamental principles used in CFD, with sample computer programs for the solution of model problems. The emphasis is on two-dimensional equations in order to present the material in a modest sized book. Source codes for selected problems are given so that the reader can understand how those methods are implemented in FORTRAN and C languages, while exercises provide more hands-on experience.
Computational Collective Intelligence ; 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings
This volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ICCCI 2020, held in Da Nang, Vietnam, in November 2020.* The 70 full papers presented were carefully reviewed and selected from 314 submissions. The papers are grouped in topical sections on: knowledge engineering and semantic web; social networks and recommender systems; collective decision-making; applications of collective intelligence; data mining methods and applications; machine learning methods; deep learning and applications for industry 4.0; computer vision techniques; biosensors and biometric techniques; innovations in intelligent systems; natural language processing; low resource languages processing; computational collective intelligence and natural language processing; computational intelligence for multimedia understanding; and intelligent processing of multimedia in web systems.
