3229 search results - page 161 / 646 » Theories with the Independence Property |
74
Voted
ACS
2007
15 years 1 months ago
2007
A 2-categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling ...
88
Voted
ENTCS
2002
15 years 20 days ago
2002
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
69
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We use a generalization of the Lindeberg principle developed by Sourav Chatterjee to prove universality properties for various problems in communications, statistical learning and...
125
Voted
AGI
2011
14 years 4 months ago
2011
We represent agents as sets of strings. Each string encodes a potential interaction with another agent or environment. We represent the total set of dynamics between two agents as ...
107
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
We introduce a new data mining problem: mining truth tables in binary datasets. Given a matrix of objects and the properties they satisfy, a truth table identifies a subset of pr...