Sciweavers

1119 search results - page 106 / 224
» A Flexible Framework for SharedPlans
Sort
View
DSVIS
2008
Springer
15 years 8 months ago
Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofi...
ENTCS
2000
112views more  ENTCS 2000»
15 years 6 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
INFSOF
2000
68views more  INFSOF 2000»
15 years 6 months ago
An extensible platform for the development of synchronous groupware
The development of groupware is a complex endeavor due to several inherent features not present in single-user applications. To address this complexity many authors have presented...
G. Licea, Jesús Favela
ICIP
2002
IEEE
16 years 7 months ago
Fast text/graphics resolution improvement using wavelet based denoising and chain-code table lookup
We propose a fast text/graphics resolution improvement algorithm with boundary parameterization and wavelet based denoising. Given input images containing labeled text/graphics ob...
Onur G. Guleryuz, Anoop Bhattacharjya
ICIP
2001
IEEE
16 years 7 months ago
Scene boundary detection via video self-similarity analysis
In this paper, we present a novel framework for analyzing video using self-similarity. Video scenes are located by analyzing inter-frame similarity matrices. The approach is flexi...
Matthew L. Cooper, Jonathan Foote