875 search results - page 25 / 175 » Reasoning about Knowledge and Continuity |
133
Voted
ETELEMED
2009
IEEE
15 years 10 months ago
2009
IEEE
—Stress is one of the most common reasons for a number of serious diseases. For the prevention and treatment of stress, a psycho-physiological monitoring system for stress measur...
121
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
120
Voted
FLAIRS
2008
15 years 5 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
114
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
C-SPARQL is an extension of SPARQL to support continuous queries over RDF data streams. Supporting streams in RDF format guarantees interoperability and opens up important applica...
105
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Decentralized case-based reasoning (DzCBR) is a reasoning framework that addresses the problem of adaptive reasoning in a multi-ontology environment. It is a case-based r...