2413 search results - page 316 / 483 » Models for universal usability |
WEA
2005
Springer
14 years 4 months ago
2005
Springer
We study queueing strategies in the adversarial queueing model. Rather than discussing individual prominent queueing strategies we tackle the issue on a general level and analyze c...
CAV
2003
Springer
14 years 4 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Since its inception, the internet has served as a virtual meeting place for people sharing common interests. These interest groups are nowadays called Virtual Communities. In this...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Research suggests that in order for GSS to be deployed successfully over the long term, it must be integrated into the daily work practices of an organization, in support of repea...
COLT
2001
Springer
14 years 3 months ago
2001
Springer
We show that the class of monotone 2O( √ log n)-term DNF formulae can be PAC learned in polynomial time under the uniform distribution from random examples only. This is an expo...