Sciweavers

4270 search results - page 199 / 854
» A Permutation Approach to Validation
Sort
View
ZUM
2005
Springer
140views Formal Methods» more  ZUM 2005»
15 years 11 months ago
An Object-Oriented Structuring for Z Based on Views
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
Nuno Amálio, Fiona Polack, Susan Stepney
DAGM
2003
Springer
15 years 11 months ago
Robust Orientation, Calibration, and Disparity Estimation of Image Triplets
Abstract. This paper addresses robust automatic orientation, calibration, and disparity estimation for generating visualizations from image triplets. Here, robust means, that meani...
Helmut Mayer
HAPTICS
2010
IEEE
15 years 11 months ago
Transparency of the Generalized Scattering Transformation for Haptic Telepresence
In this paper we analyze the transparency of the generalized scattering transformation applied to teleoperation systems with constant time delay. Particularly, the human operator, ...
Iason Vittorias, Sandra Hirche
CBSE
2010
Springer
15 years 10 months ago
Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
Simon Allier, Houari A. Sahraoui, Salah Sadou, St&...
CONTEXT
1999
Springer
15 years 10 months ago
Ecological Interfaces: Extending the Pointing Paradigm by Visual Context
Following the ecological approach to visual perception, this paper presents an innovative framework for the design of multimodal systems. The proposal emphasises the role of the vi...
Antonella De Angeli, Laurent Romary, Frederic Wolf...