1037 search results - page 32 / 208 » Compositional Variability - Concepts and Patterns |
130
click to vote
FMSD
2008
15 years 3 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
117
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
108
click to vote
ICDM
2003
IEEE
15 years 8 months ago
2003
IEEE
Analyzing data to find trends, correlations, and stable patterns is an important problem for many industrial applications. In this paper, we propose a new technique based on paral...
118
click to vote
JDCTA
2010
14 years 9 months ago
2010
This study develops a least squares support vector machines (LS-SVM) based model for bivariate process to diagnose abnormal patterns of process mean vector, and to help identify a...
107
click to vote
ISSAC
2007
Springer
15 years 9 months ago
2007
Springer
We briefly present and analyze, from a geometric viewpoint, strategies for designing algorithms to factor bivariate approximate polynomials in [x, y]. Given a composite polyno...