2253 search results - page 193 / 451 » The ComFoRT Reasoning Framework |
DEXA
2008
Springer
15 years 26 days ago
2008
Springer
When issuing user-specific queries, users often have a vaguely defined information need. Skyline queries identify the most "interesting" objects for users' incomplet...
79
Voted
CAINE
2008
15 years 16 days ago
2008
Sensor networks have been used in many applications such as health monitoring, structural monitoring, transportation networks, weather prediction, and border security. In most of ...
AIML
2006
15 years 15 days ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
ECIS
2001
15 years 14 days ago
2001
The motivation for strategic action should be highest in volatile, unstable and unpredictable environments. For that reason, the search for a more strategic, systematic approach t...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...