Author:
Publisher:
ISBN:
Category : Formal languages
Languages : en
Pages : 850

View

Book Description

Author:
Publisher: SIAM
ISBN: 9780898713664
Category : Mathematics
Languages : en
Pages : 608

View

Book Description
This text covers the proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, which was held in Atlanta, Georgia, in January 1996.

Author:
Publisher: Pearson Education
ISBN: 9780897912525
Category : Computer programming
Languages : en
Pages : 340

View

Book Description

Author:
Publisher: Pearson Education
ISBN: 9780897914192
Category : Computer programming
Languages : en
Pages : 378

View

Book Description

Author: C. J. Kenneth Tan
Publisher: Springer Science & Business Media
ISBN: 3642160069
Category : Computers
Languages : en
Pages : 213

View

Book Description
The 9th issue of the Transactions on Computational Science journal, edited by François Anton, is devoted to the subject of Voronoi diagrams in science and engineering. The 9 papers included in the issue constitute extended versions of selected papers from the International Symposium on Voronoi Diagrams, held in Copenhagen, Denmark, June 23-36, 2009. Topics covered include: divide and conquer construction of Voronoi diagrams; new generalized Voronoi diagrams or properties of existing generalized Voronoi diagrams; and applications of Voronoi diagrams and their duals in graph theory, computer graphics, bioinformatics, and spatial process simulation.

Author: Jerzy Marcinkowski
Publisher: Springer Science & Business Media
ISBN: 3540230246
Category : Computers
Languages : en
Pages : 529

View

Book Description
This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Conference of the EACSL in Karpacz, Poland, in September 2004. The 33 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 88 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts.

Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1032

View

Book Description
Includes entries for maps and atlases.

Author: Giuseppe Di Battista
Publisher: Springer
ISBN: 3540396586
Category : Computers
Languages : en
Pages : 810

View

Book Description
This book constitutes the refereed proceedings of the 11th Annual European Symposium on Algorithms, ESA 2003, held in Budapest, Hungary, in September 2003. The 66 revised full papers presented were carefully reviewed and selected from 165 submissions. The scope of the papers spans the entire range of algorithmics from design and mathematical analysis issues to real-world applications, engineering, and experimental analysis of algorithms.

Author: Carlo A. Furia
Publisher: Springer Science & Business Media
ISBN: 3642323316
Category : Computers
Languages : en
Pages : 430

View

Book Description
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common “ancestors”; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and “dual-language approaches” combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.

Author: Hendrik Pieter Barendregt
Publisher: Springer Science & Business Media
ISBN: 9783540580850
Category : Computers
Languages : en
Pages : 404

View

Book Description
This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.