Bringing AI to the edge: A formal M&S specification to deploy effective IoT architectures.
Román CárdenasPatricia ArrobaJosé L. Risco-MartínPublished in: CoRR (2023)
Keyphrases
- artificial intelligence
- machine learning
- formal methods
- formal specification
- knowledge representation
- lecture notes in artificial intelligence
- intelligent systems
- learning algorithm
- knowledge base
- high level
- high quality
- case based reasoning
- edge detection
- formal language
- database
- formal model
- data model
- multi agent systems
- multiscale
- information retrieval