1888 search results - page 282 / 378 » Proof theory and computational analysis |
117
click to vote
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
Computer science faculty must attract and retain students by offering innovative courses that spark student interest, yet still teach core, computer science concepts. These effort...
118
click to vote
PODS
2008
ACM
16 years 1 months ago
2008
ACM
In this study we propose sketching algorithms for computing similarities between hierarchical data. Specifically, we look at data objects that are represented using leaf-labeled t...
117
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
109
click to vote
ISSAC
2007
Springer
15 years 7 months ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
121
click to vote
PODC
2010
ACM
15 years 5 months ago
2010
ACM
We introduce Multi-Trials, a new technique for symmetry breaking for distributed algorithms and apply it to various problems in general graphs. For instance, we present three rand...