1115 search results - page 54 / 223 » An Abstract Look at Realizability |
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper presents a new algorithm for realization of Gramian-preserving frequency transformation for linear discrete-time systems. In the proposed algorithm, we const...
BTW
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Most available approaches for XML schema evolution specify the evolution steps for an XML schema or a DTD. This article will show that schema evolution can also be realiz...
EUROCRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Among the three broad classes of Identity-Based Encryption schemes built from pairings, the exponent inversion paradigm tends to be the most efficient, but also the least extensibl...
ICIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper describes a novel fuzzy rule-based modeling approach for some slow industrial processses. Structure identification is realized by clustering and support vecto...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...