Sciweavers

1253 search results - page 44 / 251
» order 2000
Sort
View
EUROCRYPT
2000
Springer
14 years 1 months ago
Information-Theoretic Key Agreement: From Weak to Strong Secrecy for Free
One of the basic problems in cryptography is the generation of a common secret key between two parties, for instance in order to communicate privately. In this paper we consider in...
Ueli M. Maurer, Stefan Wolf
ICALP
2000
Springer
14 years 1 months ago
Formalizing the Development of Agent-Based Systems Using Graph Processes
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
Ralph Depke, Reiko Heckel
PAKDD
2000
ACM
100views Data Mining» more  PAKDD 2000»
14 years 1 months ago
Discovery of Relevant Weights by Minimizing Cross-Validation Error
In order to discover relevant weights of neural networks, this paper proposes a novel method to learn a distinct squared penalty factor for each weight as a minimization problem ov...
Kazumi Saito, Ryohei Nakano
ACL
2000
13 years 11 months ago
Lexical Transfer Using a Vector-Space Model
Building a bilingual dictionary for transfer in a machine translation system is conventionally done by hand and is very time-consuming. In order to overcome this bottleneck, we pr...
Eiichiro Sumita
FLAIRS
2000
13 years 11 months ago
Distributed Multi-Agent MSBN: Implementing Verification
Multiply Sectioned Bayesian Networks (MSBN)provide a coherence framework for multi-agent distributed interpretation tasks. Duringthe construction or dynamicformation of an MSBN,au...
Hongyu Geng, Yang Xiang