Sciweavers

2626 search results - page 440 / 526
» The complexity of stochastic sequences
Sort
View
ICSE
2001
IEEE-ACM
15 years 11 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
FGR
2000
IEEE
233views Biometrics» more  FGR 2000»
15 years 11 months ago
Comprehensive Database for Facial Expression Analysis
Within the past decade, significant effort has occurred in developing methods of facial expression analysis. Because most investigators have used relatively limited data sets, the...
Takeo Kanade, Ying-li Tian, Jeffrey F. Cohn
IPPS
2000
IEEE
15 years 10 months ago
Image Layer Decomposition for Distributed Real-Time Rendering on Clusters
We propose a novel work partitioning technique, Image Layer Decomposition (ILD), designed specifically to support distributed real-time rendering on commodity clusters. ILD has s...
Thu D. Nguyen, John Zahorjan
VL
2000
IEEE
120views Visual Languages» more  VL 2000»
15 years 10 months ago
Visualizing the Synchronization of Java-Threads with UML
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
Katharina Mehner, Annika Wagner
SIGGRAPH
2000
ACM
15 years 10 months ago
Environment matting extensions: towards higher accuracy and real-time capture
Environment matting is a generalization of traditional bluescreen matting. By photographing an object in front of a sequence of structured light backdrops, a set of approximate li...
Yung-Yu Chuang, Douglas E. Zongker, Joel Hindorff,...