5964 search results - page 348 / 1193 » A theory of speculative computation |
198
Voted
MST
2010
15 years 2 months ago
2010
The 1-versus-2 queries problem, which has been extensively studied in computational complexity theory, asks in its generality whether every efficient algorithm that makes at most 2...
229
Voted
SPIN
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
211
click to vote
SIGCPR
2006
ACM
16 years 1 months ago
2006
ACM
A review of 862 papers published in SIGMIS/CPR proceedings over the past 44 years revealed only 29 articles that focused on gender and the IT workforce or gender and IT education,...
172
Voted
SYNTHESE
2008
15 years 7 months ago
2008
Abstract. Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, ...
192
Voted
CHI
2009
ACM
16 years 8 months ago
2009
ACM
Sites like YouTube offer vast sources of data for studies of Human Computer Interaction (HCI). However, they also present a number of methodological challenges. This paper offers ...