2163 search results - page 131 / 433 » cases 2004 |
202
click to vote
ADBIS
2004
Springer
15 years 10 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...
160
click to vote
AINA
2004
IEEE
15 years 10 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...
149
click to vote
CCGRID
2004
IEEE
15 years 10 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...
186
click to vote
CW
2004
IEEE
15 years 10 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...
119
click to vote
DASFAA
2004
IEEE
15 years 10 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...