535 search results - page 61 / 107 » Do we need dependent types |
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
— The security of corporate business processes is crucial for the business success of companies. Existing Business Process Management methodologies barely consider security and d...
ISSA
2008
13 years 9 months ago
2008
Information Security awareness initiatives are seen as critical to any information security programme. But, how do we determine the effectiveness of these awareness initiatives? W...
WEBIST
2008
13 years 9 months ago
2008
Consumer Generated Media(CGM) is growing rapidly and the amount of content is increasing. However, it is often difficult for users to extract important contents and the existence o...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
In this work a new method to retrieve images with similar lighting conditions is presented. It is based on automatic clustering and automatic indexing. Our proposal belongs to Con...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, minimization of the statistical dependence is exploited for acoustic source localization purposes. Originally developed for the separation of signal mixtures, we sh...