5550 search results - page 107 / 1110 » Different Approaches to Proof Systems |
153
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...
167
click to vote
AML
2008
15 years 6 months ago
2008
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether def...
145
click to vote
IJCAI
2007
15 years 7 months ago
2007
We are developing a corpus-based approach for the prediction of help-desk responses from features in customers’ emails, where responses are represented at two levels of granular...
168
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a methodology for the real time alignment of music signals using sequential Montecarlo inference techniques. The alignment problem is formulated as the state tracking o...
220
click to vote
DIM
2006
ACM
16 years 10 days ago
2006
ACM
An emerging approach to the problem of reducing the identity theft is represented by the adoption of biometric authentication systems. Such systems however present however several...