7962 search results - page 1330 / 1593 » Conceptions of information science |
183
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We address the problem of collecting a database of "common-sense facts" using a computer game. Informally, a common-sense fact is a true statement about the world that i...
150
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
One of the important challenges faced by designers of online communities is eliciting sufficent contributions from community members. Users in online communities may have difficul...
144
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Online communities can help people form productive relationships. Unfortunately, this potential is not always fulfilled: many communities fail, and designers don't have a sol...
151
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
169
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Tile sets and tilings of the plane appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). The idea is to enforce some global prop...