2715 search results - page 283 / 543 » An Implementation of Narrowing Strategies |
148
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
183
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Influenced by the linking model which is implicit in HTML, today’s publishing model on the Web is contentcentered, with the emphasis of publishing on content rather than links....
204
Voted
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper neuro-fuzzy synergism is applied to implement content sequencing in adaptive hypermedia systems. The level of understanding of the learner is used to construct lesson...
190
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
171
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a parallel rendering method based on the adaptive supersampling technique to produce anti-aliased images with minimal memory consumption. Unlike traditional s...