550 search results - page 14 / 110 » Adaptive Hypermedia System Design: A Method From Practice |
GLVLSI
2006
IEEE
15 years 5 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
HT
2005
ACM
15 years 5 months ago
2005
ACM
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
104
click to vote
IUI
2000
ACM
15 years 4 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
IJCAI
2001
15 years 1 months ago
2001
One advantage of Case-Based Reasoning (CBR) is the relative ease of constructing and maintaining CBR systems, especially as a number of commercial CBR tools are available. However...
FOCM
2002
14 years 11 months ago
2002
This paper is concerned with the design and analysis of adaptive wavelet methods for systems of operator equations. Its main accomplishment is to extend the range of applicability...