Sciweavers

42 search results - page 4 / 9
» Representational Correspondence as a Basic Principle of Diag...
Sort
View
HAPTICS
2009
IEEE
13 years 9 months ago
The impact of feedback design in haptic volume visualization
Enhancing volume visualization with additional cues from our sense of touch has shown the potential to increase both speed and accuracy in the data exploration. Research in the ar...
Karljohan E. Lundin Palmerius, Camilla Forsell
ACSC
2004
IEEE
13 years 9 months ago
Java Implementation Verification Using Reverse Engineering
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
David J. A. Cooper, Benjamin Khoo, Brian R. von Ko...
JASIS
1998
80views more  JASIS 1998»
13 years 5 months ago
A Distributed Representation Approach to Group Problem Solving
This article develops a theoretical framework of distributed representations to explore the representational properties in group problem solving. The basic principle of distribute...
Jiajie Zhang
FORTE
1989
13 years 7 months ago
Compilation of LOTOS Abstract Data Types
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
Hubert Garavel
ECOWS
2009
Springer
14 years 11 days ago
RESTful SPARQL? You name it!: aligning SPARQL with REST and resource orientation
SPARQL is the standard query language for RDF, but currently is a read-only language defined in a way similar to SQL: Queries can be formulated, are submitted to a single process...
Erik Wilde, Michael Hausenblas