5964 search results - page 147 / 1193 » A theory of speculative computation |
172
click to vote
AAAI
1994
15 years 8 months ago
1994
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...
201
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This work draws on studies which explore resistance to the music industry's construal of copying music files as theft. Following a previous ethnography on participants' ...
153
Voted
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Many attempts to bridge the digital divide between lesser-developed countries (LDC) through Information & Communication Technology (ICT) projects have had little success. With...
186
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
182
click to vote
LICS
2005
IEEE
16 years 16 days ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...