Sciweavers

3058 search results - page 108 / 612
» Reflections on
Sort
View
REFLECTION
2001
Springer
14 years 7 days ago
A Simple Security-Aware MOP for Java
This article investigates the security problems raised by the use of proxy-based runtime meta-object protocols (MOPs) for Java and provides an approach for making meta-level code t...
Denis Caromel, Fabrice Huet, Julien Vayssiè...
HPCN
1999
Springer
14 years 3 days ago
A Parallel Implementation of the Block Preconditioned GCR Method
Abstract. The parallel implementation of GCR is addressed, with particular focus on communication costs associated with orthogonalization processes. This consideration brings up qu...
C. Vuik, Jason Frank
SGP
2004
13 years 10 months ago
Symmetry Descriptors and 3D Shape Matching
In this paper, we present the Symmetry Descriptors of a 3D model. This is a collection of spherical functions that describes the measure of a model's rotational and reflectiv...
Michael M. Kazhdan, Thomas A. Funkhouser, Szymon R...
AH
2008
Springer
13 years 9 months ago
Does 'Notice' Prompt Noticing? Raising Awareness in Language Learning with an Open Learner Model
Open learner models (OLM) are learner models that are accessible to the learner they represent. Many examples now exist, often with the aim of prompting learner reflection on their...
Gheida Shahrour, Susan Bull
CIE
2008
Springer
13 years 9 months ago
The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF, building on a previous mechanization of the reflection theorem. The heavy relia...
Lawrence C. Paulson