Sciweavers

1615 search results - page 49 / 323
» Computer science and decision theory
Sort
View
ICALP
2003
Springer
14 years 26 days ago
Discounting the Future in Systems Theory
Discounting the future means that the value, today, of a unit payoff is 1 if the payoff occurs today, a if it occurs tomorrow, a2 if it occurs the day after tomorrow,
Luca de Alfaro, Thomas A. Henzinger, Rupak Majumda...
SOFSEM
2009
Springer
14 years 6 days 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
DIS
2007
Springer
14 years 1 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 7 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
13 years 11 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 ...