3552 search results - page 190 / 711 » Proof theory in the abstract |
125
click to vote
APAL
2006
15 years 6 months ago
2006
Abstract. The main result is that for every recursively enumerable existential consistent theory (in the usual language of group theory), there exists a finitely presented SQ-univ...
153
click to vote
APAL
2004
15 years 6 months ago
2004
Abstract. We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we pr...
350
click to vote
SCIA
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Variational frameworks based on level set methods are popular for the general problem of image segmentation. They combine different feature channels in an energy minimiz...
173
click to vote
IJCNN
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— Adaptive Resonance Theory (ART) is an unsupervised neural network. Fuzzy ART (FART) is a variation of ART, allows both binary and continuous input patterns. However, Fu...
141
click to vote
AAMAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In agent-based computational economics, many different trading strategies have been proposed. Given the kinds of market that such trading strategies are employed in, it i...