261 search results - page 16 / 53 » synthese 2010 |
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper, we investigate imposture using synthetic speech. Although this problem was first examined over a decade ago, dramatic improvements in both speaker verification (S...
SYNTHESE
2010
13 years 2 months ago
2010
In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one ...
ENTCS
2007
13 years 7 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
CATA
2010
13 years 7 months ago
2010
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...
ENTCS
2010
13 years 7 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...