5726 search results - page 445 / 1146 » Supporting annotations on relations |
162
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
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...
184
Voted
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
16 years 1 months ago
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...
185
Voted
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Mobile computing technologies and social software have given new challenges to technology-enhanced learning. Simple e-learning system personalization, adaptation and authoring beco...
212
click to vote
GCB
2007
Springer
16 years 1 months ago
2007
Springer
: The recent availability of large data sets of protein- protein-interactions (PPIs) from various species offers new opportunities for functional genomics and proteomics. We descri...
190
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...