3533 search results - page 129 / 707 » Information theory and Thermodynamics |
178
Voted
POPL
2004
ACM
15 years 10 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
73
Voted
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Conventional similarity metrics used to sustain diversity in evolving populations are not well suited to sequential decision tasks. Genotypes and phenotypic structure are poor pre...
66
Voted
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we outline a framework for assuring information quality (IQ) in an e-Science context, using semiotics theory, semantic explanation of resources, and data couplings. ...
107
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We consider the problem of finding optimal strategies in infinite extensive form games with incomplete information that are repeatedly played. This problem is still open in lite...
82
Voted
KR
2004
Springer
15 years 3 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...