Sciweavers

4726 search results - page 310 / 946
» Domain Modeling of Software Process Models
Sort
View
DAGM
2003
Springer
15 years 12 months ago
A Generative Model Based Approach to Motion Segmentation
We address the question of how to choose between different likelihood functions for motion estimation. To this end, we formulate motion estimation as a problem of Bayesian inferen...
Daniel Cremers, Alan L. Yuille
ICASSP
2010
IEEE
15 years 6 months ago
Under-determined convolutive blind source separation using spatial covariance models
This paper deals with the problem of under-determined convolutive blind source separation. We model the contribution of each source to all mixture channels in the time-frequency d...
Ngoc Q. K. Duong, Emmanuel Vincent, Rémi Gr...
WER
2007
Springer
16 years 25 days ago
Role-Based Access Control Requirements Model with Purpose Extension
Role-Based Access Control (RBAC) is increasingly used for ensuring security and privacy in complex organizations such as healthcare institutions. In RBAC, access permissions are g...
Faranak Farzad, Eric Yu, Patrick C. K. Hung
SIGADA
2007
Springer
16 years 25 days ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund