1253 search results - page 58 / 251 » order 2000 |
173
click to vote
CRYPTO
2000
Springer
15 years 10 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 ...
156
click to vote
ILP
2000
Springer
15 years 9 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...
161
click to vote
VW
2000
Springer
15 years 9 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...
143
click to vote
WDAG
2000
Springer
15 years 9 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...
149
click to vote
AAAI
2000
15 years 7 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 ...