Sciweavers

553 search results - page 14 / 111
» A Perspective on Component Refinement
Sort
View
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
13 years 9 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...
AAAI
2008
13 years 9 months ago
Integrating Multiple Learning Components through Markov Logic
This paper addresses the question of how statistical learning algorithms can be integrated into a larger AI system both from a practical engineering perspective and from the persp...
Thomas G. Dietterich, Xinlong Bao
SOQUA
2004
13 years 8 months ago
Scenario-based Component Testing Using Embedded Metadata
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
Mark Strembeck, Uwe Zdun
PR
2006
95views more  PR 2006»
13 years 6 months ago
Subspace independent component analysis using vector kurtosis
This discussion presents a new perspective of subspace independent component analysis (ICA). The notion of a function of cumulants (kurtosis) is generalized to vector kurtosis. Th...
Alok Sharma, Kuldip K. Paliwal
ICIP
2000
IEEE
14 years 8 months ago
Document Image Matching Based on Component Blocks
Document image matching is the key technique for document registration and retrieval. In this paper, a new matching algorithm based on document component block list and component ...
Hanchuan Peng, Fuhui Long, Wan-Chi Siu, Zheru Chi,...