Sciweavers

380 search results - page 45 / 76
» The End of Science Revisited
Sort
View
93
Voted
CSE
2009
IEEE
15 years 3 months ago
Extended Dempster-Shafer Theory in Context Reasoning for Ubiquitous Computing Environments
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
Daqiang Zhang, Jiannong Cao, Jingyu Zhou, Minyi Gu...
AMAI
2007
Springer
15 years 21 days ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
111
Voted
TSE
2008
103views more  TSE 2008»
15 years 13 days ago
The Impact of Educational Background on the Effectiveness of Requirements Inspections: An Empirical Study
While the inspection of various software artifacts increases the quality of the end product, the effectiveness of an inspection largely depends on the individual inspectors involve...
Jeffrey C. Carver, Nachiappan Nagappan, Alan Page
ECCC
2000
120views more  ECCC 2000»
15 years 11 days ago
A Complete Problem for Statistical Zero Knowledge
Abstract. We present the first complete problem for SZK, the class of promise problems possessing statistical zero-knowledge proofs (against an honest verifier). The problem, calle...
Amit Sahai, Salil P. Vadhan
108
Voted
CSCW
2002
ACM
15 years 11 days ago
Empirical development of a heuristic evaluation methodology for shared workspace groupware
Good real time groupware products are hard to develop, in part because evaluating their support for basic teamwork activities is difficult and costly. To address this problem, we ...
Kevin Baker, Saul Greenberg, Carl Gutwin