9405 search results - page 1171 / 1881 » Computing a Model of Set Theory |
168
click to vote
ICALP
2005
Springer
16 years 29 days ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
208
click to vote
ICNC
2005
Springer
16 years 29 days ago
2005
Springer
Two binary-encoded models describing some aspects of the coevolution between an artificial immune system and a set of antigens have been proposed and analyzed. The first model ha...
216
click to vote
GECCO
2009
Springer
16 years 1 days ago
2009
Springer
A new model of Genetic Programming with variable size population is presented in this paper and applied to the reconstruction of target functions in dynamic environments (i.e. pro...
200
click to vote
ECML
2006
Springer
15 years 11 months ago
2006
Springer
Nearest neighbor forecasting models are attractive with their simplicity and the ability to predict complex nonlinear behavior. They rely on the assumption that observations simila...
163
click to vote
LOGCOM
2010
15 years 5 months ago
2010
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...