HealthyLife: An Activity Recognition System with Smartphone Using Logic-Based Stream Reasoning.
Thang M. DoSeng Wai LokeFei LiuPublished in: MobiQuitous (2012)
Keyphrases
- knowledge representation
- real time
- knowledge base
- qualitative reasoning
- data streams
- spatial reasoning
- sliding window
- reasoning systems
- feature extraction
- formal models
- recognition process
- reasoning tasks
- automated reasoning
- brain activity
- analogical reasoning
- stream processing
- stream data
- reasoning process
- case based reasoning
- mobile applications
- daily life
- belief revision
- human activities