1037 search results - page 142 / 208 » Compositional Variability - Concepts and Patterns |
135
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
111
click to vote
SAT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
125
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an oblivious real-time video watermarking scheme in which extended m-sequences is selected as watermark pattern. The good balance property of extended m-sequen...
112
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Feature extraction is a process that extracts salient features from observed variables. It is considered a promising alternative to overcome the problems of weight and structure o...
140
click to vote
ISNN
2005
Springer
15 years 8 months ago
2005
Springer
Current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (if anything)...