Sciweavers

5510 search results - page 700 / 1102
» Mathematics
Sort
View
TPHOL
2009
IEEE
16 years 1 months ago
Formal Analysis of Optical Waveguides in HOL
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...
Osman Hasan, Sanaz Khan Afshar, Sofiène Tah...
AIED
2009
Springer
16 years 1 months ago
Intelligent Tutoring Systems with Multiple Representations and Self-Explanation Prompts Support Learning of Fractions
Although a solid understanding of fractions is foundational in mathematics, the concept of fractions remains a challenging one. Previous research suggests that multiple graphical r...
Martina A. Rau, Vincent Aleven, Nikol Rummel
AIED
2009
Springer
16 years 1 months ago
Emotion Sensors Go To School
This paper describes the use of sensors in intelligent tutors to detect students' affective states and to embed emotional support. Using four sensors in two classroom experime...
Ivon Arroyo, David G. Cooper, Winslow Burleson, Be...
CIKM
2009
Springer
16 years 1 months ago
Hydra: a hybrid recommender system [cross-linked rating and content information]
This paper discusses the combination of collaborative and contentbased filtering in the context of web-based recommender systems. In particular, we link the well-known MovieLens ...
Stephan Spiegel, Jérôme Kunegis, Fang...
COCOON
2009
Springer
16 years 1 months ago
On the Readability of Monotone Boolean Formulae
Golumbic et al. [Discrete Applied Mathematics 154(2006) 1465-1477] defined the readability of a monotone Boolean function f to be the minimum integer k such that there exists an ...
Khaled M. Elbassioni, Kazuhisa Makino, Imran Rauf