Sciweavers

6357 search results - page 257 / 1272
» An Interactive Interface for Lighting-by-Example
Sort
View
LCPC
2001
Springer
15 years 9 months ago
An Interface Model for Parallel Components
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
Milind A. Bhandarkar, Laxmikant V. Kalé
CAV
2010
Springer
158views Hardware» more  CAV 2010»
15 years 8 months ago
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
ISUVR
2007
15 years 5 months ago
The User Interface of Button Type for Stereo Video-See-Through Device
—This paper proposes a user interface, on see-through system environment which shows the images via two different cameras, that also ordinary user can control the computer system...
Youngju Choi, Yongduek Seo
TAMODIA
2008
15 years 5 months ago
Learning Key Contexts of Use in the Wild for Driving Plastic User Interfaces Engineering
This paper addresses software plasticity, i.e. the ability of interactive systems to adapt to context of use while preserving user-centered properties. In plasticity, a classical a...
Vincent Ganneau, Gaëlle Calvary, Rachel Demum...
IADIS
2003
15 years 5 months ago
A Multimodal Interface for Digital Talking Books
This paper presents a framework for the production of digital talking books. These books target primarily the visually impaired community, but users with other characteristics can...
Carlos Duarte, Teresa Chambel, Luís Carri&c...