11345 search results - page 1676 / 2269 » Foundations of Computer Science |
177
click to vote
DIS
2007
Springer
16 years 19 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
194
click to vote
EDUTAINMENT
2007
Springer
16 years 19 days ago
2007
Springer
In spite of its growing popularity, due to a huge technical evolution in the last years and to the fact that new generations are more literate in games than in books, game-based te...
164
click to vote
EUROPAR
2007
Springer
16 years 19 days ago
2007
Springer
The interest among a geographically distributed user base to mine massive collections of scientific data propels the need for efficient data dissemination solutions. An optimal dat...
158
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we consider the mechanism design version of the fractional variant of the scheduling problem on unrelated machines. We give a lower bound of 2 − 1/n for any fracti...
176
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...