Sciweavers

2059 search results - page 271 / 412
» An adaptive system developer's tool-kit
Sort
View
CVHI
2007
15 years 8 months ago
Designing Tangible Table-top Interfaces for Patients in Rehabilitation
: We investigated the potentials and acceptance of tangible tabletop (TT) interfaces in functional and neural rehabilitation. Our goal was to analyse whether TT systems are adequat...
Michael Leitner, Martin Tomitsch, Thomas Költ...
HCI
2007
15 years 8 months ago
Intelligent Privacy Support for Large Public Displays
This paper presents a novel concept for personalized privacy support on large public displays. In a first step, a formative evaluation was conducted in order to analyze the require...
Carsten Röcker, Steve Hinske, Carsten Magerku...
ACSW
2006
15 years 7 months ago
An agent-based peer-to-peer grid computing architecture: convergence of grid and peer-to-peer computing
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
Jia Tang, Minjie Zhang
DGO
2003
147views Education» more  DGO 2003»
15 years 7 months ago
A Framework for the Representation of Geospatial Image Processing Operations
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
Vijay Venkataraman, Peggy Agouris
SDL
2001
125views Hardware» more  SDL 2001»
15 years 7 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat