Amanote Research

Amanote Research

    RegisterSign In

Automatic Completion of Distributed Protocols With Symmetry

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-21668-3_23
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2015

Authors
Rajeev AlurMukund RaghothamanChristos StergiouStavros TripakisAbhishek Udupa
Publisher

Springer International Publishing


Related search

Symmetry-Based Completion

2009English

Completion of Occluded Shapes Using Symmetry

English

Improving Automatic Verification of Security Protocols With XOR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Automatic Objects Removal for Scene Completion

2014English

Pedagogical Protocols Selection Automatic Assistance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Automatic Gait Recognition by Symmetry Analysis

Pattern Recognition Letters
Signal ProcessingComputer VisionPattern RecognitionArtificial IntelligenceSoftware
2003English

A Parameterized Harmony Model for Automatic Music Completion

Journal of Information Processing
2020English

Distributed Consensus Protocols for Coordinating Buyers

English

Distributed Automatic Voltage Control (DAVC)

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy