2909 search results - page 43 / 582 » Consistency of the theory of contexts |
APAL
2007
15 years 2 months ago
2007
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
113
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theo...
144
click to vote
CSDA
2004
15 years 1 months ago
2004
Variable selection consists in identifying a k-subset of a set of original variables that is optimal for a given criterion of adequate approximation to the whole data set. Several...
110
click to vote
AAAI
2006
15 years 3 months ago
2006
We use game theory to analyze meta-learning algorithms. The objective of meta-learning is to determine which algorithm to apply on a given task. This is an instance of a more gene...
112
click to vote
DIGRA
2005
Springer
2005
Springer
A Sociotechnical Conjecture about the Context and Development of Multiplayer Online Game Experiences
15 years 7 months ago
The advent of multiplayer online games brings new actors into the development scene and redefines traditional roles and interactions. Anchored on studies of the role of context in...