3571 search results - page 516 / 715 » On the Power of Imperfect Information |
217
click to vote
CEFP
2007
Springer
16 years 23 days ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
173
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
199
click to vote
DAMON
2007
Springer
16 years 23 days ago
2007
Springer
In 1987, Gray and Putzolo presented the five-minute rule, which was reviewed and renewed ten years later in 1997. With the advent of flash memory in the gap between traditional RA...
170
click to vote
DAWAK
2007
Springer
16 years 22 days ago
2007
Springer
The emerging area of business process intelligence aims at enhancing the analysis power of business process management systems by employing data warehousing and mining technologies...
186
click to vote
EPIA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...