9405 search results - page 30 / 1881 » Computing a Model of Set Theory |
AIPS
1994
14 years 11 months ago
1994
This paper presents an AI model of integrated planning and reaction based on neuropsychological theories of similar human behavior. The model forges a link between frontal lobe mo...
ECAI
2010
Springer
14 years 7 months ago
2010
Springer
Backbones of propositional theories are literals that are true in every model. Backbones have been used for characterizing the hardness of decision and optimization problems. Moreo...
CIE
2008
Springer
14 years 11 months ago
2008
Springer
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
130
click to vote
SIAMMAX
2010
14 years 4 months ago
2010
The problem of completing a low-rank matrix from a subset of its entries is often encountered in the analysis of incomplete data sets exhibiting an underlying factor model with app...
AMC
2007
14 years 9 months ago
2007
The new economic geography literature provides a general equilibrium framework that explains the emergence of economic agglomerations as a trade-off between increasing returns at...