Sciweavers

1247 search results - page 74 / 250
» Reasoning about Function Objects
Sort
View
CORR
2002
Springer
131views Education» more  CORR 2002»
14 years 10 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann
BIRTHDAY
2004
Springer
15 years 1 months ago
Basic LMS Architecture for Learner-Centric LearnFlows or How Reusable Learning Objects Fit into Co-Constructivist Learning Proce
The discussions about learning management systems and reusable learning objects primarily focus on technical standardization issues. Standards such as SCORM or LTSC-LOM will yield...
Wolfgang F. Finke
CSDA
2006
67views more  CSDA 2006»
14 years 10 months ago
Sensitivity analysis of the strain criterion for multidimensional scaling
Multidimensional scaling (MDS) is a collection of data analytic techniques for constructing configurations of points from dissimilarity information about interpoint distances. Cla...
R. M. Lewis, M. W. Trosset
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 2 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
CSSW
2007
14 years 11 months ago
Discovering Unknown Connections - the DBpedia Relationship Finder
: The Relationship Finder is a tool for exploring connections between objects in a Semantic Web knowledge base. It offers a new way to get insights about elements in an ontology, i...
Jens Lehmann, Jörg Schüppel, Sören ...