5606 search results - page 951 / 1122 » Advances in Information Science |
147
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...
141
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...
150
click to vote
CADE
2007
Springer
16 years 6 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&#...
163
click to vote
ICALP
2009
Springer
16 years 6 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...
216
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
Social networks are an interesting class of graphs likely to become of increasing importance in the future, not only theoretically, but also for its probable applications to ad hoc...