2958 search results - page 127 / 592 » Extending and Implementing RASP |
PERCOM
2003
ACM
14 years 8 months ago
2003
ACM
The Open Hypermedia model is based upon the separation of hypertext links from documents and treats them as separate entities. Distributed link services take this approach and imp...
AUSAI
2009
Springer
14 years 3 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
WAW
2009
Springer
14 years 3 months ago
2009
Springer
We study personalized web ranking algorithms based on the existence of document clusterings. Motivated by the topic sensitive page ranking of Haveliwala [19], we develop and imple...
ECSQARU
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Classical Description Logics (DLs) are not suitable to represent vague pieces of information. The attempts to achieve a solution have lead to the birth of fuzzy DLs and r...
GBRPR
2009
Springer
14 years 3 months ago
2009
Springer
A universal data model, named DG, is introduced to handle vectorized data uniformly during the whole recognition process. The model supports low level graph algorithms as well as h...