2496 search results - page 237 / 500 » Error-detecting properties of languages |
172
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean `the reasoner has at least n different beliefs'. The resul...
248
click to vote
KONVENS
2000
15 years 10 months ago
2000
In this paper we describe a noise reduction preprocessing algorithm for the adaptive multirate (AMR) speech codec of the GSM system. The algorithm is based on spectral weighting a...
197
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
153
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...
190
click to vote
USM
2000
15 years 10 months ago
2000
Jini is an infrastructure built on top of the mobile code facilities of the Java programming language enabling clients and services to spontaneously engage in arbitrary usage scena...