2588 search results - page 153 / 518 » Applications of Kolmogorov complexity to computable model th... |
135
click to vote
KDD
2012
ACM
13 years 4 months ago
2012
ACM
We present an analysis of user conversations in on-line social media and their evolution over time. We propose a dynamic model that predicts the growth dynamics and structural pro...
132
click to vote
AINA
2005
IEEE
15 years 7 months ago
2005
IEEE
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...
120
Voted
IJCINI
2007
15 years 1 months ago
2007
: The theme of this issue of IJCINI is on cognitive mechanisms of autonomic computing and laws of human cooperative work organization. This editorial addresses key notions of this ...
146
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
106
click to vote
AAAI
2006
15 years 3 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...