1636 search results - page 50 / 328 » Reasoning About Quantum Systems |
139
click to vote
AAAI
1990
15 years 5 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
132
click to vote
DIAGRAMS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
138
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Recommender systems face up to current information overload by selecting automatically items that match the personal preferences of each user. The so-called content-based...
139
click to vote
JSW
2008
15 years 4 months ago
2008
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
132
click to vote
JSS
2007
15 years 4 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...