747 search results - page 106 / 150 » An Alternative Representation for QBF |
103
click to vote
ICDM
2002
IEEE
15 years 4 months ago
2002
IEEE
Frequent pattern mining has been studied extensively. However, the effectiveness and efficiency of this mining is often limited, since the number of frequent patterns generated i...
127
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Most existing work uses dual decomposition and subgradient methods to solve network optimization problems in a distributed manner, which suffer from slow convergence rate prope...
115
click to vote
AI
2001
Springer
15 years 4 months ago
2001
Springer
In recent years, interval constraint-based solvers have shown their ability to efficiently solve challenging non-linear real constraint problems. However, most of the working syst...
VL
2000
IEEE
15 years 4 months ago
2000
IEEE
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in le...
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Many reverse-engineering tools have been developed to detract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale ...