630 search results - page 40 / 126 » Combining Two Formalism for Reasoning about Concepts |
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
CIKM
2004
Springer
14 years 28 days ago
2004
Springer
As the number of available Web pages grows, users experience increasing difficulty finding documents relevant to their interests. One of the underlying reasons for this is that mo...
FLAIRS
2003
13 years 9 months ago
2003
It has been discovered about a decade ago that autistic people cannot properly understand and reproduce mental states and emotions. In this study we suggest a particular emotion r...
SIROCCO
2004
13 years 9 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
GEOS
2009
Springer
14 years 5 days ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...