Sciweavers

5244 search results - page 802 / 1049
» Structural Complexity of AvgBPP
Sort
View
ASIACRYPT
2003
Springer
15 years 12 months ago
Cryptanalysis of 3-Pass HAVAL
HAVAL is a cryptographic hash function proposed in 1992 by Zheng, Pieprzyk and Seberry. Its has a structure that is quite similar to other well-known hash functions such as MD4 and...
Bart Van Rompay, Alex Biryukov, Bart Preneel, Joos...
ATAL
2003
Springer
15 years 12 months ago
An overview of coaching with limitations
As agent relationships become more complex, one challenging relationship that merits study is that of coach or adviser to another agent. Our research on coaching refers to one aut...
Patrick Riley, Manuela M. Veloso
ATAL
2003
Springer
15 years 12 months ago
Minimizing communication cost in a distributed Bayesian network using a decentralized MDP
In complex distributed applications, a problem is often decomposed into a set of subproblems that are distributed to multiple agents. We formulate this class of problems with a tw...
Jiaying Shen, Victor R. Lesser, Norman Carver
CAISE
2003
Springer
15 years 12 months ago
Towards a Distributed Pedagogical Simulator
The use of simulation for a pedagogical purpose is very interesting. One of the essential repercussions of the construction of a pedagogical simulator is the perennisation of the ...
Hana Bensalem, Tahar Bensebaa
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 12 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...