3628 search results - page 258 / 726 » The Decision Diffie-Hellman Problem |
182
click to vote
IDA
2005
Springer
16 years 3 days ago
2005
Springer
Inducing a classification function from a set of examples in the form of labeled instances is a standard problem in supervised machine learning. In this paper, we are concerned w...
175
click to vote
SAT
2005
Springer
16 years 2 days ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
145
click to vote
ATAL
2004
Springer
16 years 8 hour ago
2004
Springer
Negotiation events in industrial procurement involving multiple, highly customisable goods pose serious challenges to buying agents when trying to determine the best set of provid...
150
click to vote
EVOW
2004
Springer
15 years 12 months ago
2004
Springer
Recently, an approach has been presented to minimize Disjoint Sumof-Products (DSOPs) based on Binary Decision Diagrams (BDDs). Due to the symbolic representation of cubes for larg...
179
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Factored Markov Decision Processes is the theoretical framework underlying multi-step Learning Classifier Systems research. This framework is mostly used in the context ...