2696 search results - page 300 / 540 » Semantic Abstraction and Anaphora |
189
click to vote
ZUM
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
166
click to vote
IDMS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. The interoperability between heterogeneous distributed virtual environments is one of the main problem Virtual Reality will have to face in the very close future. This ar...
147
click to vote
KI
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
174
click to vote
GD
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should re ect th...
190
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...