3353 search results - page 237 / 671 » Laver and set theory |
128
click to vote
ECIS
2003
15 years 8 months ago
2003
This research is located in the topic area of culture and information systems. It is set in the finance industry against the backdrop of globalisation. The particular focus is on ...
142
click to vote
IJCAI
2003
15 years 8 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...
172
click to vote
FOGA
1994
15 years 8 months ago
1994
An important goal of the theory of genetic algorithms is to build predictive models of how well genetic algorithms are expected to perform, given a representation, a fitness lands...
141
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a constrained mechanism design setting called internal implementation, in which the mechanism designer is explicitly modeled as a player in the game of interest. This...
164
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...