Sciweavers

4772 search results - page 197 / 955
» An approach to interface synthesis
Sort
View
CHI
2008
ACM
16 years 7 months ago
Exploring the use of tangible user interfaces for human-robot interaction: a comparative study
In this paper we suggest the use of tangible user interfaces (TUIs) for human-robot interaction (HRI) applications. We discuss the potential benefits of this approach while focusi...
Cheng Guo, Ehud Sharlin
FASE
2009
Springer
15 years 10 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
ICIP
2003
IEEE
16 years 8 months ago
Image filling-in in a decomposition space
An algorithm for the simultaneous filling-in of texture and structure in regions of missing image information is presented in this paper. The basic idea is to first decompose the ...
Marcelo Bertalmío, Luminita A. Vese, Guille...
ICPR
2006
IEEE
16 years 7 months ago
Real Time Tracking for 3D Realistic Lip Animation
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...
Brice Beaumesnil, Franck Luthon
DAC
2006
ACM
16 years 7 months ago
Behavior and communication co-optimization for systems with sequential communication media
In this paper we propose a new communication synthesis approach targeting systems with sequential communication media (SCM). Since SCMs require that the reading sequence and writi...
Jason Cong, Yiping Fan, Guoling Han, Wei Jiang, Zh...