3384 search results - page 242 / 677 » More Testable Properties |
169
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Since our world is populated by entities that persist through time and that change over time it is important to represent knowledge about those entities in a formal manner. In this...
157
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
175
click to vote
EUROCRYPT
2004
Springer
15 years 12 months ago
2004
Springer
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...
177
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
154
click to vote
ICBA
2004
Springer
15 years 12 months ago
2004
Springer
Most conventional features used in speaker authentication are based on estimation of spectral envelopes in one way or another, e.g., Mel-scale Filterbank Cepstrum Coefficients (MFC...