9405 search results - page 161 / 1881 » Computing a Model of Set Theory |
146
click to vote
DM
2011
14 years 6 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
123
click to vote
ICFCA
2005
Springer
15 years 8 months ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
160
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We present several new characterizations of correlated equilibria in games with continuous utility functions. These have the advantage of being more computationally and analytical...
120
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
Dominant sets are a new graph-theoretic concept that has proven to be relevant in partitional (flat) clustering as well as image segmentation problems. However, in many computer v...
138
Voted
KRMED
2004
15 years 4 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...