The authors built and simulated a context-aware middleware system for mountain rescue that uses weather and geolocation streams, SAT-based reasoning, and formal languages to detect and represent hiker threats.
Exploration of human activities using message stream- ing brokers and automated logical reasoning for ambient-assisted services
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
other 1
citation-polarity summary
fields
cs.IT 1years
2025 1verdicts
CONDITIONAL 1roles
other 1polarities
unclear 1representative citing papers
citing papers explorer
-
Ambient-aware continuous aid for mountain rescue activities
The authors built and simulated a context-aware middleware system for mountain rescue that uses weather and geolocation streams, SAT-based reasoning, and formal languages to detect and represent hiker threats.