Sciweavers

3937 search results - page 157 / 788
» Questioning Ubiquitous Computing
Sort
View
144
Voted
DAGSTUHL
2007
15 years 4 months ago
07431 Executive Summary - Computational Issues in Social Choice
Computational social choice is an interdisciplinary eld of study at the interface of social choice theory and computer science, with knowledge owing in either direction. On the o...
Ulle Endriss, Jérôme Lang, Francesca ...
115
Voted
ORDER
2007
79views more  ORDER 2007»
15 years 2 months ago
Computable Linearizations of Well-partial-orderings
Abstract. We analyze results on well-partial-orderings from the viewpoint of computability theory, and we answer a question posed by Diana Schmidt. We obtain the following results....
Antonio Montalbán
121
Voted
TOC
2010
123views Management» more  TOC 2010»
14 years 9 months ago
Rounds vs. Queries Tradeoff in Noisy Computation
: We show that a noisy parallel decision tree making O(n) queries needs (log n) rounds to compute OR of n bits. This answers a question of Newman [IEEE Conference on Computational ...
Navin Goyal, Michael Saks
104
Voted
SIGCSE
1995
ACM
166views Education» more  SIGCSE 1995»
15 years 6 months ago
An interactive lecture approach to teaching computer science
Students get more out of an interactive lecture than a passive lecture because they are given time to think. This time allows them to determine if they understand a concept, and i...
Susan H. Rodger
116
Voted
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 2 months ago
The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies
Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satis...
Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. ...