Sciweavers

3619 search results - page 643 / 724
» Developing Knowledge-Based Systems using the Semantic Web
Sort
View
132
Voted
PLDI
2010
ACM
16 years 20 days ago
Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
Adam Chlipala
160
Voted
WWW
2010
ACM
15 years 10 months ago
Object views: fine-grained sharing in browsers
Browsers do not currently support the secure sharing of JavaScript objects between principals. We present this problem as the need for object views, which are consistent and contr...
Leo A. Meyerovich, Adrienne Porter Felt, Mark S. M...
SEMWEB
2009
Springer
15 years 9 months ago
KOSIMap: Ontology Alignments Results for OAEI 2009
Abstract. Ontology mapping has been recognised as an important approach to identifying similar information in heterogeneous ontologies. The Knowledge Organisation System Implicit M...
Quentin Reul, Jeff Z. Pan
ESAW
2003
Springer
15 years 8 months ago
Patterns Reuse in the PASSI Methodology
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...
Massimo Cossentino, Luca Sabatucci, Antonio Chella
ICCE
2007
114views Education» more  ICCE 2007»
15 years 4 months ago
Investigating the Reuse of Course Generation Knowledge
: Course generation knowledge, i.e., how to assemble a sequence of learning objects which is adapted to a learner’s goals, competencies and preferences, is hard to assess and exp...
Carsten Ullrich, Qinghua Chen, Sushing Chen, Lipin...