740 search results - page 48 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ACISICIS
2010
IEEE
13 years 9 months ago
2010
IEEE
In this research, we present a system that can support object gestures in ubiquitous environment. We propose various techniques to use any object around users for devices and appli...
ACMDIS
2000
ACM
14 years 26 days ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
CSMR
2010
IEEE
13 years 3 months ago
2010
IEEE
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Because today’s workforce is highly mobile, small wireless devices are being used to support mobile work collaboration. However, do computer platform differences affect such col...
SIMPRA
2011
13 years 3 months ago
2011
In this paper we present a GPU-based multigrid approach for simulating elastic deformable objects in real time. Our method is based on a finite element discretization of the defo...