16091 search results - page 53 / 3219 » Solving |
163
click to vote
ICTAI
2008
IEEE
16 years 29 days ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
152
Voted
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
The paper presents a software component that enables NetSolve with direct communications between servers in a non-intrusive and incremental way. Non-intrusiveness means that the s...
178
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
Solving optimally large instances of combinatorial optimization problems requires a huge amount of computational resources. In this paper, we propose an adaptation of the parallel...
140
Voted
AIED
2007
Springer
16 years 22 days ago
2007
Springer
Explicit instruction in a problem-solving strategy accelerated learning not only in the domain where it was taught but also in a second domain where it was not taught. We present d...
181
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton’s iterated fixed point algorithm with...