639 search results - page 35 / 128 » Engineering intelligent systems on the knowledge formalizati... |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
ICALT
2007
IEEE
13 years 10 months ago
2007
IEEE
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
WIKIS
2006
ACM
14 years 2 months ago
2006
ACM
Ontologies are consensual representations of a domain of discourse and the backbone of the future Semantic Web. Currently, however, only a fraction of Web users can take part in t...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...