3727 search results - page 80 / 746 » Without Knowledge Visualization |
114
click to vote
CNL
2009
15 years 1 months ago
2009
Abstract. Anaphora resolution in current computer-processable controlled natural languages relies mainly on syntactic information, accessibility constraints and the distance of the...
102
Voted
EDM
2009
14 years 10 months ago
2009
In Cognitive Tutors, student skill is represented by estimates of student knowledge on various knowledge components. The estimate for each knowledge component is based on a four-pa...
138
Voted
AGILE
2007
Springer
2007
Springer
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
15 years 7 months ago
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
KI
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we present a way of how to handle incomplete knowledge concerning moving objects. Our approach is based on the basic Qualitative Trajectory Calculus (QTCB), which is...
106
click to vote
AAI
2004
15 years 21 days ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...