Verifying Time and Communication Costs of Rule-Based Reasoners.
Natasha AlechinaBrian LoganNguyen Hoang NgaAbdur RakibPublished in: MoChArt (2008)
Keyphrases
- knn
- communication cost
- sensor networks
- multi step
- communication overhead
- expert systems
- data distribution
- distributed data
- model checking
- reasoning systems
- reduce communication cost
- rule base
- data driven
- network size
- rule based systems
- feature extraction
- processing cost
- database
- data management
- knowledge representation systems