Sciweavers

7117 search results - page 428 / 1424
» IT Governance Frameworks as Methods
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 11 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
ICPR
2010
IEEE
15 years 9 months ago
A Reliability Assessment Paradigm for Automated Video Tracking Systems
Most existing performance evaluation methods concentrate on defining separate metrics over a wide range of conditions and generating standard benchmarking video sequences for exam...
Chung-Hao Chen, Yi Yao, Andreas Koschan, Mongi Abi...
MEDINFO
2007
158views Healthcare» more  MEDINFO 2007»
15 years 8 months ago
Geographically Distributed Complementary Content-Based Image Retrieval Systems for Biomedical Image Informatics
There is a significant increase in the use of medical images in clinical medicine, disease research, and education. While the literature lists several successful systems for conte...
Sameer Antani, Thomas Martin Deserno, L. Rodney Lo...
IWFM
2003
15 years 8 months ago
Using Admissible Interference to Detect Denial of Service Vulnerabilities
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...
Stéphane Lafrance, John Mullins
NIPS
1998
15 years 8 months ago
SMEM Algorithm for Mixture Models
When learning a mixture model, we suffer from the local optima and model structure determination problems. In this paper, we present a method for simultaneously solving these prob...
Naonori Ueda, Ryohei Nakano, Zoubin Ghahramani, Ge...