19130 search results - page 119 / 3826 » Modelling multi-path problems |
168
click to vote
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees. ...
146
click to vote
GLVLSI
2005
IEEE
15 years 12 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
154
click to vote
CEEMAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Distributed Constraint Satisfaction Problems (DCSP) is a general framework for multi-agent coordination and conflict resolution. In most DCSP algorithms, inter-agent com...
140
click to vote
PKDD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A system of nested dichotomies is a hierarchical decomposition of a multi-class problem with c classes into c − 1 two-class problems and can be represented as a tree st...
190
click to vote
EUROCRYPT
1999
Springer
15 years 10 months ago
1999
Springer
Since the Diffie-Hellman paper, asymmetric encryption has been a very important topic, and furthermore ever well studied. However, between the efficiency of RSA and the security of...