Sciweavers

4914 search results - page 92 / 983
» Arbitration of a help system
Sort
View
CADE
2001
Springer
14 years 8 months ago
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
Xavier Urbain
ICCAD
2005
IEEE
79views Hardware» more  ICCAD 2005»
14 years 4 months ago
The impact of the nanoscale on computing systems
— Nanoscale technologies provide both challenges and opportunities. We show that the issues and potential solutions facing designers are technology independent and arise mainly f...
Seth Copen Goldstein
ITS
2004
Springer
105views Multimedia» more  ITS 2004»
14 years 1 months ago
The Massive User Modelling System (MUMS)
Developing a learner model containing an accurate representation of a learner’s knowledge is made more difficult in distributed learning environments where the learner uses mult...
Christopher A. Brooks, Mike Winter, Jim E. Greer, ...
CAEPIA
2003
Springer
14 years 1 months ago
X-Learn: An Intelligent Educational System Oriented towards the Net
Nowadays, there is a need for smart learning environments that offer personal services with capabilities to learn, reason, have autonomy and be totally dynamic. In this paper, we p...
Juan C. Burguillo-Rial, Ernesto Vázquez
EUSFLAT
2007
165views Fuzzy Logic» more  EUSFLAT 2007»
13 years 9 months ago
Synthesis of Distributed Fuzzy Hierarchical Model in Decision Support Systems in Fuzzy Environment
As the result of the development of Fuzzy Multiple Criteria Decision Making (FMCDM) with the help of fuzzy set theory a number of innovations have been made possible. The new appr...
Alexey N. Averkin, T. Agrafonova, N. Titova