Sciweavers

943 search results - page 71 / 189
» Simulation based deadlock analysis for system level designs
Sort
View
ICDIM
2006
IEEE
14 years 2 months ago
Model-Driven Development of Content-Based Image Retrieval Systems
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
Temenushka Ignatova
MM
2003
ACM
124views Multimedia» more  MM 2003»
14 years 2 months ago
Experience based sampling technique for multimedia analysis
We present a novel experience based sampling or experiential sampling technique which has the ability to focus on the analysis’s task by making use of the contextual information...
Jun Wang, Mohan S. Kankanhalli
MVA
2006
205views Computer Vision» more  MVA 2006»
13 years 8 months ago
Ontological inference for image and video analysis
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
Christopher Town
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
14 years 3 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
EUROMICRO
1996
IEEE
14 years 1 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...