Sciweavers

462 search results - page 69 / 93
» Modelling Human Intelligence: A Learning Mechanism
Sort
View
KI
2009
Springer
14 years 2 months ago
Presenting Proofs with Adapted Granularity
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
Marvin Schiller, Christoph Benzmüller
EDM
2010
139views Data Mining» more  EDM 2010»
13 years 9 months ago
Automatic Rating of User-Generated Math Solutions
Intelligent tutoring systems adapt to users' cognitive factors, but typically not to affective or conative factors. Crowd-sourcing may be a way to create materials that engage...
Turadg Aleahmad, Vincent Aleven, Robert Kraut
AIEDAM
2011
13 years 3 months ago
Discovering implicit constraints in design
In familiar design domains, expert designers are able to quickly focus on “good designs”, based on constraints they have learned while exploring the design space. This ability ...
Madan Mohan Dabbeeru, Amitabha Mukerjee
SAC
2009
ACM
14 years 20 days ago
An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
Bernardo Gonçalves, Veruska Zamborlini, Gia...
KDD
2012
ACM
254views Data Mining» more  KDD 2012»
11 years 10 months ago
Playlist prediction via metric embedding
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...
Shuo Chen, Josh L. Moore, Douglas Turnbull, Thorst...