1193 search results - page 131 / 239 » A primer of simple theories |
191
click to vote
AAAI
1996
15 years 7 months ago
1996
Recent work in supervised learning has shown that a surprisingly simple Bayesian classifier with strong assumptions of independence among features, called naive Bayes, is competit...
185
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
169
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...
179
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We analyze the structure and evolution of discussion cascades in four popular websites: Slashdot, Barrapunto, Meneame and Wikipedia. Despite the big heterogeneities between these ...
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...