3690 search results - page 321 / 738 » Computation with classical sequents |
158
click to vote
STOC
1993
ACM
15 years 9 months ago
1993
ACM
In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s...
151
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
This paper borrows ideas from social science to inform the design of novel "sensing" user-interfaces for computing technology. Specifically, we present five design chall...
171
click to vote
ECWEB
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...
184
click to vote
RTSS
2007
IEEE
15 years 12 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
155
click to vote
SIGECOM
2006
ACM
15 years 11 months ago
2006
ACM
We investigate the space of two-sided multiattribute auctions, focusing on the relationship between constraints on the offers traders can express through bids, and the resulting c...