Sciweavers

8413 search results - page 399 / 1683
» Ordering Problem Subgoals
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Minion: A Fast Scalable Constraint Solver
Abstract. We present Minion, a new constraint solver. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits....
Ian P. Gent, Christopher Jefferson, Ian Miguel
EUROCRYPT
2000
Springer
15 years 10 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
PAKDD
2000
ACM
100views Data Mining» more  PAKDD 2000»
15 years 10 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
FPGA
1995
ACM
107views FPGA» more  FPGA 1995»
15 years 10 months ago
Multi-way System Partitioning into a Single Type or Multiple Types of FPGAs
This paper considers the problem of partitioning a circuit into a collection of subcircuits, such that each subcircuit is feasible for some device from an FPGA library, and the to...
Dennis J.-H. Huang, Andrew B. Kahng
SIGLEX
1991
15 years 10 months ago
Representation of Semantic Knowledge with Term Subsumption Languages
One problem in the design of a lexicon for natural language processing is the representation of semantic knowledge. We examine the adequacy of knowledge representation formalisms ...
Gerrit Burkert, Peter Forster