6167 search results - page 1048 / 1234 » Can Refinement be Automated |
CII
2008
15 years 27 days 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...
74
Voted
CORR
2010
Springer
15 years 27 days 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,...
86
Voted
CORR
2008
Springer
15 years 27 days 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...
115
click to vote
AIEDU
2006
15 years 26 days 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...
85
Voted
ENTCS
2008
15 years 26 days 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...