Sciweavers

26354 search results - page 208 / 5271
» How we refactor, and how we know it
Sort
View
CORR
2002
Springer
108views Education» more  CORR 2002»
15 years 6 months ago
Vote Elicitation: Complexity and Strategy-Proofness
Preference elicitation is a central problem in AI, and has received significant attention in single-agent settings. It is also a key problem in multiagent systems, but has receive...
Vincent Conitzer, Tuomas Sandholm
IFIP
1999
Springer
15 years 11 months ago
Assessing Instructional Technology
: In a relatively short period of time, educational technology has become a basic component of the instructional life of almost every College or University around the world. The wa...
Lawrence M. Baldwin, Panagiotis Takis Metaxas, Win...
CRYPTO
1994
Springer
98views Cryptology» more  CRYPTO 1994»
15 years 10 months ago
Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols
Suppose we are given a proof of knowledge P in which a prover demonstrates that he knows a solution to a given problem instance. Suppose also that we have a secret sharing scheme S...
Ronald Cramer, Ivan Damgård, Berry Schoenmak...
TAP
2008
Springer
94views Hardware» more  TAP 2008»
15 years 6 months ago
Vacuity in Testing
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
Thomas Ball, Orna Kupferman
WSDM
2012
ACM
262views Data Mining» more  WSDM 2012»
14 years 2 months ago
Effects of user similarity in social media
There are many settings in which users of a social media application provide evaluations of one another. In a variety of domains, mechanisms for evaluation allow one user to say w...
Ashton Anderson, Daniel P. Huttenlocher, Jon M. Kl...