8838 search results - page 298 / 1768 » Generalizing Domain Theory |
150
click to vote
NA
2007
15 years 6 months ago
2007
GC-sets are subsets T of Rd of cardinality dim Πn for which, for each τ ∈ T, there are n hyperplanes whose union contains all of T except for τ, thus making interpolation to a...
156
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
Jim Gray spent a decade as a student and researcher at Berkeley. In action, he is remembered for his breath, his depth, and his generosity. Categories and Subject Descriptors K.1 ...
153
click to vote
JSYML
2010
15 years 5 months ago
2010
Dp-minimality is a common generalization of weak minimality and weak o-minimality. If T is a weakly o-minimal theory then it is dp-minimal (Fact 2.2), but there are dp-minimal den...
176
click to vote
APPML
2010
15 years 5 months ago
2010
Some new results that provide refinements and reverses of the Cauchy-Bunyakovsky-Schwarz (CBS) -inequality in the general setting of Measure Theory and under some boundedness condi...
215
click to vote
ASE
2005
15 years 6 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...