1040 search results - page 68 / 208 » Tools for modeling and solving search problems |
IJET
2007
13 years 9 months ago
2007
— Our main objective is to model the knowledge used by learners in order to solve problems about electricity. We are searching means to do a diagnosis about student’s activity ...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we present a genetic algorithm applied to the problem of mission planning for Joint Suppression of Enemy Air Defenses (JSEAD) in support of air strike operations. Th...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
CL
2000
Springer
14 years 18 days ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
CPAIOR
2010
Springer
14 years 1 months ago
2010
Springer
We introduce an approach which combines ACO (Ant Colony Optimization) and IBM ILOG CP Optimizer for solving COPs (Combinatorial Optimization Problems). The problem is modeled using...