Sciweavers

5034 search results - page 320 / 1007
» A Content-Centric Development Process Model
Sort
View
PAMI
2007
123views more  PAMI 2007»
15 years 4 months ago
Unsupervised Statistical Segmentation of Nonstationary Images Using Triplet Markov Fields
—Recent developments in statistical theory and associated computational techniques have opened new avenues for image modeling as well as for image segmentation techniques. Thus, ...
Dalila Benboudjema, Wojciech Pieczynski
ATVA
2009
Springer
117views Hardware» more  ATVA 2009»
15 years 11 months ago
UnitCheck: Unit Testing and Model Checking Combined
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
Michal Kebrt, Ondrej Sery
EDOC
2006
IEEE
15 years 8 months ago
A conceptual framework for service modelling
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
Dick A. C. Quartel, Maarten W. A. Steen, Stanislav...
TSMC
2010
14 years 11 months ago
A Model for the Integration of Prioritized Knowledge Bases Through Subjective Belief Games
Belief merging is concerned with the integration of several belief bases such that a coherent belief base is developed. Various belief merging models have been developed that use a...
Ebrahim Bagheri, Ali A. Ghorbani
QOSA
2007
Springer
15 years 10 months ago
Extending the Capabilities of Component Models for Embedded Systems
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
Ihor Kuz, Yan Liu