2972 search results - page 376 / 595 » Representing the Knowledge of a Robot |
175
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
167
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Abstract. Current text classification systems typically use term stems for representing document content. Semantic Web technologies allow the usage of features on a higher semantic...
177
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We conducted user studies in 2000 and 2004 into digital media use, and discovered a number of constant findings even though the studies were separate both in geographically and ch...
165
click to vote
WISE
2009
Springer
16 years 4 months ago
2009
Springer
In this paper, we describe an approach for detection and visualization of coordinate term relationships over time and their evolution using temporal data available on the Web. Coor...
149
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...