Sciweavers

1736 search results - page 315 / 348
» Semantic Annotation for Java
Sort
View
ECOOP
2007
Springer
14 years 3 months ago
Morphing: Safely Shaping a Class in the Image of Others
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
Shan Shan Huang, David Zook, Yannis Smaragdakis
ECOOP
2007
Springer
14 years 3 months ago
Gradual Typing for Objects
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
Jeremy G. Siek, Walid Taha
ECTEL
2007
Springer
14 years 3 months ago
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst...
ECTEL
2007
Springer
14 years 3 months ago
Mobile Social Software with Context Awareness and Data Uncertainty for Technology-Enhanced Learning
Mobile computing technologies and social software have given new challenges to technology-enhanced learning. Simple e-learning system personalization, adaptation and authoring beco...
Yiwei Cao
ICADL
2007
Springer
129views Education» more  ICADL 2007»
14 years 3 months ago
Using Automatic Metadata Extraction to Build a Structured Syllabus Repository
Syllabi are important documents created by instructors for students. Students use syllabi to find information and to prepare for class. Instructors often need to find similar syl...
Xiaoyan Yu, Manas Tungare, Weiguo Fan, Manuel A. P...