Sciweavers

119 search results - page 12 / 24
» A Theory of Scope
Sort
View
BIRTHDAY
2007
Springer
14 years 1 months ago
Reduction Strategies and Acyclicity
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
Jan Willem Klop, Vincent van Oostrom, Femke van Ra...
ITICSE
2006
ACM
14 years 1 months ago
One step further the ACM K-12 final report: a proposal for level 1: computer organization for K-8
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...
Giovanni M. Bianco, Simonetta Tinazzi
ESWS
2004
Springer
14 years 27 days ago
Formal Support for Representing and Automating Semantic Interoperability
Semantic interoperability has become a key issue for realizing the Semantic Web in its full potential. However, there is a lot of controversy regarding the meaning and scope of the...
Yannis Kalfoglou, W. Marco Schorlemmer
PPSWR
2004
Springer
14 years 25 days ago
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
François Bry, Stephanie Spranger
ICWL
2003
Springer
14 years 21 days ago
Building Reusable and Interactive E-learning Content Using Web
: This paper presents the design of a web-based learning content authoring tool as well as the way learners can access courseware material, within the scope of a personalized, yet ...
Christos Bouras, Maria Nani, Thrasyvoulos Tsiatsos