5608 search results - page 127 / 1122 » On the Theory of Matchgate Computations |
105
click to vote
CADE
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
118
click to vote
JAPLL
2008
15 years 1 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
AAAI
1994
15 years 3 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...
122
click to vote
CHI
2007
ACM
16 years 2 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' ...
CHI
2007
ACM
16 years 2 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...