1931 search results - page 330 / 387 » Why we blog |
APAL
2007
13 years 10 months ago
2007
I modify the standard coverage construction of the reals to obtain the irrationals. However, this causes a jump in ordinal complexity from ω + 1 to Ω. The coverage technique ha...
BMCBI
2007
13 years 10 months ago
2007
Background: In the analysis of networks we frequently require the statistical significance of some network statistic, such as measures of similarity for the properties of interact...
SIGIR
2008
ACM
13 years 10 months ago
2008
ACM
Search engine click logs provide an invaluable source of relevance information but this information is biased because we ignore which documents from the result list the users have...
SIGPLAN
2008
13 years 10 months ago
2008
As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transa...
NDJFL
1998
13 years 9 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...