4463 search results - page 645 / 893 » computer 2000 |
153
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
One fundamental challenge for the design of the interactive systems of the future is to invent and design environments and cultures in which humans can express themselves and enga...
114
click to vote
STACS
2000
Springer
15 years 8 months ago
2000
Springer
Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, , 3, and 2. Previous...
135
click to vote
DCC
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe the QccPack software package, an open-source collection of library routines and utility programs for quantization, compression, and coding of data. QccPack is being wr...
133
click to vote
ICNP
2000
IEEE
15 years 9 months ago
2000
IEEE
We study group loss probabilities of Forward Error Correction (FEC) codes in shared loss multicast communication. We present a new analysis model with explicit state equations usi...
126
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
Many sources of empirical data can be used to evaluate an interface (e.g., time to learn, time to perform benchmark tasks, number of errors on benchmark tasks, answers on question...