3229 search results - page 127 / 646 » Theories with the Independence Property |
135
Voted
PODS
2008
ACM
16 years 26 days ago
2008
ACM
A schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data ex...
ICFP
2005
ACM
16 years 21 days ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
107
Voted
SIGCOMM
2003
ACM
15 years 6 months ago
2003
ACM
Path vector protocols are currently in the limelight, mainly because the inter-domain routing protocol of the Internet, BGP (Border Gateway Protocol), belongs to this class. In th...
95
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
For p n, let b (n) 1 , . . . , b (n) p be independent random vectors in Rn with the same distribution invariant by rotation and without mass at the origin. Almost surely these vec...
87
Voted
APAL
2000
15 years 17 days ago
2000
In this paper we study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in [Hy]. We apply this to prove a structure theorem. We...