10447 search results - page 1782 / 2090 » The Philosophy of Computer Science |
156
click to vote
COCOA
2007
Springer
16 years 28 days ago
2007
Springer
: We develop a new approach to combinatorial games (e.g., chess, Go, checkers, Chomp, Nim) that unveils connections between such games and nonlinear phenomena commonly seen in natu...
156
click to vote
CSR
2007
Springer
16 years 27 days ago
2007
Springer
To solve a problem on a given CNF formula F a splitting algorithm recursively calls for F[v] and F[¬v] for a variable v. Obviously, after the first call an algorithm obtains some...
177
click to vote
ERCIMDL
2007
Springer
16 years 27 days ago
2007
Springer
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
201
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
177
Voted
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
In the longest common subsequence problem the task is to find the longest sequence of letters that can be found as subsequence in all members of a given finite set of sequences....