„Action Refinement“

Suchergebnisse

1.000+ Treffer

• On syntactic and semantic action refinement
  Goltz, Ursula ; Gorrieri, Roberto ; Rensink, Arend 1992 Inst. für Informatik
• Analysis of Stirring Action to Control Grain Refinement of Inconel 625 Superalloy Bead on Plate Using Laser Wobble Technology
  Roy, Angshuman ; Pamarthi, Venkat Vivek ; Kumar, Nikhil ; Masters, Iain
• Action refinement – an application of process theory on object oriented specification
  Huhn, Michaela ; Wehrheim, Heike ; Denker, Grit 1995 Inst. für Mathematik
• Refinement of 3D lung cancer models for automation and patient stratification with mode-of-action studies
  Peindl, Matthias ; Dandekar, Gudrun ; Dandekar, Thomas 2024 Universität Würzburg
• Action refinement in end-based choice settings
  Fecher, Harald
• Cross-Scale Spatial Refinement Graph Convolutional Network for Skeleton-Based Action Recognition
  Ke, Chengyuan ; Liu, Sheng ; Ke, Zhenghao ; Feng, Yuan ; Chen, Shengyong
• Action Codes
  Vaandrager, Frits ; Wißmann, Thorsten 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synchronizing the Asynchronous
  Kragl, Bernhard ; Qadeer, Shaz ; Henzinger, Thomas A. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refinement of actions for real-time concurrent systems with causal ambiguity
  Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang
• Refinement of actions and equivalence notions for concurrent systems
  Glabbeek, Rob ˜vanœ ; Goltz, Ursula 1998 Inst. für Informatik
• Interleaving semantics and action refinement with atomic choice
  Czaja, Ingo ; Glabbeek, Rob ˜vanœ ; Goltz, Ursula 1991 GMD
• A deadlock-sensitive congruence for action refinement
  Glabbeek, Rob ˜vanœ ; Goltz, Ursula 1990 SFB 342
• Parametric action refinement
  Wehrheim, Heike 1993 Inst. für Informatik
• Action refinement in end based choice settings
  Fecher, Harald
• Tackling confusion among actions for action segmentation with adaptive margin and energy-driven refinement
  Ma, Zhichao ; Li, Kan
• Equilibrium refinement in finite action evidence games
  Jiang, Shaofei
• TSRN: two-stage refinement network for temporal action segmentation
  Tian, Xiaoyan ; Jin, Ye ; Tang, Xianglong
• Superposition: composition vs refinement of non-deterministic, action-based systems
  Lopes, Antónia ; Fiadeiro, José Luiz
• Towards action refinement for true concurrent real time
  Majster-Cederbaum, Mila ; Wu, Jinzhao
• Compositional Action System Refinement
  Back, R. J. R. ; Wright, J. von