1249 search results - page 108 / 250 » Limitations of the Even-Mansour Construction |
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
State of the art ontology matching techniques are limited to detect simple correspondences between atomic concepts and properties. Nevertheless, for many concepts and properties at...
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
115
click to vote
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
— Effective use of support vector machines (SVMs) in classification necessitates the appropriate choice of a kernel. Designing problem specific kernels involves the definition...
108
click to vote
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a computationally efficient implementation of positive-real balanced truncation (PRBT) for symmetric multiple-input multiple-output (MIMO) systems. The solution of a p...
ICIP
2007
IEEE
15 years 7 months ago
2007
IEEE
In digital image display devices, data are typically presented via a spatial subsampling procedure implemented as a color filter array, a physical construction whereby each light...