16091 search results - page 278 / 3219 » Solving |
193
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new lower bound for the discrete strategy improvement algorithm for solving parity games due to V¨oge and Jurdzi´nski. First, we informally show which stru...
179
click to vote
AMT
2009
Springer
16 years 1 months ago
2009
Springer
Considering the time constraints and Web scale data, it is impossible to achieve absolutely complete reasoning results. Plus, the same results may not meet the diversity of user ne...
133
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we study colored nonogram solving using Integer Linear Programming. Our approach generalizes the one used by Robert A. Bosch which was developed for black a...
158
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Creativity is an important ingredient in problem solving, and problem solving is an important activity for both individuals and societies. This paper discusses our novel approach ...
230
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
—The computational grid provides a promising platform for the deployment of various high-performance computing applications. In computational grid, an efficient scheduling of tas...