2150 search results - page 186 / 430 » On a restricted cross-intersection problem |
115
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...
154
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
Most research about multi-agent coordination is concentrated at a high level, e.g., developing coordination interaction protocols to be imposed on agents. There has been less conc...
113
click to vote
CRYPTO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We study the problem of broadcasting confidential information to a collection of n devices while providing the ability to revoke an arbitrary subset of those devices (and...
112
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
We consider secrecy problems for cryptographic protocols modeled using Horn clauses and present general classes of Horn clauses which can be efficiently decided. Besides simplifyin...
162
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Functional genomics is a typical scientific discovery domain characterized by a very large number of attributes (genes) relative to the number of examples (observations). The dang...