3690 search results - page 446 / 738 » Computation with classical sequents |
161
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs wi...
156
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Traditional network analysis tools support analysts in studying a single network. ManyNets offers these analysts a powerful new approach that enables them to work on multiple netw...
166
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we present the results of a field study of Avaaj Otalo (literally, “voice stoop”), an interactive voice application for small-scale farmers in Gujarat, India. T...
169
Voted
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Understanding perception is critical to effective visualization design. With its low cost and scalability, crowdsourcing presents an attractive option for evaluating the large des...
147
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We present the iterative design of a virtual sandtray application for a tabletop display. The purpose of our prototype is to support sandtray therapy, a form of art therapy typica...