An approach to approximate computing: Logic transformations for one-minterm changes in specification.
Masahiro FujitaPublished in: HLDVT (2017)
Keyphrases
- high level
- state machine
- asynchronous circuits
- operational semantics
- linear temporal logic
- computational properties
- efficient computation
- transition systems
- efficiently computing
- logic programming
- information systems
- artificial intelligence
- database
- multi valued
- specification language
- xml documents
- e learning
- learning algorithm
- data sets