74 search results - page 5 / 15 » Localising Barriers Theory |
185
Voted
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
193
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
206
Voted
ILP
2005
Springer
16 years 28 days ago
2005
Springer
Online learning algorithms such as Winnow have received much attention in Machine Learning. Their performance degrades only logarithmically with the input dimension, making them us...
172
click to vote
CSR
2008
Springer
15 years 9 months ago
2008
Springer
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
203
Voted
CSCW
2012
ACM
14 years 3 months ago
2012
ACM
We present a tablet-based system to collaboratively track discussion topics and ideas in a seminar-style discussion classroom. Each student uses his or her own tablet to share tex...