2694 search results - page 9 / 539 » Frege's New Science |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
The power-law distribution of participation characterizes a wide variety of technology-mediated social participation (TMSP) systems, and Wikipedia is no exception. A minority of a...
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
In recent years, the HCI and CSCW communities have begun to examine the role technology plays in personal, rather than professional settings. Part of this work has begun to addres...
STOC
2012
ACM
11 years 10 months ago
2012
ACM
d abstract; full version begins on page 13) Ryan O’Donnell∗ John Wright† November 2, 2011 We show that distinguishing 1 2 -satisfiable Unique-Games instances from (3 8 + )-...
WG
2000
Springer
13 years 11 months ago
2000
Springer