Sciweavers

2291 search results - page 198 / 459
» Representational Reasoning and Verification
Sort
View
HT
2006
ACM
16 years 17 days ago
The evolution of metadata from standards to semantics in E-learning applications
Metadata attempts to describe the content, format, purpose and structure of data. Over the past few years, the IEEE-LOM standard has dominated the metadata world in e-learning app...
Hend S. Al-Khalifa, Hugh C. Davis
DIAGRAMS
2004
Springer
15 years 12 months ago
Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets
Abstract. This paper shows by a constructive method the existence of a diagrammatic representation called extended Euler diagrams for any collection of sets X1, ..., Xn , n < 9....
Anne Verroust, Marie-Luce Viaud
ICPR
2000
IEEE
15 years 11 months ago
3D Objects Coding and Recognition Using Surface Signatures
This paper presents a new concept for 3D coding of freeform surfaces. The proposed coding technique uses the surface signature representation scheme [1]. This representation schem...
Sameh M. Yamany, Aly A. Farag
ECTEL
2008
Springer
15 years 8 months ago
Evaluating Spatial Knowledge through Problem-Solving in Virtual Learning Environments
Modeling the cognitive processes of learners is fundamental to build educational software that are autonomous and that can provide highly tailored assistance during learning [3]. F...
Philippe Fournier-Viger, Roger Nkambou, Andr&eacut...
AAAI
2004
15 years 8 months ago
VModel: A Visual Qualitative Modeling Environment for Middle-School Students
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...
Kenneth D. Forbus, Karen Carney, Bruce L. Sherin, ...