Sign in
Decidable Race Condition and Open Coregions in HMSC.
Vojtech Rehák
Petr Slovák
Jan Strejcek
Loï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