9405 search results - page 154 / 1881 » Computing a Model of Set Theory |
136
Voted
CHI
2007
ACM
16 years 3 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' ...
148
click to vote
UPP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This is just a glimpse to the fruitful and constant preoccupation of computer science to try to get inspired by biology, at various levels. Besides briefly discussing th...
137
click to vote
DLT
2007
15 years 4 months ago
2007
d Abstract) F. Blanchet-Sadri1 , N.C. Brownstein2 , and Justin Palumbo3 1 Department of Computer Science, University of North Carolina, P.O. Box 26170, Greensboro, NC 27402–6170,...
217
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
102
click to vote
AVI
1998
15 years 4 months ago
1998
Information Foraging (IF) Theory addresses user strategies and technology for seeking, gathering, and using on-line information. We present IF-based models and evaluations of two ...