MPG.eBooks - Search Results - (masks OR marks)

1

Computational Geometry : Algorithms and Applications

by Berg, Mark de, Kreveld, Marc van, Overmars, Mark, Schwarzkopf, Otfried
Published 1997

Springer Berlin Heidelberg

Read Now

2

Advances in Web Intelligence and Data Mining

Published 2006

Springer Berlin Heidelberg

Read Now

3

Theoretical Aspects of Computing – ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Published 2019

Springer International Publishing

Read Now

4

Monte Carlo Search : First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings

Published 2021

Springer International Publishing

Read Now

5

Advances in Bioinformatics and Computational Biology : Third Brazilian Symposium on Bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Read Now

6

Memory Management : International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... -- Garbage collection on an open network -- Indirect mark and sweep: A distributed GC -- On-the-fly global...”

Read Now

7

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2022

Springer International Publishing

Table of Contents: “... Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool...”

Read Now

8

Transactions on Petri Nets and Other Models of Concurrency XV

Published 2021

Springer Berlin Heidelberg

Table of Contents: “... Synchronisation and Refinement -- Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph...”

Read Now

9

Transactions on Petri Nets and Other Models of Concurrency XIV

Published 2019

Springer Berlin Heidelberg

Table of Contents: “... Alphabets -- Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric...”

Read Now

10

Computer Science Today : Recent Trends and Developments

Published 1995

Springer Berlin Heidelberg

“...'s computer science and information technology. This anthology marks a truly extraordinary and festive moment...”

Read Now

11

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2019

Springer International Publishing

Table of Contents: “... Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault...”

Read Now

12

Advances in Petri Nets 1990

Published 1991

Springer Berlin Heidelberg

Table of Contents: “... simulator for high order Petri nets -- Petri nets with uncertain markings -- Convex geometry and semiflows...”

Read Now

13

Artificial Intelligence in Music, Sound, Art and Design : 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proc...

Published 2023

Springer Nature Switzerland

Table of Contents: “... Architecture Search to Instrument Recognition in Polyphonic Audio -- AI-rmonies of the Spheres -- SUNMASK: Mask...”

Read Now

14

Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... and Induction -- Regular Papers -- Shallow Lazy Proofs -- Mechanized Metatheory for the Masses: The PoplMark...”

Read Now

15

Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... Power of Petri Net Schemata -- Determinate STG Decomposition of Marked Graphs -- Timed-Arc Petri Nets vs...”

Read Now

16

Concurrency and Nets : Advances in Petri Nets

Published 1987

Springer Berlin Heidelberg

Table of Contents: “...Specification and Verification of Asynchronous Circuits using Marked Graphs...”

Read Now

17

Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... Verification -- Maximum Marking Problems with Accumulative Weight Functions -- Applied Logics and Computing...”

Read Now

18

Fundamentals of Computation Theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... for Infinite Words -- Marked Systems and Circular Splicing -- The Quantum Query Complexity of Algebraic...”

Read Now

19

Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Formulas of the Language L -- Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction...”

Read Now

20

Computing and Combinatorics : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Detection -- An Efficient Local Alignment Algorithm for Masked Sequences.-Computing Phylogenetic Roots...”

Narrow Search