—We address the problem of selecting a banner advertisement, based on the profile of the online user. The profile consists of the set of webpages opened by the online user, opt...
Giovanni Giuffrida, Diego Reforgiato Recupero, Giu...
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
A completely automatic face recognition system is presented. The method works on color and gray level images: after having localized the face and the facial features, it determine...
Paola Campadelli, Raffaella Lanzarotti, C. Savazzi
Most of the current software reliability analysis approaches are geared to traditional desktop software systems, which are relatively stable and static throughout their execution....
Sam Malek, Roshanak Roshandel, David Kilgore, Ibra...