Sciweavers

1653 search results - page 101 / 331
» Computer science and game theory
Sort
View
SOFSEM
2009
Springer
14 years 2 months ago
Randomness and Determination, from Physics and Computing towards Biology
In this text we will discuss different forms of randomness in Natural Sciences and present some recent results relating them. In finite processes, randomness differs in various ...
Giuseppe Longo
ROBOCUP
2004
Springer
133views Robotics» more  ROBOCUP 2004»
14 years 3 months ago
Towards a League-Independent Qualitative Soccer Theory for RoboCup
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer,...
DIS
2007
Springer
14 years 4 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
AIS
2005
Springer
13 years 10 months ago
Computer decision-support systems for public argumentation: assessing deliberative legitimacy
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
William Rehg, Peter McBurney, Simon Parsons
MFCS
1990
Springer
14 years 2 months ago
On Checking Versus Evaluation of Multiple Queries
The plausibility of computing the answers to many membership queries to a hard set with few queries is the subject of the theory of terseness. In this paper, we develop companion ...
William I. Gasarch, Lane A. Hemachandra, Albrecht ...