We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:
Chapter English Image processing and computer vision Mathematics of computing

Search Results

Showing 1-20 of 10,000 results

  1. A. Proof of Thm. 4.34

    Abstract not available
    Frédéric Cao in Geometric Curve Evolution and Image Processing
    Chapter

  2. Index

    Abstract not available
    Frédéric Cao in Geometric Curve Evolution and Image Processing
    Chapter

  6. References

    Abstract not available
    Frédéric Cao in Geometric Curve Evolution and Image Processing
    Chapter

  11. Enhancing Cognitive Rehabilitation with Augmented Reality: The Role of Virtual Characters in Attention Restoration

    This study investigates the efficacy of Augmented Reality (AR) in enhancing attention restoration, leveraging the conceptual framework of Attention...
    Hanfu He, Wei Cui, Yu Wang in Virtual, Augmented and Mixed Reality
    Conference paper 2024

  12. A Virtual Reality Based Therapeutic Approach for Stuttering Intervention

    Stuttering, a speech disorder with far-reaching effects on communication and emotional well-being, has long posed challenges for those affected. This...
    J. Cecil, John A. Tetnowski, Sriram Kumar Tentu in Virtual, Augmented and Mixed Reality
    Conference paper 2024

  13. Z3VR - An Interactive VR Learning Environment for One of the First Computers (Konrad Zuse’s Z3)

    This paper presents Z3VR, an interactive simulation of Konrad Zuse’s Z3 computer in a Virtual Reality (VR) environment, intended to give users the...
    Lukas Moersler, David A. Plecher, ... Gudrun Klinker in Virtual, Augmented and Mixed Reality
    Conference paper 2024

  14. Mixed-Integer Programming for Adaptive VR Workflow Training

    With advances in consumer-grade virtual reality (VR) devices, VR training gains unprecedented attention in research and industries. Although the...
    Yongqi Zhang, Chuan Yan, ... Lap-Fai Yu in Virtual, Augmented and Mixed Reality
    Conference paper 2024

  15. Modular State Spaces - A New Perspective

    A modular Petri net is built from individual Petri nets, the instances, which have disjoint sets of internal transitions and interface transitions....
    Julian Gaede, Sophie Wallner, Karsten Wolf in Application and Theory of Petri Nets and Concurrency
    Conference paper 2024

  16. Relational Structures for Interval Order Semantics of Concurrent Systems

    Relational structures like partial orders that are based on acyclic relations capturing a ‘before’ relationship, can provide versatile frameworks for...
    Ryszard Janicki, Jetty Kleijn, ... Łukasz Mikulski in Application and Theory of Petri Nets and Concurrency
    Conference paper 2024

  17. Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles

    Trace parsing, a technique for obtaining the correspondence between a trace, which is a string of activities, and a process model, forms the basis of...
    Akio Watanabe, Ayumi Araragi, ... Yousuke Takahashi in Application and Theory of Petri Nets and Concurrency
    Conference paper 2024

  18. Verifying Temporal Logic Properties in the Modular State Space

    A modular Petri net is composed of multiple individual Petri nets, the modules, by fusing their interface transitions. Internal transitions are not...
    Lukas Zech, Karsten Wolf in Application and Theory of Petri Nets and Concurrency
    Conference paper 2024

  19. On the Expressive Power of Transfinite Sequences for Continuous Petri Nets

    Continuous Petri nets (CPNs) form a model of (uncountably infinite) dynamic systems that has been successfully explored for modelling and theoretical...
    Stefan Haar, Serge Haddad in Application and Theory of Petri Nets and Concurrency
    Conference paper 2024

  20. Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study

    Ideally, safety-critical systems should be designed to avoid or be resilient in handling failures that may occur during their lifetime. For...
    Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes in Application and Theory of Petri Nets and Concurrency
    Conference paper 2024
Did you find what you were looking for? Share feedback.