1253 search results - page 58 / 251 » order 2000 |
CRYPTO
2000
Springer
14 years 2 months ago
2000
Springer
In this paper we investigate the relationship between the nonlinearity and the order of resiliency of a Boolean function. We first prove a sharper version of McEliece theorem for ...
ILP
2000
Springer
14 years 1 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
VW
2000
Springer
14 years 1 months ago
2000
Springer
Architecture experience of order and hierarchies in spatial event plays an important role in virtual environments notion of `presence'. Architecture monument urbane definition...
WDAG
2000
Springer
14 years 1 months ago
2000
Springer
Weconsider the problemof generic broadcast in asynchronous systems with crashes, a problem that was rst studied in 12]. Roughly speaking, given a \con ict" relation on the set...
AAAI
2000
13 years 11 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...