Sciweavers

3208 search results - page 264 / 642
» Methods and views
Sort
View
HICSS
1999
IEEE
132views Biometrics» more  HICSS 1999»
15 years 10 months ago
The Cultural Component of Designing and Evaluating International User Interfaces
By and large, cultural diversity is not being addressed in the design and development of user interfaces for international markets. Localization efforts that merely translate lang...
Nestor G. Trillo
SMILE
1998
Springer
15 years 10 months ago
Dualizing Scene Reconstruction Algorithms
It has been known since the work of Carlsson and Weinshall that there is a dualization principle that allows one to interchange the role of points being viewed by several cameras ...
Richard I. Hartley, Gilles Debunne
SAS
1993
Springer
104views Formal Methods» more  SAS 1993»
15 years 10 months ago
Strictness Properties of Lazy Algebraic Datatypes
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
P. N. Benton
AGTIVE
2007
Springer
15 years 10 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...
CAIP
2007
Springer
15 years 10 months ago
Flexibility Description of the MET Protein Stalk Based on the Use of Non-uniform B-Splines
Abstract. The MET protein controls growth, invasion, and metastasis in cancer cells and is thereby of interest to study, for example from a structural point of view. For individual...
Magnus Gedda, Stina Svensson