1435 search results - page 183 / 287 » Description Logics |
156
click to vote
IDT
2010
15 years 2 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
119
click to vote
KI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
121
click to vote
IDA
2001
Springer
15 years 8 months ago
2001
Springer
Fluents are logical descriptions of situations that persist, andcompositefluents are statistically significant temporal relationships(nearlyidentical withthosein Allen’stemporal...
140
click to vote
TAMODIA
2008
15 years 5 months ago
2008
Abstract. In this paper we present a demonstration of the Migrantes environment for supporting user interface migration through different devices, including mobile ones and digital...
141
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...