2163 search results - page 131 / 433 » cases 2004 |
162
click to vote
ADBIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
134
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
We report a case study of designing a mobile phone of the future, involving participatory requirements elicitation using a form of scenario-based design. Participants took photogr...
125
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
We investigate the circumstances under which it is possible to discourage free-riding in a peer-to-peer system for resource-sharing by prioritizing resource allocation to peers wi...
158
click to vote
CW
2004
IEEE
15 years 8 months ago
2004
IEEE
For effective cooperation, sharing of resources, a good social climate and therefore better learning, students need to maintain awareness of the social situation in a group or a c...
104
click to vote
DASFAA
2004
IEEE
15 years 8 months ago
2004
IEEE
Iceberg queries are a special case of SQL queries involving GROUP BY and HAVING clauses, wherein the answer set is small relative to the database size. We present here a performanc...