Sciweavers

3058 search results - page 109 / 612
» Reflections on Reflections
Sort
View
HPCN
1999
Springer
14 years 1 months 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 11 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 11 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 11 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
INTERACT
2003
13 years 10 months ago
User Centred Design through the Keyhole: Video Design Case
: This paper develops a design case format capable of engaging design practitioners and design students in reflective dialog about their user centred design practice. The core idea...
Ole Sejer Iversen, Jacob Buur