6167 search results - page 1048 / 1234 » Can Refinement be Automated |
CII
2008
13 years 10 months ago
2008
Today's enterprises face critical needs in integrating disparate information spread over several data sources inside and even outside the organization. Most organizations alre...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Community effects on the behaviour of individuals, the community itself and other communities can be observed in a wide range of applications. This is true in scientific research,...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Knowledge organization systems (KOS), like thesauri and other controlled vocabularies, are used to provide subject access to information systems across the web. Due to the heterog...
AIEDU
2006
13 years 10 months ago
2006
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
ENTCS
2008
13 years 10 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...