1888 search results - page 204 / 378 » Proof theory and computational analysis |
88
Voted
FCT
2007
Springer
15 years 7 months ago
2007
Springer
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
91
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Geometric particle swarm optimization (GPSO) is a recently introduced generalization of traditional particle swarm optimization (PSO) that applies to all combinatorial spaces. The...
83
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
In this article, new variation operators for evolutionary multiobjective algorithms (EMOA) are proposed. On the basis of a predator-prey model theoretical considerations as well a...
130
click to vote
COMMA
2006
15 years 2 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
96
Voted
COLING
2002
15 years 19 days ago
2002
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...