1152 search results - page 69 / 231 » Task-Based User Modelling for Knowledge Work Support |
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
AAAI
1993
13 years 9 months ago
1993
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
ACSAC
1999
IEEE
14 years 11 days ago
1999
IEEE
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
KDD
1994
ACM
14 years 3 days ago
1994
ACM
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
JUCS
2008
13 years 8 months ago
2008
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...