2488 search results - page 282 / 498 » An improvement in formal verification |
140
click to vote
ENTCS
2006
15 years 1 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
133
click to vote
JUCS
2010
14 years 8 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
Linear Discriminant Analysis(LDA) is widely-used in face recognition systems. However, with the traditional formulation, the available information in the training samples is not su...
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper, we investigate the use of discriminant techniques in the elastic graph matching (EGM) algorithm. First we use discriminant analysis in the feature vectors of the no...
192
click to vote
ICDE
2004
IEEE
16 years 2 months ago
2004
IEEE
Edge computing pushes application logic and the underlying data to the edge of the network, with the aim of improving availability and scalability. As the edge servers are not nec...