Sign in

Definition-independent Formalization of Soundscapes: Towards a Formal Methodology.

Mikel D. JedrusiakThomas HarwegTimo HaselhoffBryce T. LawrenceSusanne MoebusFrank Weichert
Published in: CoRR (2023)
Keyphrases
  • formal model
  • operational semantics
  • formal analysis
  • conceptual model
  • knowledge representation
  • formal semantics
  • website
  • three dimensional
  • hidden markov models
  • formal specification
  • design methodology