Sciweavers

7623 search results - page 926 / 1525
» Constructive Volume Modeling
Sort
View
EHCI
2004
15 years 8 months ago
Spatial Control of Interactive Surfaces in an Augmented Environment
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...
Stanislaw Borkowski, Julien Letessier, James L. Cr...
FMOODS
2006
15 years 8 months ago
Defining Object-Oriented Execution Semantics Using Graph Transformations
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
EUSFLAT
2001
15 years 8 months ago
Similarity-based unification: a multi-adjoint approach
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
ECIS
2003
15 years 8 months ago
Habit in the context of IS continuance: theory extension and scale development
Defining “IS habit” as the extent to which using a particular IS has become automatic in response to certain situations, we developed a reliable and validated scale to measure...
Moez Limayem, Sabine Gabriele Hirt, Christy M. K. ...
WSC
2004
15 years 8 months ago
Permuted Weighted Area Estimators
Calvin and Nakayama previously introduced permuting as a way of improving existing standardized time series methods. The basic idea is to split a simulated sample path into nonove...
James M. Calvin, Marvin K. Nakayama