4345 search results - page 204 / 869 » Temporal Constraint Networks |
151
click to vote
COR
2006
15 years 6 months ago
2006
We discuss how constraint programming can improve the performance of a column generation solution process for the NP-hard Tail Assignment problem in aircraft scheduling. Combining...
157
click to vote
ISMVL
2009
IEEE
16 years 24 days ago
2009
IEEE
For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today’s state-of-the-art SMT solvers use different techniques like ter...
276
click to vote
NFM
2011
15 years 19 days ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
192
Voted
EPS
1995
Springer
15 years 9 months ago
1995
Springer
PANIC (Parallelism And Neural networks In Classifier systems) is a parallel system to evolve behavioral strategies codified by sets of rules. It integrates several adaptive techni...
154
click to vote
ICC
2008
IEEE
16 years 18 days ago
2008
IEEE
—Routing is a process of finding a network path from a source node to a destination node. A good routing protocol should find the “best path” from a source to a destination...