18918 search results - page 431 / 3784 » Using Technology in Teaching |
106
Voted
DLOG
2006
15 years 6 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
142
click to vote
WSC
1997
15 years 6 months ago
1997
An investigation is underway regarding technologies to support the design, development and use of distributed, web-based simulations. As part of this investigation the Simjava sim...
126
Voted
WWW
2004
ACM
16 years 5 months ago
2004
ACM
We present a variant of PageRank, WLRank, that considers different Web page attributes to give more weight to some links, improving the precision of the answers. Categories and Su...
137
Voted
COST
2007
Springer
15 years 11 months ago
2007
Springer
Recent work investigating the interaction of the speech signal with the meaning of the verbal content has revealed interactions not yet modelled in either speech recognition techn...
130
Voted
WETICE
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents the results of a survey of requirements for attribute aggregation in authorisation systems, gathered from an international community of security professionals....