544 search results - page 56 / 109 » Web-Based Intelligent e-Learning Systems: Technologies and A... |
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Different driving forces push the electricity production towards decentralization. As a result, the current electricity infrastructure is expected to evolve into a network of netw...
108
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
88
Voted
ASSETS
2006
ACM
15 years 4 months ago
2006
ACM
Current speech synthesis technology is difficult to understand in everyday noise situations. Although there is a significant body of work on how humans modify their speech in nois...
90
Voted
IADIS
2004
15 years 1 months ago
2004
GeneSyS is an IST project (IST-2001-34162) developing a new generic middleware for supervising distributed systems at different levels such as Application, Network, System. The pr...
84
Voted
AAAI
1997
15 years 1 months ago
1997
This case study paper reports on the development and implementation of DISXPERT, a rule-based expert system tool for referral of social security disability recipients to vocationa...