Sciweavers

4140 search results - page 304 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
ICFEM
1998
Springer
15 years 11 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
POPL
2008
ACM
16 years 7 months ago
Imperative self-adjusting computation
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
Umut A. Acar, Amal Ahmed, Matthias Blume
ICIP
2009
IEEE
15 years 4 months ago
A novel two-tier Bayesian based method for hair segmentation
In this paper, a novel two-tier Bayesian based method is proposed for hair segmentation. In the first tier, we construct a Bayesian model by integrating hair occurrence prior prob...
Dan Wang, Shiguang Shan, Wei Zeng, Hongming Zhang,...
VLC
2002
118views more  VLC 2002»
15 years 6 months ago
Modeling Behaviors of Interactive Objects for Real-Time Virtual Environments
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
Marcelo Kallmann, Daniel Thalmann
COMPSAC
2009
IEEE
16 years 1 months ago
An Economical Approach to Usability Testing
Many software engineers consider usability testing as one of the more expensive, tedious and least rewarding tests to implement. Making usability testing less expensive and more r...
Carl J. Mueller, Dan E. Tamir, Oleg V. Komogortsev...