Login / Signup

Decidable Race Condition and Open Coregions in HMSC.

Vojtech RehákPetr SlovákJan StrejcekLoïc Hélouët
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
  • database
  • databases
  • data model
  • sufficient conditions
  • first order logic
  • image segmentation
  • artificial neural networks
  • transitive closure
  • real time
  • learning algorithm