1638 search results - page 28 / 328 » Properties of input-consuming derivations |
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to repr...
APPML
2010
14 years 10 months ago
2010
Abstract. We study existence and qualitative properties of solutions for the abstract fractional relaxation equation (0.1) u (t) - AD t u(t) + u(t) = f(t), 0 < < 1, t 0, u(...
110
click to vote
IJAR
2008
14 years 9 months ago
2008
We address in this paper the problem of defining belief functions, typically for multi-source classification applications in image processing. We propose to use mathematical morph...
AMC
2005
14 years 9 months ago
2005
In this paper, a Fourier spectral method for numerically solving Cahn-Hilliard equation with periodic boundary conditions is developed. We establish their semi-discrete and fully d...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
the following cost functions: In this paper, learning rules are proposed for simultaneous corn- GI(U) = tr{(UTU)(UTBU)-lD, (la) putation of minor eigenvectors of a covariance matri...