Sciweavers

12194 search results - page 146 / 2439
» cans 2010
Sort
View
114
Voted
CHI
2010
ACM
15 years 3 months ago
ContraVision: presenting contrasting visions of future technology
How can we best explore the range of users' reactions when developing future technologies that may be controversial, such as personal healthcare systems? Our approach
Blaine A. Price, Clara Mancini, Yvonne Rogers, Aro...
75
Voted
ALT
2010
Springer
15 years 2 months ago
Bayesian Active Learning Using Arbitrary Binary Valued Queries
We explore a general Bayesian active learning setting, in which the learner can ask arbitrary yes/no questions. We derive upper and lower bounds on the expected number of queries r...
Liu Yang, Steve Hanneke, Jaime G. Carbonell
98
Voted
APPROX
2010
Springer
168views Algorithms» more  APPROX 2010»
15 years 2 months ago
Differential Privacy and the Fat-Shattering Dimension of Linear Queries
In this paper, we consider the task of answering linear queries under the constraint of differential privacy. This is a general and well-studied class of queries that captures oth...
Aaron Roth
114
Voted
AAAI
2010
15 years 2 months ago
Intelligently Aiding Human-Guided Correction of Speech Recognition
Correcting recognition errors is often necessary in a speech interface. These errors not only reduce users' overall entry rate, but can also lead to frustration. While making...
Keith Vertanen, Per Ola Kristensson
91
Voted
CADE
2010
Springer
15 years 1 months ago
Interpolation and Symbol Elimination in Vampire
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
Krystof Hoder, Laura Kovács, Andrei Voronko...