1999 search results - page 181 / 400 » Finding Reductions Automatically |
113
click to vote
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The present research deals with audio events detection in noisy environments for a multimedia surveillance application. In surveillance or homeland security most of the systems ai...
110
click to vote
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
102
Voted
ICPP
1996
IEEE
15 years 6 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
116
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
LREC
2010
15 years 3 months ago
2010
This paper presents the Kachna Corpus of Spontaneous Speech, in which ten Czech and ten Norwegian speakers were recorded both in their native language and in English. The dialogue...